Flowable引擎节点流转工作原理

1. 背景介绍


        当我们部署一个流程并启动后,Flowable会按照既定流程定义及进行节点处理以及自动流转,从一个节点执行到下一个节点,直至结束。在此过程中,系统如何处理BPMN XML文件?节点如何进行流转?本文对flowable内部源码进行解析,挖掘其引擎原理。

        文章末尾,会通过一个简单流程执行实例进行讲解,还原其执行步骤。

       注意:本文源码基于Flowable 6.4.0版本,gitthub地址:https://github.com/flowable/flowable-engine/tree/flowable-release-6.4.0

2. 系统原理


2.1. 总览图

总览图

如上图所示为流程启动关键节点图,主要由以下几部分组成:

1. 启动命令封装(橙色部分)

   主要功能:通过将bpmnXML格式文件解析为程序可执行的内存对象:Process。

   a. 获取流程定义 ProcessDefinition(通过入参<流程key or 流程id>找到对应的流程定义)

   b. 加载解析bpmn.xml文件(工作流原始文件)

   c. 生成bpmnModel(工作流描述)

   d. 生成Process(工作流执行)

2. 命令执行器(蓝色部分)

主要功能:流程执行过程中会添加各种拦截器其中最为核心的是CommandInvokerInterceptor

  a. LogInterceptor:当日志级别为debug时,会输出启动日志

  b. SpringTransactionInterceptor

      Spring事务管理,用户事务的doTransaction、commit、rollback

  c. CommandContextInterceptor:执行SqlSession close方法,将数据进行持久化

  d. TransactionContextInterceptor

  e. BpmnOverrideContextInterceptor

  f. CommandInvokerInterceptor:真正执行启动流程命令的拦截器

3. 节点流转(绿色部分)
   主要功能:完成对流程节点的执行,及找到下一个可执行的节点,直至流程运行完成。其最核心的包括DefaulFlowableEngineAgenda,该类持有operations,通过对节点操作封装为不同的Operation,进行节点的流转。

2.2. 命令执行器(CommandExecutor)

      Flowable是通过命令模式 + 责任链模式完成对操作的执行,flowable启动代码中,构造ProcessEngine时会调用 init()方法进行引擎初始化,如下图所示:

        由下图可得,在init()方法中,会调用 initCommandExecutors()对命令执行器进行初始化,其中包括各种拦截器,包括:commandInvoker、SpringTransactionInterceptor及其他拦截器

     每个拦截器都是 CommandInterceptor接口类的实现,最终是通过execute()方法,对包装好的Command命令进行执行。再这里注意下拦截器的加载顺序,就是拦截器的执行顺序,这里 CommandInvoker拦截器是放到了最后,该拦截器也是真正推动流程节点进行流转的。

2.3. 启动命令封装

      启动命令通过入参的流程key or  流程定义id加载对应的流程定义数据后,初始化了启动operation操作,其核心源码如下:

1) 调用new StartProcessInstanceCmd 生成启动命令

2)StartProcessInstanceCmd.execute() 方法定义如下:其首先获取流程定义ProcessDefinition,之后通过调用startProcessInstance启动流程。

      流程定义数据来源于数据表:ACT_RE_PROCDEF,其是在流程部署时写入的,注意其字段deploymentId,在作为数据表ACT_GE_BYTEARRAY的外键,关联了 流程XML原始文件。




3)在得到流程定义后,通过调用 ProcessInstanceHelpercreateProcessInstance方法进行流程启动,注意在该方法中,通过调用 ProcessDefinitionUtil.getProcess 得到流程 Process

     注意在之后,通过 process.getInitialFlowElement 方法得到流程初始节点。在之后构造 Execution 实体时,设置该初始节点。



4)在方法 ProcessInstanceHelper.startProcessInstance 中,通过调用CommandContextUtil.getAgenda(commandContext).planContinueProcessOperation(execution) 将当前实例添加到操作堆栈operations中。

           至此:完成了启动命令的初始化过程


2.4流程节点流转(重点)

2.4.1 节点流转核心节点图

重点:上图为节点流转图,节点流转的核心是AbstractAgenda,其默认的实现是 DefaultFlowableEngineAgenda,该类持有变量operations,operations是个一个堆栈,在流转过程中,通过DefaultFlowableEngineAgenda一系列操作可以

       将不同的操作压入栈中,然后运转过程中,将每一个操作弹出栈进行命令的执行。这里的operation指默认实现了AbstractOperation的操作类,AbstractOperation的实现类如下所示:

        比如要继续流转,则压入ContinueProcessOperation,需要结束流程则需要压入 EndExecutionOperation。


