摘要：支持动态可变的特性是实际应用对工作流系统提出的要求，已有的研究在表达能力和算法复杂度等方面存在问题，本文以形式化的工作流模型——同步网为基础，从逻辑和语义两个角度定义了过程变动，继而分类描述了基本变动操作，并讨论了变动的正确性问题，复杂的过程变动可以被分解为若干基本变动操作的序列，从而简化问题并且保证整个变动的正确性，在此之上提出了一种新的管理过程变动的方法，即以同步器为中心来管理过程实例的迁移问题。

关键词：工作流 过程变动 同步网 过程迁移 

单位：北京大学计算机系; 北京100871