作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (15): 27-29,33. doi: 10.3969/j.issn.1000-3428.2011.15.007

• 软件技术与数据库 • 上一篇    下一篇

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

张 杰,吕 红,周立军,王丽娜   

  1. (海军航空工程学院基础实验部,山东 烟台 264001)
  • 收稿日期:2011-01-07 出版日期:2011-08-05 发布日期:2011-08-05
  • 作者简介:张 杰(1983-),男,助理工程师,主研方向:工作流模型;吕 红,讲师;周立军、王丽娜,助理工程师

Dynamic Workflow Evolution Algorithm Based on Virtual Execution

ZHANG Jie, LV Hong, ZHOU Li-jun, WANG Li-na   

  1. (Department of Basic Experiment, Naval Aeronautical Engineering Institute, Yantai 264001, China)
  • Received:2011-01-07 Online:2011-08-05 Published:2011-08-05

摘要: 为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况。该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移。具体应用实例证明了迁移算法的正确性与可行性。

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

Abstract: In order to achieve workflow system for the control of workflow evolution and to solve the problem of dynamic adjustment of the workflow 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.

Key words: workflow, workflow model, workflow evolution, history record, virtual execution

中图分类号: