如何在一个状态中创建状态机？

Question

我想要一个包含不太多状态的顶级状态图。因此，通常（即在纯 C++ 中）每个状态本身都可以是状态机。我如何在 Rhapsody 中做到这一点？

例如：我有状态图：

*--> init --> do_stuff --> finished

当它进入 do_stuff 状态时，我希望它下拉到 do_stuff_statechart（我猜这只是另一个带有状态图的普通类）：

*--> read_config --> check_config --> init_reconfig --> doing_config --> exit
          ^               |
          |               |
          +---------------+

当子状态图到达exit它应该回到顶层状态图并进入完成状态...

我真的不知道该怎么做。我的意思是我可以将一个事件调用到另一个状态图中并等待它响应 - 但是将 do_stuff 状态链接到do_stuff_statechart?

有这方面的例子吗？或者是否有一个“模式”可以遵循？

Answer 1

在 Rhapsody 中，当您右键单击状态图中的某个状态时，您应该会在上下文菜单中看到一个名为“创建子状态图”的选项。

这就是你要找的吗？

Answer 2

好吧，如果您需要一个状态机来处理状态机中的状态，您有两种选择：

1. 在返回到主状态机管理器之前强制从属状态机运行完成。
   这完全抽象了您从主状态机使用从属状态机这一事实，但会降低透明度，可能需要更多资源，并且可能会影响可中断性。

2. 向状态机添加一些额外的状态，主状态机将其处理为不透明状态，但从属状态机将使用它来处理自身。
   您仍然必须将节点划分为设置、运行和拆卸。除此之外，它需要更多的调度才能到达正确的子状态处理程序。

3. 通过将主状态机中的节点替换为从状态机的所有节点来扁平化状态空间。
   唯一的缺点是从属状态机与剩下的主状态机基本上没有绝缘。

现在，由您决定最适合您的用例的方案。