UML 状态机 : Deep History Pseudostate and Final State

Question

在 UML 状态机中，如果进入子状态的最终状态，复合状态的历史究竟会发生什么？

考虑下面显示的状态机。在触发序列 T1-T2-T3-T4 之后，它将以最终状态结束。通过进入最终状态，State21 区域的历史记录被清除，并且由于该区域也由此完成，因此将执行到 State1 的完成转换。现在，当触发器 T5 启用时，状态机进入深度历史状态。我假设在这种情况下，深度历史状态代表 State21，这意味着状态机进入 State21，然后执行从 State21 的初始伪状态到 State211 的转换。这是正确的吗？

我更喜欢上面描述的行为，但我可以看到一个替代方案，其中当进入 State21 中的最终状态时，State2 的历史记录也会被清除。在这种情况下，状态机执行从初始伪状态 State2 到 State22 的转换。那你怎么看？

Answer 1

从我对deepHistory描述的理解

This type of Pseudostate is a kind of variable that represents the most recent active state configuration of its owning Region. As explained above, a Transition terminating on this Pseudostate implies restoring the Region to that same state configuration, but with all the semantics of entering a State (see the Subclause describing State entry).

您的第一个行为描述似乎不错。通过触发 T1、T2、T3、T4 和 T5 转换，您将返回到 State21 条目，即 State211。