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