电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2006年
2期
226-231
,共6页
闫哲%赵文%袁崇义%王立福
閆哲%趙文%袁崇義%王立福
염철%조문%원숭의%왕립복
工作流%过程变动%同步网%过程迁移
工作流%過程變動%同步網%過程遷移
공작류%과정변동%동보망%과정천이
支持动态可变的特性是实际应用对工作流系统提出的要求,已有的研究在表达能力和算法复杂度等方面存在问题.本文以形式化的工作流模型--同步网为基础,从逻辑和语义两个角度定义了过程变动,继而分类描述了基本变动操作,并讨论了变动的正确性问题.复杂的过程变动可以被分解为若干基本变动操作的序列,从而简化问题并且保证整个变动的正确性.在此之上提出了一种新的管理过程变动的方法,即以同步器为中心来管理过程实例的迁移问题.
支持動態可變的特性是實際應用對工作流繫統提齣的要求,已有的研究在錶達能力和算法複雜度等方麵存在問題.本文以形式化的工作流模型--同步網為基礎,從邏輯和語義兩箇角度定義瞭過程變動,繼而分類描述瞭基本變動操作,併討論瞭變動的正確性問題.複雜的過程變動可以被分解為若榦基本變動操作的序列,從而簡化問題併且保證整箇變動的正確性.在此之上提齣瞭一種新的管理過程變動的方法,即以同步器為中心來管理過程實例的遷移問題.
지지동태가변적특성시실제응용대공작류계통제출적요구,이유적연구재표체능력화산법복잡도등방면존재문제.본문이형식화적공작류모형--동보망위기출,종라집화어의량개각도정의료과정변동,계이분류묘술료기본변동조작,병토론료변동적정학성문제.복잡적과정변동가이피분해위약간기본변동조작적서렬,종이간화문제병차보증정개변동적정학성.재차지상제출료일충신적관리과정변동적방법,즉이동보기위중심래관리과정실례적천이문제.