2. 工作流基础：工作流定义、状态机模型、任务节点与转移、常见工作流引擎介绍

在深入审查意见与审批工作流的调优之前，必须建立对工作流核心概念的共识。本章将拆解工作流的基本构成要素，从定义、状态机模型到任务节点与转移，并对比当前主流的开源工作流引擎，为后续的工程实践打下理论基础。

2.1 工作流定义与核心要素

工作流（Workflow）是对业务流程中任务、数据与参与者之间流转规则的计算机化表示。一个完整的工作流定义通常包含以下核心要素：

2.2 状态机模型：工作流的核心抽象

工作流引擎底层普遍采用 有限状态机（FSM） 或 分层状态机（HSM） 来建模流程的生命周期。状态机模型将工作流抽象为：状态（State）、事件（Event）、转移（Transition） 与 动作（Action） 四元组。

以下是一个审批任务节点的典型状态机模型：

2.3 任务节点与转移的工程分类

在审查意见工作流中，任务节点和转移的合理设计直接影响系统的可维护性与性能。以下是常见的工程分类：

2.3.1 任务节点类型

2.3.2 转移条件表达式

转移条件通常使用表达式语言（如 FEEL、MVEL、SpEL）编写。以下是一个基于金额的条件转移示例：

// 排他网关条件表达式（Camunda FEEL 语法）
// 条件1：金额 ≤ 5000，直接通过
if (amount <= 5000) then "direct_approve"

// 条件2：5000 < 金额 ≤ 50000，转部门经理
if (amount > 5000 and amount <= 50000) then "manager_approve"

// 条件3：金额 > 50000，转总监+财务会签
if (amount > 50000) then "director_finance_countersign"

2.4 常见工作流引擎介绍与对比

当前业界主流的工作流引擎可分为 BPMN 规范型 和 编程模型型 两大类。以下对 Camunda 和 Temporal 进行深度对比：

2.4.1 Camunda 核心特性

• BPMN 2.0 原生支持： 提供可视化建模工具（Modeler），业务分析师可直接设计流程图。
• 状态持久化： 流程实例状态存储在关系型数据库中，支持事务性回滚。
• 人工任务管理： 内置任务列表 API，支持候选人、候选组、委派、转办等审批场景。
• 历史审计： 自动记录每个节点的操作时间、操作人、变量变更，满足合规要求。
• 适用场景： 需要业务人员参与流程设计、合规审计要求高的审批系统。

2.4.2 Temporal 核心特性

• 代码即工作流： 使用通用编程语言（Java/Go/Python/TypeScript）编写工作流逻辑，无 DSL 学习成本。
• 确定性重放： 通过事件溯源保证工作流代码的确定性执行，支持长时间运行的工作流。
• 弹性与可伸缩： 无状态 Server 设计，Worker 可水平扩展，支持百万级并发工作流。
• 超时与重试： 内置 Activity 超时、重试策略、心跳检测，适合分布式微服务编排。
• 适用场景： 高并发、长时间运行、需要强一致性的分布式工作流（如订单处理、数据管道）。

2.4.3 引擎选型对比表

2.5 工作流引擎核心能力清单

无论选择哪种引擎，以下核心能力是构建可靠审批工作流的必备基础：

1. 流程版本管理： 支持流程定义的版本化部署，运行中的实例不受新版本影响。
2. 变量传递与作用域： 流程实例变量、任务局部变量、全局变量的生命周期管理。
3. 超时与补偿： 任务超时自动处理（如转交、驳回）、Saga 补偿事务。
4. 权限与身份集成： 与 LDAP/OAuth 集成，支持角色、用户组、动态候选人解析。
5. 监控与告警： 流程实例耗时统计、堆积任务告警、异常实例自动恢复。
6. 可观测性： OpenTelemetry 集成，支持链路追踪与日志关联。