一种基于历史路径的工作流实例迁移方法.docVIP

一种基于历史路径的工作流实例迁移方法 　　摘要:工作流变更中一个重要问题就是工作流实例的迁移问题。该文根据工作流实例执行的历史路径和节点路由表提出了一个新的迁移策略,减少了一些不必要的回滚和迁移,并对每个节点都确定了相应了迁移动作。 　　关键字:迁移;历史路径;动态动作流 　　中图分类号:TP311文献表示码:A文章编号:1009-3044(2009)33-9597-02 　　Work Flow Instance Migration Approach Based on History Route 　　JING Chao, HOU Xiu-ping, HAO Shuai 　　(College of Computer and Engineering, Changchun University of Technology, Changchun 130012, China) 　　Abstract: One of the most crucial issues in workflow alteration is the transfer of workflow instance. This paper puts forward a brand-new transfer strategy based on historical path and node-route table of workflow instance which avoids unnecessary rollback and transfer while confirms corresponding transfer activities. 　　Key words: transfer; history route; dynamic workflow 　　随着工作流技术实际应用的不断深入,人们对其提出了更多的功能要求。在现实需求中,一个工作流在运行中很有可能发生变化,这就要求工作流模型有自适应变化的能力,并且正在运行的工作流实例往往需要尽早地按照新的工作流过程模型继续执行,并保持已做工作的最大化[1]。在研究工作流动态性的过程中,研究人员先后提出过许多方法来解决相关问题。文献[2]提出了变更区域的概念,但没有给出变更区域的自动识别方法。文献[3]基于工作流网的概念,提出了自动计算变更区域的方法,保证了动态变更区域以外的实例能够正确迁移,然而这是一个充分不必要条件,计算过程也过于复杂。文献[4]提出了继承保留规则的方法,然而这是一个预防性的问题处理方法,仅适合与变更前后的工作流模型存在父类与子类继承关系的情况。本文引入了执行路径来判断工作流实例的执行状态,提出了一种基于状态的工作流实例迁移检测和调整算法,且由该算法自动生成的迁移规则总能保证实例的回退工作尽可能少。 　　1 工作流模型定义 　　定义1 工作流模型定义,为一个三元组W=(ID,X,F),其中:ID为工作流版本号标识。X为节点集合。F=N×N为控制流关系。 　　定义2 节点定义,为一个三元组N=(ID ,Name,ExecuteCode),其中id为节点的序号,Name为活动节点的名字。ExecuteCode为当前节点要执行的方法。 　　定义3 工作流实例定义,为一个三元组Istance=(ID,W,H),其中id为工作流实例唯一标识,W为实例运行的工作流模型,H表示当前工作流实例已经执行过的活动节点的集合。 　　2 迁移算法设计 　　2.1 相关规则定义 　　定义4 偏序关系定义,设集合X为工作流活动图上节点集合。关系R为集合X上任务节点执行的先后顺序,用表示。即R(N1,N2)=N1N2;则对于任意的N1,N2,N3∈X,如果存在R(N1,N2)和R(N2,N3),则肯定存在关系R(N1,N3),即偏序关系是可传递的。 　　定义5 节点操作方法定义,对于工作流模型中的节点N0,定义如下操作函数。 　　Succ(N0,W) = {N1| N0 N1,并且对于任意的节点N2∈X,(N0 N2∩N2 N1) = false,N0,N1,N2∈X.其中X为工作流W中的节点集合},求出节点X的直接后继节点集合。 　　Prec (N0,W) = { N1| N1 N0,并且对于任意的节点N2∈X, (N1 N2∩N2 N0) = false, N0,N1,N2∈X.其中X为工作流W中的节点集合.},求得节点X的直接前驱节点集合。 　　Succ*( N0,W) = { N1| N0 N1, N0,N1∈X.其中X为工作流W中的节点集合},求出节点X的所有后继节点集合。 　　Prec*(N0,W) = { N1| N1 N0, N0,N1∈X.其中X为工作流W中的节点集合},求出节点