URDAD
Request a trial

Example models

A simple bank

Nine customer services over three entities: registering, opening an account, deposits and withdrawals, transfers, salary runs, balances and closing an account. It is the model to read first, and it is read the way the method works, top down: a service’s requirements, then who is responsible for meeting each of them, then how the work is orchestrated, and then the same again one level down.

The model verifies with no errors and no warnings at either verification level.

Scope View

URDAD Scope View of Bank, showing Accounts; Customer Register; Customer Services; Ledger.
Scope View: Bank

Functional Requirements Views

URDAD Functional Requirements View of Transfer funds, showing Customers; Amount is positive; Within the transfer limit; Different accounts; Both accounts are open; Requested by the holder; Sufficient funds; Funds moved; Money is conserved; New balance reported; Payer advised; Payee advised.
Functional Requirements View: Transfer funds
URDAD Functional Requirements View of Post transfer, showing Customer Services; Both accounts are open; Different accounts; Amount is positive; Within the posting limit; Sufficient funds; Transfer funds; Pay salaries; Transfer large amount; Payer debited; Payee credited; Money is conserved; No other account changed; Payer balance reported; Entries recorded.
Functional Requirements View: Post transfer

Responsibility Allocation View

URDAD Responsibility Allocation View of Transfer funds, showing Amount is positive; Within the transfer limit; Different accounts; Both accounts are open; Requested by the holder; Sufficient funds; Check: Amount is positive; Post transfer; Check: Within the transfer limit; Check: Different accounts; Resp: Report the new balance; Check: Both accounts are open; Send AccountAdvice; Check: Requested by the holder; Check: Sufficient funds; Funds moved; Money is conserved; New balance reported; Payer advised; Payee advised.
Responsibility Allocation View: Transfer funds

Dependencies View

URDAD Dependencies View of Customer Services, showing Accounts; Close account record; Create account; Retrieve account; Customer Register; Record customer; Ledger; Credit account; Debit account; Post transfer.
Dependencies View: Customer Services

Process View

URDAD Process View of Transfer funds, showing Start; Check: Amount is positive; Check: Within the transfer limit; Check: Different accounts; Check: Both accounts are open; Check: Requested by the holder; Check: Sufficient funds; Post transfer; merge; Send AccountAdvice; Resp: Report the new balance; raise Refuse: Both accounts are open not met exception and abort; raise Refuse: Different accounts not met exception and abort; raise Refuse: Amount is positive not met exception and abort; raise Refuse: Within the transfer limit not met exception and abort; raise Refuse: Sufficient funds not met exception and abort; End.
Process View: Transfer funds