使用无状态库将状态机拆分为多个类

Question

在我正在使用的 C# 解决方案中，应用程序逻辑的核心通过（非常好）Stateless 库实现为状态机。对于应用程序显示的不同区域和功能，业务逻辑的其他部分在许多其他类中建模，但这是推动底层主要变化的因素应用状态。

虽然每个状态转换本身都非常简单（通知事件、设置 eventArgs、侦听其他事件……）并且我在适用时使用子状态，但对我来说它开始看起来像 不知何故 em>太大了。我知道这不是一个精确的衡量标准，但是如果您仔细考虑子状态，您最终可能会发现它们本身可能是不同的状态机。

我是否缺少一种明显的方式来构建单独的 sub-statemachine（可以这么说）与 Stateless，将每个状态机映射到一个 distinct 类（和文件）？

我想到的第一个阻塞问题是（尤其是第二个）：

1. one-big-piece 状态机在所有状态更改时触发事件：拆分后，每个单独的状态机将触发各自的触发器。所以最好有一个外观来收集所有事件并为客户端重新触发它们，以便隐藏许多状态机（毕竟它们是客户端的实现细节）。

2. 无状态子状态负责冒泡触发状态/子状态链向上以及向下。所以例如对于具有子状态的给定状态A，可以定义一个触发器（在一个地方，A 的配置），这将使状态机离开A，无论我们将处于A 的哪个子状态.这如何与单独的子状态机一起使用？

Answer 1

正如您所提到的，定义好的子状态对于抽象大型状态机的各个部分非常有帮助。如果您将超状态及其子状态的定义以及所有守卫和进入/退出/转换操作放在其自身的一个类中，这也会很有帮助。

同意您对第 1 点的建议。客户端需要将其视为 1 个状态机。

关于第 2 点，我建议通过内部触发器在子状态机和超级状态机之间定义一些接口。

我们称您的超级状态机 A 和您的子状态机 B。 A 将触发诸如 StartB 之类的事件，该事件会将 B 从某种 Idle 状态移动到 InProgress 状态，即运行子状态机。同时 A 进入某种 WaitingForB 状态。当 B 完成其子进程时，它会在 A 上触发类似 BComplete 的事件。 A 将继续其剩余的进程。

您可以让 A 和 B 共享同一组可能的触发器，但 B 也可以定义自己的（较小的）一组触发器或在适合它抽象的子流程的级别上。我认为从 one-big-piece 状态机 A if B 不需要响应与 A 相同的完整触发器集。