目录

状态机概念 :

为什么需要状态机:

使用场景

状态机四要素:

常见类型状态机:

Squirrel State Machine

Spring Statemachine

状态机概念 :

• 
  概念 :
  
  状态机是有限状态自动机（英语：finite-state machine，缩写：FSM）的简称，是表示
  
  有限个状态
  
  以及在这些状态之间的
  
  转移和动作
  
  等行为的数学模型。
• 
  概念 :
  
  有限状态机是一种用来进行对象行为建模的工具，其作用主要是描述对象在它的生命周期内所经历的状态序列，以及如何响应来自外界的各种事件.
• 
  例子 :
  
  举个最简单的例子，人有三个状态：健康，感冒，康复中。触发的条件有淋雨（t1），吃药（t2），打针（t3），休息（t4）。所以状态机就是健康-（t4）->健康；健康-（t1）->感冒；感冒-（t3）->健康；感冒-（t2）->康复中；康复中-（t4）->健康，等等。就是这样状态在不同的条件下跳转到自己或不同状态的图。
• 
  好处 :
  
  应用FSM模型可以帮助对象生命周期的状态的顺序以及导致状态变化的事件进行管理。将状态和事件控制从不同的业务Service方法的if else中抽离出来

为什么需要状态机:

有限状态机是一种对象行为建模工具，适用对象有一个明确并且复杂的生命流（一般而言三个以上状态），并且在状态变迁存在不同的触发条件以及处理行为。使用状态机来管理对象生命流的好处更多体现在代码的可维护性、可测试性上，明确的状态条件、原子的响应动作、事件驱动迁移目标状态，对于流程复杂易变的业务场景能大大减轻维护和测试的难度。

使用场景

在以下情况下，Project 是使用状态机的理想选择：

如果出现以下情况，您已经在尝试实现状态机：

状态机四要素:

状态机可归纳为4个要素，即现态、条件、动作、次态。“现态”和“条件”是因，“动作”和“次态”是果。详解如下：

1. 现态：是指当前所处的状态 例如当前用户下了个单  , 还没付款 , 那么现态就是待付款。
2. 条件：又称为“事件”。当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移 , 例如一个订单用户付款这个动作 , 就是个事件 。
3. 动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态 , 例如 用户付完款  , 需要将订单状态改成待发货 , 该状态这个就是动作。
4. 次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了 , 代发货就是次态 ,  付款 -> 触发修改状态动作 ->  现态由 “待付款” -> “待发货”。

常见类型状态机:

Squirrel State Machine

官方文档 :



squirrel-foundation | Squirrel State Machine


squirrel-foundation provided an easy use, type safe and highly extensible state machine implementation for Java.



http://hekailiang.github.io/squirrel/

Spring Statemachine

官方文档 :



Spring Statemachine – Reference Documentation



https://docs.spring.io/autorepo/docs/spring-statemachine/1.0.0.M3/reference/htmlsingle/#sm-statecontext