转载

何构建复杂业务核心状态机组件

编辑推荐:

本文主要介绍了有限状态机如何开始在中台落地，在交易场景下，定义自己的状态机框架，以及中台如何赋能业务？

本文来自于csdn，由火龙果软件Alice编辑、推荐。

大中台战略下，中台将公司业务的公共能力下沉，并采用更加合理、可复用的架构和技术来实现这些基础能力。在电商行业内，将面临货物的采购、商品上架、交易发生、订单状态变化、客服介入等大量状态维护。每个状态之间具有很强的逻辑关联关系，比如：退款操作在发货前和发货后将是完全不同的流程，如图 1 订单退款流程。

何构建复杂业务核心状态机组件

由此可见，对于复杂状态的管理是一个业务依赖，需求多变的场景。在公司初创期，可以采用硬编码方式，对于每一个操作进行状态判断，每一步操作定制一套逻辑链路。随着业务的增加，定制化链路显然不优雅，大量流程代码无法维护，此时中台通用解决思路就尤为重要，有限状态机（Finite State Machine，缩写：FSM）开始在中台落地。

1、有限状态机

有限状态机（以下简称 FSM）又称有限状态自动机，简称状态机。维基百科定义是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。

这个模型和业务中台遇到的问题十分吻合。图 1 是状态转移图，可以用来表示状态机，此外可以使用状态转移表来表示。如图 2 所示：

何构建复杂业务核心状态机组件

可以看出，FSM 是通过抽象为动作和状态，管理有限个状态转移的模型。动作是在给定时刻要进行的活动的描述，我们总结动作类型有如下：

进入动作：在进入状态时进行

退出动作：在退出状态时进行

输入动作：依赖于当前状态和输入条件进行

转移动作：在进行特定转移时进行

在 FSM 框架下，将流水线的状态流转流程进行了抽象和结构化，将复杂的状态转移图，分割成相邻状态的最小单元。这样相当于搭建了乐高积木，在这套机制上可以组合成复杂的状态转移图。

2、Spring StateMachine

Spring Statemachine 框架主要是帮助开发者简化状态机的开发过程，让状态机结构更加层次化，我们来看下 Spring SM 怎么实现。首先最小的乐高模型如图 3 所示：

何构建复杂业务核心状态机组件

假如有状态 STATE1、STATE2 和事件 EVENT1、EVENT2。事件驱动状态流转。下面来分析下 Spring SM 的主要代码。

2.1 依赖 pom

<dependencies>
 <dependency>
 <groupId>org.springframework.statemachine</groupId>
 <artifactId>spring-statemachine-core</artifactId>
 <version>2.1.3.RELEASE</version>
 </dependency>
 </dependencies>

2.2 创建状态机

通过注解来注册状态机的三要素：source、target、event

何构建复杂业务核心状态机组件