2.4.2. ContinueProcessOperation操作

        ContinueProcessOperation操作对节点和顺序流分别作了处理,如下图所示:

当前元素为节点时,执行如下主要操作:

1)标记节点开始

2)执行节点监听器

3)获取节点对应行为器

4)执行行为器

当无对应的行为器时,则创建 takeOutgoingSequenceFlowsOperation 操作


当前元素为顺序流时,执行如下主要操作:

1)找到当前元素后置元素,设置为当前执行元素

2)如果后置元素是节点,则直接执行

3)如果后置元素是顺序流,则构造ContinueProcessOperation操作


2.4.2.1. 节点行为器ActivityBehavior

      如下图所示为行为器的实现类,从图中可以看到我们熟悉的StartEvent、NoneEvent及ServiceTask的实现类。

在行为器执行完成对应操作后,由行为器决定是否继续向后流转节点FlowNodeActivityBehavior默认提供了leave()方法,其内部主要是构造 TakeOutgoingSequenceFlowsOperation 继续流转节点

2.4.3. TakeOutgoingSequenceFlowsOperation操作

       TakeOutgoingSequenceFlowsOperation的实现分别对节点和顺序流进行了操作,如下图所示:

当前元素为节点时:

1)首先标记当前节点执行完成

2)遍历后置顺序流元素,并计算顺序流表达式属性

3)当无有效的后置顺序流元素时,则构建EndExecutionOperation,压入栈中

4)存在有效的后置顺序流元素时,则遍历顺序流并且构造 ContinueProcessOperation操作,压入栈中

当前元素为顺序流时:

1)标记当前元素结束,构造ContinueProcessOperation操作,压入栈中

2.5 Example

     下面以该流程为例,详细列出操作流转步骤:

     节点流转图如下:

     详细步骤如下:

Step 1:在流程启动初期,operations堆栈中压入ContinueProcessOperation操作,传入的execution的当前节点为开始节点

Step 2:取出栈顶操作元素开始节点并执,首先进行节点开始持久化操作,之后调用节点行为类执行,开始节点的行为类是 NoneStartEventActivityBehavior,如下图所示为空操作,

其并没有实现execute()方法,还是复用了父类FlowNodeActivityBehavior的execute()方法,执行leave方法,压入TakeOutgoingSequenceOperation操作,此时execution的当前节点为开始节点

Step 3:弹出栈顶TakeOutgoingSequenceOperation(开始节点),首先进行节点结束持久化操作,之后获取开始节点的后置可用分支,压入ContinueProcessOperation堆栈,

此时execution的当前节点为 开始节点-创建变量节点顺序流

Step 4:取出栈顶ContinueProcessOperation(开始节点-创建变量节点顺序流) 并执行,其目标节点为 创建变量节点,开始执行,首先执行节点开始持久化操作,接着执行其行为类JavaDelegate,

执行完成后,压入TakeOutgoingSequenceOperation操作,此时execution的当前节点为创建变量节点

计算节点后置节点以及其他逻辑后,压入操作类,此时execution的当前节点为开始节点-->创建变量的连线。

Step 5:弹出栈顶TakeOutgoingSequenceOperation(创建变量节点),首先进行节点结束持久化操作,之后获取创建变量节点的可用分支,压入ContinueProcessOperation堆栈,

此时此时execution的当前节点为创建变量节点-结束事件顺序流

Step 6:弹出栈顶ContinueProcessOperation(创建变量节点-结束事件),其目标节点为结束事件,开始执行,首先进行节点开始持久化操作,接着执行其行为类 NoneEndEventActivityBehavior,如下图可得,

结束事件行为器构造了TakeOutgoingSequenceOperation操作,此时execution的当前节点为

结束事件节点

Step 7:弹出栈顶TakeOutgoingSequenceOperation(结束节点),首先进行节点结束持久化操作,之后获取创建变量节点的可用分支,无可用分支,则构造 EndExecutionOperation,此时execution的当前节点为结束节点

Step 8:弹出栈顶EndExecutionOperation(结束节点),执行相关结束操作

你可能感兴趣的:(Flowable引擎节点流转工作原理)