什么是状态图中的 OR 和 AND 分解？

Question

我正在阅读状态图，它是对一个或多个类的一个或多个实例的不同状态进行建模的图表。

一个对象可以通过一个转换从一个状态到另一个状态，这个转换用带有一个事件的箭头表示，最终在它上面和下面分别对该事件执行一个动作。

我现在的问题是我不明白状态图中的 OR 和 AND 分解到底是什么。你能给我一个解释吗（因为我没有找到任何东西）？

我非常感谢有相应图片或图表的具体示例。

Answer 1

下图是 OR 的示例。考虑一个从Initial 到Choice（菱形）的令牌。在这里，令牌在测试Choice 中检查的条件的约束的引导下向左或向右移动。从那时起，他们接下来会通过以下未命名的钻石到达Continued。您可以离开连接的菱形并将过渡直接绘制到Continued。

AND 条件如下所示：

第一个Fork（条形）复制令牌并将它们发送到Either 和Or。这些状态后面的Join 等待两个令牌到达，然后再将一个令牌进一步发送到Continued。

Fork 和 Join 使用相同的符号。他们等到所有传入令牌到达，然后发送与传出转换一样多的令牌。所以他们实际上是一些人格分裂。但大多数情况下，它们以一种或另一种方式使用。