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

Dynamic Workflow Evolution Algorithm Based on Virtual Execution

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

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.