UML 状态机中 Fork 和 Join 的语义

Question

谁能告诉我下面的两个模型（上面的一个取自 UML Superstruction 规范）在语义上是否等效？

我正在寻找将 Fork 和 Join 伪状态类型添加到我的状态机库中，这似乎是我实现的有用方法。

Answer 1

下图中的初始状态和最终状态在上图中不存在。它们暗示了 A1/B1 状态之前和 A2/B2 状态之后上图没有的附加行为，所以不，它们不是等效的图。上图表示 SETUP 状态或转换事件负责分叉并创建 2 个进程 A 和 B。下图表示 PROCESS 负责创建 2 个进程。