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

Research on Workflow Process Change Based on Synchronization Net

作　　者：闫哲[1] 赵文[1] 袁崇义[1] 王立福[1] 

机构地区：[1]北京大学计算机系,北京100871

出　　处：《电子学报》2006年第2期226-231,共6页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60473058);国家重点基础研究发展规划基金(973)(No.2002CB312006)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]