基于虚拟执行的动态工作流演进算法  

Dynamic Workflow Evolution Algorithm Based on Virtual Execution

作　　者：张杰[1] 吕红[1] 周立军[1] 王丽娜[1] 

机构地区：[1]海军航空工程学院基础实验部,山东烟台264001

出　　处：《计算机工程》2011年第15期27-29,33,共4页Computer Engineering

摘　　要：为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况。该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移。具体应用实例证明了迁移算法的正确性与可行性。In order to achieve workflow system for the control of workflow evolution and to solve the problem of dynamic adjustment of the workiflow model, this paper presents formal specification and correctness criteria of workflow model briefly. Based on the execution history of process instance, an efficient virtual execution algorithm involving flow change is proposed, which is also applied to loop structure. The algorithm can determine whether an instance can be smoothly migrated, through the means of rollback and aborting, it guarantees that the work done is valid at maximum and workflow instances are migrated rapidly and automatically. A case is introduced to validate the correctness and applicability of the algorithm.

关 键 词：工作流 工作流模型 工作流演进 历史记录 虚拟执行 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]