一次会话可以包含多个事务，每个事务处理也会将卡号和个人验证码信息送到银行系统进行验证。若个人验证码错误，则转个人验证码错误处理（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）

  【问题 2】（6 分 ）

  根据【说明 】中的描述，使用表3-1中的英文名称，给出图3-2中6～9对应的消息。

  【问题 3】（2 分 ） 解释图3-1中用例U3和用例Withdraw、Deposit等四个用例之间的关系及其内涵。

  [答案讨论]

[1]  [2]  [3]  [4]  [5]  [6]  [7]  [8]  [9]  [10]  [11]