4. Use Cases Scenario:
Property Definition
Business use case name Create account
Actor Clerk
trigger Customer
Pre – condition Customer information presence
Basic flow Clerk – System – Search for account – Open
account
Alternative flow -------------
Post condition Account ready
Property Definition
Business use case name Check balance
Actor Clerk
trigger Customer
Pre – condition Account exist
Basic flow Clerk – System – Check balance – Receipt –
Customer
Alternative flow Clerk – System – Check balance – Customer
Post condition Balance information
Property Definition
Business use case name Withdraw
Actor Clerk
trigger Customer
Pre – condition Account exist, Financial balance > Withdraw
balance
Basic flow Clerk – System – Check balance – Withdraw –
Receipt – Customer
Alternative flow Clerk – System – Check balance – Withdraw –
Customer
Post condition Withdraw result, Money
Property Definition
Business use case name Deposit
Actor Clerk
trigger Customer
Pre – condition Account exist, Money
Basic flow Clerk – System – Search for account – Customer
– Deposit – Receipt
Alternative flow Clerk – System – Search for account – Customer
– Deposit
Post condition Deposit result
Property Definition
Business use case name Transfer
Actor Clerk
trigger Customer
Pre – condition Account exist, Receiver account number,
required transfer amount < Balance
Basic flow Clerk – System – Search for account – Check
Balance – Transfer – Receipt
Alternative flow Clerk – System – Search for account – Check
Balance – Transfer
Post condition Transfer result
Property Definition
Business use case name Loan
Actor Clerk
trigger Customer
Pre – condition Loan application
Basic flow Clerk – System – Manager – Loan – Receipt –
Customer
Alternative flow Clerk – System – Manager – Loan – Customer
Post condition Loan result, Money
Property Definition
Business use case name Receipt
Actor System
trigger Withdraw, Check balance, Transfer, Deposit,
Loan
Pre – condition Post procedure information
Basic flow System – Receipt – Customer
Alternative flow -------------
Post condition Printed receipt
Property Definition
Business use case name Search for account
Actor System
trigger Withdraw, Check balance, Transfer, Deposit,
Create account,
Pre – condition Post procedure information
Basic flow System – Search for account – System
Alternative flow -------------
Post condition Account existence state