6.2.2　时序图中的条件和分支

消息有内容标识，可带参数表，并可附带警戒条件，当条件为真时消息才被发送或接收。条件可用于描述分支。当几个消息箭头上的条件互斥时，表示某一时刻只有一个消息被发送，称为条件分支；如果条件不是互斥的，这些消息会被并行发出。

案例学习

◎图6－8是带条件和分支的时序图示例。从该时序图的描述中可以清晰地看到，当登录画面接收到请求登录的消息后，立即向“信用管理数据库”对象发送“检查信用”请求。“信用管理数据库”对象接收到消息后，同时发出两条带警戒条件的消息：一条发送给“黑名单”对象，警戒条件为“如果信用值为负，则创建黑名单”；另一条发送给“会员”对象，其警戒条件为“如果信用值为正，则创建会员”。(https://www.daowen.com)

注意，这两条消息的警戒条件是互斥的，因此在同一时刻只会执行满足条件的一条消息，而另一条消息则不会被执行。

图6－8　一个带条件和分支的时序图示例