M1 Sample banking system model T1 S1 The banking system deals with accounts and customers S2 All the operations with account must be logged into the file S3 When the customers attempt to withdraw the money from their accounts, it is necessary for them to supply a password D001 Security concern S3 D002 Logging concern S2 D003 Account thing-type S1 S2 S3 D004 Customer thing-type S1 S3 O001 Withdraw manual D004 S3 O002 Ask for password auto-called D001 S3 O003 Log auto-called D002 S2 C001 Password for one operation a O002 Ask for password b O001 Withdraw S3 C002 Logging for all operations a O003 Log b D003 Account thing-type S2