UML 状态机子状态转换

Question

是否可以在 UML 中对从外部状态到复合状态的子状态的转换进行建模，如下图所示（State3->State1.2）？

如果是的话，语义是什么？

我猜当事件发生在 State3 中时

• State3 退出操作被执行
• State1 进入动作被执行
• State1.2 进入动作被执行

我对吗？

Answer 1

是的你可以。从上层建筑来看：

显式入口：如果转换进入复合状态的子状态，则该子状态变为活动状态，并且在执行复合状态的入口代码之后执行其入口代码。如果转换在传递嵌套子状态上终止，则此规则递归应用。