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

Question

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

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

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

我真的很感激带有相应图片或图表的具体示例。

Answer 1

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

AND 条件如下所示：

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

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