绘制组合片段

组合片段fragment中类型介绍说明

片段类型	片段名称	说明
opt	选择	包含一个可能发生或可能不发生的序列。可以在临界中指定序列发生的条件。
alt	抉择	包含一个片段列表，这些片段包含备选消息序列。在任何场合下只发生一个序列。可以在每个片段中设置一个临界来指示该片段可以运行的条件。 else 的临界指示其他任何临界都不为 True 时应运行的片段。如果所有临界都为 False 并且没有 else，则不执行任何片段。
loop	循环	片段重复一定次数，可以在临界中指示片段重复的条件。
break	中断	如果执行此片段，则放弃序列的其余部分。可以使用临界来指示发生中断的条件。
par	并行	并行处理。片段中的事件可以交错。
critical	关键	用在 Par 或 Seq 片段中。指示此片段中的消息不得与其他消息交错。
seq	弱顺序	有两个或更多操作数片段。涉及同一生命线的消息必须以片段的顺序发生。如果消息涉及的生命线不同，来自不同片段的消息可能会并行交错。
strict	强顺序	有两个或更多操作数片段。这些片段必须按给定顺序发生。
consider	考虑	指定此片段描述的消息列表。其他消息可发生在运行的系统中，但对此描述来说意义不大。
ignore	忽略	此片段未描述的消息列表。这些消息可发生在运行的系统中，但对此描述来说意义不大。
assert	断言	操作数片段指定唯一有效的序列。通常用在 consider 或 ignore 片段中。
neg	否定	此片段中显示的序列不得发生。通常用在 consider 或 ignore 片段中。