UML 状态机图：从复合状态触发退出

Question

我有一个 UML 状态机图，如下所示：

    +-----------------------------------+
    | A                                 |
    |      +------+  E1   +------+      |  E2   +-----+
o-->|  o-->|  A1  |------>|  A2  |------------->|  B  |
    |      +------+       +------+      |       +-----+
    |                                   |
    +-----------------+-----------------+
                      | E3
                      V
                   +-----+
                   |  C  |
                   +-----+

实际上，复合状态 A 有很多子状态，我想将其提取成一个单独的图表。这意味着从A2 到B 的过渡箭头必须被一个出口点切成两半。

但是我应该把事件E2放在哪里呢？我想，我应该把它放在出口点的两边，也就是在两个图中：

高级图（o-o 是分解图标，(X) 是出口点）：

    +-----------+
    |           |
    |           |   E2   +-----+
o-->|     A    (X)------>|  B  |
    |           |        +-----+
    |       o-o |
    +-----+-----+
          | E3
          V
       +-----+
       |  C  |
       +-----+

低级图：

+------------------------------------+
| A                                  |
|      +------+  E1   +------+  E2   |
|  o-->|  A1  |------>|  A2  |----->(X)
|      +------+       +------+       |
|                                    |
+------------------------------------+

请注意，E2 显示在两个图表中。不幸的是，我在UML spec 中找不到任何支持这个想法的东西。相反，这种方法显然会导致冲突（参见第 14.2.3.9.3 节）。但我认为这里没有冲突：

• 两个转换都使系统离开状态A 并进入状态B。所以它们实际上形成了一个过渡。
• 两个图都很容易理解，因为都显示E2，出口点看起来就像两个图之间的“门”，系统的状态通过它从(A, A2)“移动”到B。我认为仅在出口点的一侧显示E2 会造成混淆。
• 如果有另一个类似的转换，例如从A1 到状态D（未显示），那么它可以以相同的方式处理，具有第二个退出点。但是，在这种情况下，两个出口点的标签应不同（例如：“从 A1 出口”和“从 A2 出口”）。

这是有效的 UML 吗？如果不是，我应该如何解决这个问题？

Answer 1

该事件应仅放置在转换的内部方。

退出点是一个伪状态，本质上意味着它没有内部逻辑，一旦状态机到达它，它“完成”意味着它准备好进行下一次转换。在您的情况下，您希望在发生E2 时触发从A2 的转换。这就是为什么必须将此事件放置在转换的内部部分的原因。另一方面，一旦过渡到达退出点（并且它“完成”），您希望不间断地进一步过渡到B，因此不应对传出（外部）过渡设置任何条件。

将E2 放在过渡的两个“部分”上会改变图表的含义。它会在退出伪状态时停止转换并等待另一个E2 事件发生。只有到那时（秒E2事件之后）状态机才会达到B状态。

将E2 放在外部也会有不同的含义。只有在A2 完成后才会转换到退出点（即使E2 发生得更早），并且只有转换from 退出点将等待E2 事件。另一方面，一旦A2完成，就会发生到退出点的转换，因此如果发生这种情况，来自A2的任何其他可能转换（例如一些E4）将不再可用，因为状态机已经离开 A2 并等待退出点（对于E2）。

您实际上已经在 cmets 中回答了您自己的问题，但我希望我的解释能够证明完整的答案是正确的。

Answer 2

在这种情况下，我会做的是显示 A，里面只有 A2，其余的都没有。注释会告诉“这是A 的摘录”。

    +----------------+
    | A (excerpt)    |
    |  +------+      |  E2   +-----+
o-->|  |  A2  |------------->|  B  |
    |  +------+      |       +-----+
    |                |
    +----------------+

同样，您可以通过添加注释省略B 部分。此外（如果工具允许）您可以在适当的地方添加详细图表的超链接。