Example: ATM System
Examples of
- MM-Path: Digit entry
- ASF: PIN Entry
- Thread (sequence of ASFs):
- simple transaction: PIN entry, transaction type selection, account detail presentation, operation execution, result reporting
- Thread sequence:
- a session consisting of multiple simple transactions