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

• 作者: 杨书新 王坚
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: 工作流 动态变化 状态 实例迁移
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 论文
• 页码范围: 372-378
• 页数: 7页
• 分类号: TP311
• 字数: 6156字
• 语种: 中文

摘要

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