基于有限状态机工作流实例状态迁移研究.docVIP

基于有限状态机工作流实例状态迁移研究 　　摘 要：在分析大量工作流业务过程组成的基础上，建立了以业务过程为核心的过程模型，提出了将有限状态机（FSM）的理念应用于流程执行引擎的方法，并给出了工作流实例状态迁移模型和执行算法。通过一个活动实例运行状态迁移的具体实现，证明了方案的有效性、可行性和合理性。 　　关键词：工作流技术; 有限状态机;状态迁移 　　DOI：10.11907/rjdk.143546 　　中图分类号：TP302 　　文献标识码：A 文章编号：1672-7800（2014）012-0039-02 　　作者简介：王婷婷（1989-），女，江苏灌云人，南京信息工程大学电子与信息工程学院硕士研究生，研究方向为软件工程、工作流技术;孙精科（1974-），男，江苏淮安人，江苏省邮电规划设计院有限公司信息中心高级工程师，研究方向为工作流、软件工程、项目管理。 　　0 引言 　　工作流技术是实现企业业务过程自动化的核心技术之一，相应的工作流管理系统技术也得到普及。工作流的流程引擎是工作流管理系统的心脏，是业务处理流程执行服务中的部分或全部运行控制环境，为工作流实例提供运行环境。以业务流程为中心的工作流管理系统可以描述为建立时和运行时，建立时是指流程定义过程和实例化过程模型阶段;运行时是指过程模型的执行阶段，是工作流引擎对流程定义进行解释执行lt;supgt;[1]lt;/supgt;。流程引擎研究中的一个重要问题就是如何控制流程引擎，执行工作流系统中的各种任务状态转移，保证各项任务在制定的时间内正确地完成。本文基于有限状态机的方法很好地实现了流程引擎执行这一问题。 　　1 工作流过程建模 　　 过程是一系列活动的集合，活动之间存在着各种顺序关系，构成了过程的控制流，过程还包括流程执行间相关的数据。 　　定义1：工作流模型（又称为过程定义）形式化表示为：W=（Process，N，CF，D），Process为流程属性;N是活动集合，CF为控制流，CF属于N×N，指明了活动之间的连接关系，D是工作流相关数据变量集合。 　　定义2：流程Process的属性形式化表示为：p=（Role，Table，Deadline，Events，Info，Dvars），Role为参与人角色，Table为流程表单，Deadline为流程执行期限，Events为流程中所有事件的集合，Info为流程中发送的通知信息，Dvars属于D，为流程中所有数据变量。 　　定义3：流程的执行过程形式化表示为：WI=（Taskassin，Transition，Route，Eventexe），Taskassin为任务分配，Transition为活动迁移，Route为路由决策，Eventexe为事件执行。 　　2 流程实例状态模型 　　 在工作流执行服务中，流程实例能够响应外部事件并改变自身的状态，比如执行一项任务、激活一个活动，又如调度流程实例的下一个活动或任务。因此，工作流执行服务可以看作是一个状态变化机，用来控制流程实例和活动实例的状态转换lt;supgt;[2]lt;/supgt;。活动实例是活动在流程里的实例化;任务（工作项）是流程最小工作单元，由活动实例产生并分配给参与者执行。一个活动实例可能产生多个任务实例lt;supgt;[1]lt;/supgt;，如图1所示。 　　图1 流程执行引擎部分实例对象关系 　　2.1 有限状态机FSM理论 　　有限状态机，又叫有限状态自动机，是表示有限状态（State）及在这些状态间的转移（Transition）和动作（Action）等行为的数学模型，通常用有向图来表示有限状态机，其节点代表状态。若在当前状态接收到某个输入条件后转向目标状态，就在图中画一条从当前状态到目标状态的带箭头线，并在弧线上标记lt;supgt;[3]lt;/supgt;。 　　定义4：有限状态机形式化表示为六元组M=（S， E， T， F，S0，H），S表示内部有限状态集，E是有穷事件输入集，T表示为非空转移集，映射函数F=S*E→T，S0属于S，H是最终状态集合。其中T中每个元素又可以表示为一个三元组（Sourcestate，tr，Tragetstate），其中tr=（e，c）。Sourcestate是源活动状态，Tragetstate为目标活动状态;事件函数event（t）=e表示迁移调用的事件，路由函数condition（t）=c表示状态转移的条件表达式。有限状态机逻辑图lt;supgt;[1]lt;/supgt;如图2所示。 　　图2 有限状态机逻辑 　　由图2可以看出，有限状态机的下一个状态和输出是输入和当前状态的函数，也就是说，输入和当前状态触发变迁为下一个状态，而下一个状态的实现会产生输出结