Một ngân hàng muốn cài đặt một máy ATM mới cho phép người dùng thực hiện các giao dịch tài chính cơ bản. Mỗi người dùng chỉ có 1 tài khoản (account). Người dùng được phép: Xem số dư tài khoản. Rút tiền mặt. Nạp tiền vào tài khoản. Một phiên giao dịch. ATM xác thực người dùng, thông qua.