Validates that accounts exist and that transfer amount is < current balance (Opaque Action)
Analysis Model
Use-Case Realizations
Teller Operations
Transfer money
Validates that accounts exist and that transfer amount is < current balance