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