片断类型 名称 说明
Opt 选项 包含一个可能发生或可能不发生的序列。 能够在临界中指定序列发生的条件。
Alt 抉择 包含一个片断列表,这些片断包含备选消息序列。 在任何场合下只发生一个序列。能够在每一个片断中设置一个临界来指示该片断能够运行的条件。 else 的临界指示其余任何临界都不为 True 时应运行的片断。 若是全部临界都为 False 而且没有 else,则不执行任何片断。
Loop 循环 片断重复必定次数。 能够在临界中指示片断重复的条件。Loop 组合片断具备“Min”和“Max”属性,它们指示片断能够重复的最小和最大次数。 默认值是无限制。
Break 中断 若是执行此片断,则放弃序列的其他部分。 可使用临界来指示发生中断的条件。
Par 并行 并行处理。 片断中的事件能够交错。
Critical 关键 用在 Par 或 Seq 片断中。 指示此片断中的消息不得与其余消息交错。
Seq 弱顺序 有两个或更多操做数片断。 涉及同一辈子命线的消息必须以片断的顺序发生。 若是消息涉及的生命线不一样,来自不一样片断的消息可能会并行交错。
Strict 强顺序 有两个或更多操做数片断。 这些片断必须按给定顺序发生。