工作流技术正在经历从刚性向柔性、动态性的变革,这种变革源自企业在发展过程中不断出现的许多新需求;过程实例在运行过程中发生与原过程定义的偏离,通常称为工作流变更或异常。灵活、动态地处理变更和异常的能力是工作流管理系统柔性和动态性的体现,工作流管理系统中引入动态工作流技术,在解决业务流程变更所带来问题的同时,也带来了不容忽视且极具挑战意义的问题,工作流模型的修改很容易导致工作流实例停滞、异常、死锁、运行脱节等一系列问题,如何处理工作流变更是动态工作流研究的核心内容。在动态工作流中,需要解决的关键问题主要包括业务流程变更、工作流演进、实例迁移等。本文重点研究在动态工作流演进变化中,如何实现工作流实例的迁移问题。本文首先深入分析了动态工作流演进变化和实例迁移问题,研究了对模型实施的动态变更操作,主要包括增加、删除、替代和改变活动等操作,分析了五种典型的动态变更错误;给出了工作流相关概念的形式化表示,从数据结构正确性和模型结构正确性两方面,给出了工作流模型正确性标准。本文通过分析基于图形一致性规则和历史事件一致性规则动态工作流演进技术的特点,提出了一种应用性更好、算法更为简洁的基于虚拟执行规则的方法,该方法适用于模型存在循环的情况,不仅可以判断流程实例能否迁移,并且通过回退和撤销策略,保证工作流实例快速迁移和已办工作最大化;与同类方法相比,本文算法考虑数据流、模型结构、循环结构变化等情况,且具有简洁易于实现等特点。最后,根据提出的算法,借助于工具JWFD,设计完成动态工作流演进模拟平台(DWMSP),实现了根据实例历史执行记录,判断实例能否迁移,最终实现实例迁移操作,例证本文迁移算法的正确性与可行性。