基于同步网的工作流过程变动问题研究

Research on Workflow Process Change Based on Synchronization Net

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

The feature of supporting dynamic change is required in the application of workflow management system. While some relational research fell short in terms of expressive capacity and algorithm complexity. Based on synchronization net, a formal workflow model, this paper proposes a definition of process change from logic and semantic view, then classifies elementary change units, and discusses the correctness of change. A whole process change in need is considered as a sequence of those change units. Therefore the complex problem becomes easy and the correctness of change is preserved strictly. Following the description of change, a new method to manage process change is proposed, so as to resolve the migration problem of on-the-fly process instance, centered on synchronizer.