3

基于Wikipedia，我可以进行分层状态分解，其中我有多个正交区域，可以独立更改状态。

该图显示了如何输入正交区域。我假设该条目在所有地区并行发生。我想知道的是，你如何表达出口？如果每个区域都有出口，那么全局父状态是在第一个子区域退出时退出，还是在它们全部退出时退出？我想表达的是，退出发生在他们全部退出时。由于所有子区域都已退出，您如何表示全局父状态转换到下一个全局状态？这总是隐含的吗？

我的具体问题是我的 FSM 以 Initializing 全局状态开始。它以并行方式异步向多个外部系统发送多个查询。只有在收到每个查询的答案后，它才能继续。因此，我将每个异步并行查询建模为全局初始化状态内的正交区域。每个子区域都可以独立改变状态。当所有子区域都达到最终状态时，我可以继续前进。

FSM 将在 Actor 框架中实现，其中异步消息（事件）是唯一的通信方式。

理想情况下，我希望答案指向一个示例图像，因为这样的事情很难用语言表达。

4

1 回答 1

7

从正交状态的完成转换将起到作用，因为它将在所有正交区域都完成时进行。

当进入复合状态（具有内部状态和/或正交区域的状态）时，每个区域从其初始状态开始，使用分叉伪节点到每个区域中的不同状态，或者如果进入状态，则到每个区域的最后状态通过历史伪状态。退出复合状态可以通过从内部状态之一开始的转换来完成，该内部状态存在与其当前状态的所有正交区域。如果您想在机器进入不同区域的一组状态时退出，您还可以使用连接伪状态。

如您所见，可能性几乎是无穷无尽的。我还不能添加图像，但我会在手头有一个好的 UML 编辑器时添加它。

一个现在的例子。假设您有以下状态机： 示例状态机

  1. 如果两个并行区域都完成（到达最终节点），则完成转换将使机器从S1到S5。如果
  2. 如果机器当前在S3并且接收e1，它将退出S1并转到S6。
  3. 如果机器在S7并且S8它们都完成了，它将进入连接，然后进入S6。

这就是我知道状态机工作的方式。

于 2012-07-08T15:27:38.730 回答