2. 状态机基础：有限状态机(FSM)核心概念

有限状态机（Finite State Machine, FSM）是审批流系统的数学建模基础。在审批流中，一个工单从“草稿”到“已归档”的完整生命周期，本质上就是状态机在事件驱动下的状态迁移过程。理解FSM的四个核心要素——状态、事件、转移、动作——是构建可恢复、可审计的异常处理骨架的前提。

2.1 核心概念定义

2.2 形式化定义

一个确定性有限状态机（DFS）可以用六元组形式化描述：

FSM = (S, E, δ, s₀, F, A)

其中：
- S  = {s₁, s₂, ..., sₙ}  有限状态集合
- E  = {e₁, e₂, ..., eₘ}  有限事件集合
- δ  : S × E → S          转移函数（部分函数）
- s₀ ∈ S                  初始状态
- F  ⊆ S                  终态集合（可空）
- A  : S × E → Action     动作函数（可选）

2.3 状态转移矩阵

状态转移矩阵是FSM最直观的工程表达方式。行代表当前状态，列代表事件，单元格代表目标状态。空白单元格表示非法转移。

2.4 动作的分类与执行时机

动作是状态机区别于纯状态图的关键。动作可以附加在转移上，也可以附加在进入/离开状态时执行。在审批流异常恢复场景中，动作的幂等性和可重入性至关重要。

2.5 状态机图示：审批流核心循环

下图展示了一个典型审批流状态机的核心循环，包含5个状态和6条合法转移路径。注意“已驳回”状态允许重新提交，形成状态回环，这是业务系统中常见的恢复模式。

2.6 动作执行与异常恢复的关联

在分布式审批流系统中，动作的执行可能失败（如数据库宕机、消息队列积压）。状态机必须定义动作失败时的行为策略：

• 回滚策略： 动作失败后，状态回退到转移前的状态，并记录失败原因。适用于关键业务操作（如扣款、锁资源）。
• 重试策略： 动作失败后，状态停留在当前状态，定时重试动作。适用于可恢复的临时故障（如网络超时）。
• 补偿策略： 动作部分成功时，执行补偿动作回滚已生效的副作用。适用于跨服务调用场景。

2.7 状态机与工作流引擎的对比

2.8 状态机实现的最小代码骨架

以下是一个面向审批流的状态机核心实现骨架，使用枚举定义状态和事件，通过转移矩阵驱动状态变更：

// 状态枚举
public enum ApprovalState {
    DRAFT,          // 草稿
    IN_REVIEW,      // 审批中
    APPROVED,       // 已通过
    REJECTED,       // 已驳回
    ARCHIVED        // 已归档
}

// 事件枚举
public enum ApprovalEvent {
    SUBMIT,         // 提交
    APPROVE,        // 审批通过
    REJECT,         // 驳回
    WITHDRAW,       // 撤回
    ARCHIVE         // 归档
}

// 状态转移矩阵（二维数组）
// 行：当前状态；列：事件；值：目标状态（-1表示非法转移）
private static final int[][] TRANSITION_MATRIX = {
    // DRAFT    IN_REVIEW   APPROVED   REJECTED   ARCHIVED
    {  1,       -1,         -1,        -1,        -1  },  // DRAFT
    {  0,        2,          3,        -1,        -1  },  // IN_REVIEW
    { -1,       -1,         -1,        -1,         4  },  // APPROVED
    {  1,       -1,         -1,        -1,        -1  },  // REJECTED
    { -1,       -1,         -1,        -1,        -1  }   // ARCHIVED
};

// 状态转移执行方法
public ApprovalState transition(ApprovalState current, ApprovalEvent event) {
    int nextIndex = TRANSITION_MATRIX[current.ordinal()][event.ordinal()];
    if (nextIndex == -1) {
        throw new IllegalTransitionException(
            "非法转移: " + current + " -> " + event);
    }
    // 执行动作（审计日志、通知等）
    executeAction(current, event, ApprovalState.values()[nextIndex]);
    return ApprovalState.values()[nextIndex];
}

2.9 本章小结