17.10.2 交互总览图示例

图17.27用另一种手段描述了图17.19中展示的行为，并增加了一些时间约束。交互EstablishAccess首先出现（带有代数“Illegal PIN”），其后是一个弱序的消息CardOut，它一内嵌交互的形式展示。然后是一个选择，我们在其中的一条分支上看到了一个带有交互约束的决策节点。沿着控制流我们看到了另一个内嵌的交互和一个弱序下的交互使用。