当地银行打算安装新的自动取款机（ATM），允许用户在其上进行基本的银行交易。每个用户在银行只能拥有一个账号。ATM用户应当能够查看他们的账户余额，提取现金，并存入资金。银行每天装入500张面值为20美元的钞票。 ATM的交易包括根据账号和用户标识（PIN）来验证用户身份的真实性，然后创建和执行银行交易。为了验证用户身份和执行交易，ATM必须与银行的账户信息数据库进行交互。 本例使用计算机的显示器来模拟ATM屏幕，用计算机的键盘来模拟ATM的键区。 -Local bank intend