Workflow instance migration approach based on virtual execution rules
一种基于虚拟执行规则的工作流实例迁移方法

Based on the formal workflow model and the definition of workilow instance with execution history, a comprehensive correctness criterion for workflow instance migration was proposed, according to which the virtual execution ride and algorithm were presented. By the comparisons with other similar research works, the advantages of the approach in terms of applicability, correctness and practicality were illustrated.