Banking model

ATM


account transaction
keeps balance database
deposit money
withdraw money

transaction card-reader
validation cash-dispenser
performs transfer account
keeps audit info database

slide: The ATM example (2a)