基于状态的工作流实例迁移方法

为解决工作流系统中工作流模型动态变化产生的实例调整问题，提出了一个完整的基于状态的实例迁移方法。该方法采用基于历史事件的一致性判别标准，结合模型变化和活动实例状态，给出了具体的判别条件，从事件等同性、序列性方面证明条件的充分必要性。根据历史数据流设计了虚拟执行算法。在虚拟执行过程中，根据迁移条件的检查来判别迁移的可行性。为保证迁移后实例的正确性，给出了状态调整算法。最后，通过一个迁移过程的实例，说明了方案的有效性、可行性和完整性。