UML State Machine子状态转换

Question

在UML中是否可以建模从composiste-state的外部状态到子状态的转换，如下图所示（State3-＆gt; State1.2）？

如果是这样，语义是什么？

我猜当State3中发生事件时

• 执行State3退出操作
• 执行State1 Entry Action
• 执行State1.2 Entry Action

我是对的吗？

Answer 1

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

  

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