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