状态机:如何在没有外部事件的情况下改变状态(瞬态)?

在状态机中,下一个状态是输入和当前状态的组合逻辑函数。

在你描述的情况下,同样的原因( Initialized 状态)似乎能够触发两种不同的效果(或者 InProgress 或 Error 状态)。我想有一个隐藏的输入,它的值会产生差异。我还想这个输入是在从 Uninitialized 到 初始化 .

因此,我会有一个不同的模型:

Uninitialized -> Successfully initialized -> InProgress -> Done
             \
              `-> Failed Initialization -> Error

可能组合 Successfully initialized 具有 正在进行中 和 Failed initialization 具有 误差 .

编辑 :从您的评论中,我了解到隐藏输入实际上是操作(设备初始化)的结果。以您的模型为例,我假设初始化发生在 初始化 状态(我们称之为 Initializing )。这样,设备的结果就是您的外部事件,它将触发转换到 正在进行中 或 误差 .

因此,保留状态机并简单地添加 device.Initialize() 输入或外部事件列表。