试题三 （共15分） 阅读下列说明和图，回答问题1至问题3，将解答填入答题纸的对应栏内。 【说明 】 某银行计划开发一个自动存提款机模拟系统（ATM System）。系统通过读卡器（CardReader）读取 ATM 卡；系统与客户（Customer）的交互由客户控制台（CustomerConsole）实现；银行操作员（Operator）可控制系统的启动（System Startup）和停止（System Shutdown）；系统通过网络和银行系统（Bank）实现通信。 当读卡器判断用户已将ATM卡插入后，创建会话（Session）。会话开始后，读卡器进行读卡，并要求客户输入个人验证码（PIN）。系统将卡号和个人验证码信息送到银行系统进行验证。验证通过后，客户可从菜单选择如下事务（Transaction）： 1. 从ATM卡账户取款（Withdraw）； 2. 向ATM卡账户存款（Deposit）； 3. 进行转账（Transfer）； 4. 查询（Inquire）ATM卡账户信息。 一次会话可以包含多个事务，每个事务处理也会将卡号和个人验证码信息送到银行系统进行验证。若个人验证码错误，则转个人验证码错误处理（Invalid PIN Process）。每个事务完成后，客户可选择继续上述事务或退卡。选择退卡时，系统弹出 ATM 卡，会话结束。 系统采用面向对象方法开发，使用 UML 进行建模。系统的顶层用例图如图3-1所示，一次会话的序列图（不考虑验证）如图3-2所示。消息名称参见表3-1。
【问题 1】（7 分） 根据【说明 】中的描述，给出图 3-1 中 A1 和 A2 所对应的参与者，U1 至 U3 所对应的用例，以及该图中空 （1） 所对应的关系。（U1至U3的可选用例包括：Session、Transaction、Insert Card、Invalid PIN Process和Transfer）
