%0 Journal Article
%T 基于状态的工作流实例迁移方法
%A 杨书新
%A 王坚
%J 计算机集成制造系统
%P 0-0
%D 2008
%X 为解决工作流系统中工作流模型动态变化产生的实例调整问题，提出了一个完整的基于状态的实例迁移方法。该方法采用基于历史事件的一致性判别标准，结合模型变化和活动实例状态，给出了具体的判别条件，从事件等同性、序列性方面证明条件的充分必要性。根据历史数据流设计了虚拟执行算法。在虚拟执行过程中，根据迁移条件的检查来判别迁移的可行性。为保证迁移后实例的正确性，给出了状态调整算法。最后，通过一个迁移过程的实例，说明了方案的有效性、可行性和完整性。
%K 工作流
%K 动态变化
%K 状态
%K 实例迁移
%U http://www.cims-journal.cn/CN/abstract/abstract1858.shtml