Slides Part 2 (OOA, pages 1-128, pdf, 4 slides per page)

EXAMPLE: BANK
Life-Cycle Bank system:
Openacc;(Transaction|Query|Openacc) ∗
Openacc = OpenaccNC | OpenaccKC
Query = query balance;#current balance
Transaction = deposit money | Withdrawal
OpenaccNC = open new customer account;
(Schufaquery|#customer already known)
OpenaccKC = open known customer account;
(#account opened|#account not opened)
Withdrawal = withdraw money;
(#give money|#no cover)
Schufaquery = #schufa query;
(credit worthiness ok; #account opened)
|(credit worthiness not ok;
#account not opened)
117
LIFE-CYCLE MODEL AS STATE MACHINE
➠ System operations as events
➠ Output events as actions
➠ Transitions between states: event / action
Example: life-cycle of an account
2
1
no account
3
5
no account
Schufa
queried
1: open_known_customer_account / #account_not_opened
2: open_new_customer_account / #customer_arlready_known
3: open_new_customer_account / #schufa_query
4: open_known_customer_account / #account_opened
5: credit_worthiness_not_ok / #account_not_opened
4
6
119
account
without
deposit
7
7
8
account
with
deposit
7: query_balance / #current_balance
8: deposit_money
9: withdraw_money / #give_money
10: withdraw_money / #no_cover
8
6: credit_worthiness_ok / #account_opened
9
10
PROBLEM
We can only express that some account must be opened before a transaction
or query can take place. We cannot express that before a transaction or query
on account X can take place, X must have been opened before.
Alternative: Describe life-cycle of specific objects.
Example: Lifecycle Account: Open | n Open
Open = NewAcc; (query balance;#current balance) ∗ ;
deposit money; (Transaction|Query) ∗
n Open = (open new customer account;#schufa query
credit worthiness not ok;#account not opened)
|(open new customer account;#customer already known)
|(open known customer account;#account not opened)
NewAcc = open new customer account;#schufa query;
credit worthiness ok;#account opened |
open known customer account;#account opened
LIFE-CYCLE MODEL FOR INSURANCE AGENCY
Summary of system operations and their output events:
118
Upd = update product;#product updated
EntCDat = enter c data;#c data entered
Query = c data present?;
(#c data present!|#c not data present!)
Offer = prepare offer;#offer prepared
Appl = prepare application;
(#check application || #application prepared)
Acc = application accepted;#contract prepared
NAcc = application not accepted;#contract not prepared
Chg = change contract;#confirm change
ChY = change confirmed;#contract changed
ChN = change not confirmed;#contract not changed
120