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

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