一个选择伪状态可以将一个转换分隔为两个片段，第一个片段可以包含一个触发器，第一个片段激活时不会考虑选择伪状态后面的片段，第一个片段上的任何效果在随后片段的守卫条件求职之前执行，当执行到选择伪状态时，输出片段上的守卫条件被动态的计算，包括第一个片段执行时所引起的改变。随后守卫条件为真的输出节点中的一个会被引发，如果没有一个输出片段的守卫条件为“真”，那么模型就是非良构的。为了避免这种情况的发生，可以将守卫条件else应用到其中的一个片输出段上，如果所有其他片段的守卫条件为“假”，那么它会被选择作为触发片段。
选择伪状态可以视为一个受到限制的真实状态，限制条件是任何输出转换必须被立即激活且只能使用守卫条件。
守卫条件的设置：单击输出转换调出属性栏，在守卫条件一栏中填写相应表达式。
MBSES用户使用说明书