决定节点标记在活动中可替换序列的开始。标识法,空心的菱形。
决定节点必须拥有单一的输入边,一般拥有两个或多个输出边,每个输出边都会带有布尔表达式的标签,叫做守卫条件,显示为方括号中间的字符串。
当一个令牌(可能是对象令牌,也可能是控制令牌),到达决定节点的时候,输出边的守卫条件会被估值,令牌会提供给那时守卫条件为真的输出边。
你有责任确保输出边上的系统守卫条件完整且独立,从而确保每次令牌到达的时候,只有一个守卫条件的值会使真,SysMl允许你使用else(最多)一个输出边的监听,以确保满足完整的标准。
设置守卫条件:选择决定节点输出边(可能是控制流,也可能是对象流),打开属性框,在属性框中设置守卫条件。
MBSES用户使用说明书