【摘要】 在基于形式化的工作流模型和具有历史执行记录的工作流实例定义基础上,给出了一个全面的、正确的工作流实例迁移判断标准,并且依据此判断标准提出了虚拟执行规则和迁移算法。与同类研究工作比较,该方法在适用性、正确性和可实现性等方面具有一定的先进性。更多还原

【Abstract】 Based on the formal workflow model and the definition of workflow instance with execution history, a comprehensive correctness criterion for workflow instance migration was proposed, according to which the virtual execution rule 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.更多还原