一种基于虚拟执行规则的工作流实例迁移方法

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