使用无状态库在几个 类 中拆分状态机
Split state machine in several classes using Stateless library
在我正在使用的 C# 解决方案中，应用程序逻辑的核心通过（非常好）Stateless 库实现为状态机。对于应用程序显示的不同 区域 和 功能 ，还有许多其他 classes 建模的业务逻辑的其他部分，但这是推动底层应用程序状态发生主要变化的原因。
虽然每个状态转换本身都非常简单（通知事件、设置 eventArgs、监听其他事件，...）并且我在适用时使用子状态，但对我来说它开始看起来像 不知何故太大了。我知道这不是一个精确的衡量标准，但如果您查看并考虑子状态，您很可能最终会发现它们本身可能是不同的状态机。
我是否缺少一种明显的方法来构建单独的 sub-statemachine（可以这么说）无状态，将每个状态机映射到 distinct class（和文件）?
我想到的第一个阻塞问题是（尤其是第二个）：
one-big-piece 状态机在所有状态更改时触发事件：拆分后，每个状态机都会触发各自的触发器。所以最好有一个门面收集所有事件并为客户端重新触发它们，以便隐藏许多状态机（毕竟它们是客户端的实现细节）。
无状态子状态负责冒泡触发state/substate链，以及向下。所以例如对于具有子状态的给定状态 A，可以定义一个触发器（在一个地方，A 的配置），这将使状态机离开 A，无论处于哪个子状态A 我们会的。这如何与单独的子状态机一起工作？
如您所提到的，定义良好的子状态对于能够抽象出大型状态机的各个部分非常有帮助。如果将超状态及其子状态的定义加上所有守卫和 entry/exit/transition 动作放在其自身的 class 中，它也会有所帮助。
同意您对第 1 点的建议。客户端需要将其视为 1 个状态机。
关于第 2 点，我建议通过内部触发器在子状态机和超级状态机之间定义一些接口。
我们称你的超级状态机为A，你的子状态机为B。 A 会触发一个事件，例如 StartB，它将 B 从某种 Idle 状态到 InProgress 状态，即 运行 子状态机。同时 A 进入某种 WaitingForB 状态。当 B 完成其子进程时，它会在 A 上触发类似 BComplete 的事件。 A 将继续其剩余过程。
您可以让 A 和 B 共享同一组可能的触发器，但是 B 也可以定义自己的（较小的）触发器集或在适合它抽象的子流程的级别上。我认为从 one-big-piece 状态机 A[= 中抽象出子状态机 B 最有意义41=] 如果 B 不需要响应与 A.
相同的完整触发器集
在我正在使用的 C# 解决方案中，应用程序逻辑的核心通过（非常好）Stateless 库实现为状态机。对于应用程序显示的不同 区域 和 功能 ，还有许多其他 classes 建模的业务逻辑的其他部分，但这是推动底层应用程序状态发生主要变化的原因。
虽然每个状态转换本身都非常简单（通知事件、设置 eventArgs、监听其他事件，...）并且我在适用时使用子状态，但对我来说它开始看起来像 不知何故太大了。我知道这不是一个精确的衡量标准，但如果您查看并考虑子状态，您很可能最终会发现它们本身可能是不同的状态机。
我是否缺少一种明显的方法来构建单独的 sub-statemachine（可以这么说）无状态，将每个状态机映射到 distinct class（和文件）?
我想到的第一个阻塞问题是（尤其是第二个）：
one-big-piece 状态机在所有状态更改时触发事件：拆分后，每个状态机都会触发各自的触发器。所以最好有一个门面收集所有事件并为客户端重新触发它们，以便隐藏许多状态机（毕竟它们是客户端的实现细节）。
无状态子状态负责冒泡触发state/substate链，以及向下。所以例如对于具有子状态的给定状态
A，可以定义一个触发器（在一个地方，A的配置），这将使状态机离开A，无论处于哪个子状态A我们会的。这如何与单独的子状态机一起工作？
如您所提到的，定义良好的子状态对于能够抽象出大型状态机的各个部分非常有帮助。如果将超状态及其子状态的定义加上所有守卫和 entry/exit/transition 动作放在其自身的 class 中，它也会有所帮助。
同意您对第 1 点的建议。客户端需要将其视为 1 个状态机。
关于第 2 点，我建议通过内部触发器在子状态机和超级状态机之间定义一些接口。
我们称你的超级状态机为A，你的子状态机为B。 A 会触发一个事件，例如 StartB，它将 B 从某种 Idle 状态到 InProgress 状态，即 运行 子状态机。同时 A 进入某种 WaitingForB 状态。当 B 完成其子进程时，它会在 A 上触发类似 BComplete 的事件。 A 将继续其剩余过程。
您可以让 A 和 B 共享同一组可能的触发器，但是 B 也可以定义自己的（较小的）触发器集或在适合它抽象的子流程的级别上。我认为从 one-big-piece 状态机 A[= 中抽象出子状态机 B 最有意义41=] 如果 B 不需要响应与 A.
相同的完整触发器集