交通图
过渡图的逻辑:
-
在*图块操作的每个步骤处执行过渡图。*;
-
过渡图的执行通常从默认过渡开始，并在出口节点结束，出口节点没有任何可用的真实条件的过渡。 如果来自节点的所有传出转换都具有假条件，则可以使用回溯。[*回溯*是一种基于尝试顺序迭代所有可能的解决方案以找到正确的解决方案的问题解决方法。 当程序到达一个决策节点（例如，在过渡图中，它可能是一个退出节点），并且所有可能的进一步操作选项都是不正确的（例如，来自该节点的所有转换都有假条件）时，它返回（回溯）到前一个决策节点并尝试另一个（替代）选项。]寻找替代路径;
-
确定模型行为的操作和条件是在转换上设置的。
有关过渡图逻辑的详细信息，请参阅 这里。
转换图中的转换根据转换*的*优先级发生。 转换优先级确定在同一时间多个转换的条件为真的情况下计算和执行它们的顺序。 如果可以从一个节点进行多个转换，则会自动分配其优先级。 他们可以在未来改变。 手动。
使用转换图实现"if-else"和"while"结构的示例:
| 如果-其他 | 而 |
|---|---|
|
|
if x > 2
y = 9;
else
y = 15;
end
|
i = 0
while y < 15
y += 2 * i
i += 1
end
|
