%0 Journal Article
%T 基于同步网的工作流过程变动问题研究
%A 闫哲
%A 赵文
%A 袁崇义
%A 王立福
%J 电子学报
%P 226-231
%D 2006
%X 支持动态可变的特性是实际应用对工作流系统提出的要求,已有的研究在表达能力和算法复杂度等方面存在问题.本文以形式化的工作流模型——同步网为基础,从逻辑和语义两个角度定义了过程变动,继而分类描述了基本变动操作,并讨论了变动的正确性问题.复杂的过程变动可以被分解为若干基本变动操作的序列,从而简化问题并且保证整个变动的正确性.在此之上提出了一种新的管理过程变动的方法,即以同步器为中心来管理过程实例的迁移问题.
%K 工作流
%K 过程变动
%K 同步网
%K 过程迁移
%U http://www.ejournal.org.cn/CN/abstract/abstract6195.shtml