6.2.3　时序图中的约束

时序图中可以用标记来定义约束，约束用分隔符“｛｝”围起。标记可以是任何类型的，如时间标记和事件约束。

案例学习

◎图6－9是带有时间延迟标记的时序图示例。图中用标记“a”、“b”、“c”给出两个时间段：a－b和b－c。在第一个时间段给出约束｛b－a＜5sec｝，要求系统显示饼形图的时间在5秒之内；在第二个时间段给出约束｛c－b＜3sec｝，要求系统在延迟最多3秒之后显示柱形图。用约束和标记给出两个消息之间的最长时间间隔。该时序图描述的是：当“图形显示：用户接口”对象接收到“合同管理员”对象发来的“显示履约率”消息后，立即向“饼形图显示”对象发送“显示饼形图”消息。“饼形图显示”对象接收到消息后，根据约束｛ba＜5sec｝的要求，用5秒的时间显示当前合同履约率的饼形图。显示完饼形图后，根据约束｛c－b＜3sec｝的要求延迟3秒，将“显示柱形图”消息发送到“柱形图显示”对象。“柱形图显示”对象接收到消息后显示柱形图。(https://www.daowen.com)

注意，本例中对所有的消息按照时间顺序进行了编号，实际上时序图中从上到下就表示时间轴，出现在图中上方的消息一定是先发出的，所以这样的消息编号在时序图中可以省略。

图6－9　带有时间延迟标记的时序图示例