论文部分内容阅读
为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况。该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移。具体应用实例证明了迁移算法的正确性与可行性。