return - 如何在 UML 状态机中描述返回语句？

Question

是否可以将返回语句显示为 UML 状态图中的转换描述？

是否有任何定义的语法或约定？

示例： int doSomething()

状态 1 --- 返回 doSomething() ---> 状态 2

我没有找到任何适合该主题的内容，如果要在其中编写 OMG UML 规范，我也没有资格阅读。我发现的唯一东西就是这个

关于使用 UML 状态图建模递归调用的论文。

作者使用Methode 状态机来跟踪方法的状态。但我想知道如何将其编写为一个动作，例如使用具有返回值的函数而不是跟踪方法所处的特定状态。

Answer 1

“正常”状态没有回报。一个国家不记得它来自哪里。但是，有一个状态历史的概念（第 307 页，当前的 UML 2.5 规范）：

国家历史的概念是由大卫哈雷尔在最初的状态图形式主义中引入的。这是一个与复合状态区域相关联的便利概念，其中区域跟踪它上次退出时所处的状态配置。如果需要，这允许轻松返回到相同的状态配置，如果需要，下一次区域变为活动状态（例如，在从处理中断返回之后），或者如果存在返回其历史的本地转换。这可以简单地通过终止区域内所需历史伪状态类型的转换来实现。此工具提供的优势在于，它消除了用户在需要此类行为的情况下明确跟踪历史记录的需要，这可以显着简化状态机模型。

以此为例：

每当进行转换时，都会保存State1的当前子状态。State2到小H标记圆圈的转换将恢复先前的子状态（State3或4）。