Spring-StateMachine实际上是FSM-有限状态机的一种具体实现，其中有几个重要的概念，我们需要对应的理解一下。我们使用订单状态进行举例，我们一个订单所有状态间的流转对应一个状态机实例。
StateMachine<S, E>：状态机模型定义
S-状态：状态机包含的状态对象，待创建、待支付、待收货、已完成。
E-事件：触发状态流传的事件，比如创建订单会触发状态从待创建流转到待支付状态。
基础概念
- 状态定义(状态机包含哪些状态，定义枚举类，对应S-状态)：
public enum OrderStatusEnum {
//订单创建
CREATE,
//待支付
WAIT_PAYMENT，
//待收货
WAIT_ RECEIVE，
//已完成
COMPLETE
}
- 事件定义(状态相关的事件触发点，定义枚举类，对应E-事件)：
public enum OrderChangeEventEnum {
//创建订单
CREATE_ORDER,
//支付订单
PAY_ORDER,
//签收订单
SIGN_ORDER
}
- 动作定义(事件触发时需要执行的相应动作，实现接口Action)：
package org.springframework.statemachine.action;
import org.springframework.statemachine.StateContext;
public interface Action<S, E> {
void execute(StateContext<S, E> var1);
}
- 条件分支判断(动作执行的前置条件判断，实现接口Guard)
package org.springframework.statemachine.guard;
import org.springframework.statemachine.StateContext;
public interface Guard<S, E> {
boolean evaluate(StateContext<S, E> var1);
}
状态流转
一个状态机流转包含了以上的几个要素，大致流程为，用户下单之后触发订单创建的事件，对应事件执行创建订单的动作，但是执行的时候有个判断的前置条件，也就是当条件满足的时候才执行创建动作。动作执行前状态机处于订单创建的状态(这是一个伪状态)，动作执行完成之后状态机变更为待支付状态。我们将这样的一个流程称之为一个Transition节点
-- 配置Transition节点
builder.configureTransitions()
.withExternal()
//当前节点状态-订单创建
.source(OrderStatusEnum.CREATE)
//目标节点状态-待支付
.target(OrderStatusEnum.WAIT_PAYMENT)
//导致当前变化的事件，用户下单
.event(OrderChangeEventEnum.CREATE_ORDER)
/**
* 执行相关动作的前置条件判断
* orderCreateGuard为Guard<S, E>接口的实现类
*/
.guard(orderCreateGuard)
/**
* 执行当前状态变更导致的业务逻辑处理，以及异常处理
* orderCreateAction、errorHandlerAction为Action<S, E>接口的实现类
*/
.action(orderCreateAction, errorHandlerAction)
本小结主要介绍了Spring-StateMachine的一些基础概念，理解这些基础概念有助于后续的实际业务开发。
