决定节点（DecisionNode）

决定节点标记在活动中可替换序列的开始。标识法，空心的菱形。

决定节点必须拥有单一的输入边，一般拥有两个或多个输出边，每个输出边都会带有布尔表达式的标签，叫做守卫条件，显示为方括号中间的字符串。

当一个令牌（可能是对象令牌，也可能是控制令牌），到达决定节点的时候，输出边的守卫条件会被估值，令牌会提供给那时守卫条件为真的输出边。

你有责任确保输出边上的系统守卫条件完整且独立，从而确保每次令牌到达的时候，只有一个守卫条件的值会使真，SysMl允许你使用else（最多）一个输出边的监听，以确保满足完整的标准。

设置守卫条件：选择决定节点输出边（可能是控制流，也可能是对象流），打开属性框，在属性框中设置守卫条件。