过程实例跃迁正确性判定准则研究

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (36): 7-9.

过程实例跃迁正确性判定准则研究

李伟刚¹,李俊亭²

1.西北工业大学软件与微电子学院，西安 710075
2.西北工业大学管理学院，西安 710075

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-12-21 发布日期:2007-12-21
通讯作者: 李伟刚

Research on correctness criteria for process instance migration

LI Wei-gang¹,LI Jun-ting²

1.College of Software and Microelectronics，Northwestern Polytechnical University，Xi’an 710075，China
2.School of Management，Northwestern Polytechnical University，Xi’an 710075，China

Received:1900-01-01 Revised:1900-01-01 Online:2007-12-21 Published:2007-12-21
Contact: LI Wei-gang

摘要/Abstract

摘要： 过程模型的动态更改会引起运行中的过程实例向更改后的过程模型跃迁，必须保证过程实例跃迁后运行的一致性。由于多分支结构的影响，不同过程实例的跃迁条件不易确定。研究了过程模型更改机制，通过删除、插入、修改三类元更改操作构造更改域。将过程执行历史能否重放作为过程实例跃迁正确性的判定准则，提出一种高效的过程实例精确跃迁条件评判方法，可以确定拥有不同路由结构、不同运行状态的过程实例的跃迁策略。该方法能适应多分支的过程模型，灵活性高，便于实现过程模型动态更改和实例跃迁的自动化。

关键词: 工作流, 动态更改, 实例跃迁, 正确性准则

Abstract: The dynamic change of process model may result in process instances migrating to the modified process model.The migrated process instances must not have conflicts in its execution.But it is difficult to determine the migrating condition of different process instances due to multi-branches existing in the process model.For this problem，the change mechanism of process model is researched in this paper，and the change domains are introduced through combining three kinds of meta-change operations，namely delete，insert and update.With the correctness criterion for dynamic changes of replaying the execution history of process instances，an efficient approach to check it through a group of migrating conditions is proposed，which can determine the migrating strategies of process instances with diverse of routing structures and running states automatically.The results in this paper are suitable for complicated process model change，and the process instances can implement migration along their executing route respectively and flexibly.

Key words: workflow, dynamic change, process instance migration, correctness criteria

李伟刚¹,李俊亭². 过程实例跃迁正确性判定准则研究[J]. 计算机工程与应用, 2007, 43(36): 7-9.

LI Wei-gang¹,LI Jun-ting². Research on correctness criteria for process instance migration[J]. Computer Engineering and Applications, 2007, 43(36): 7-9.

[1]	张驰，王宇新，冯振，郭禾. 双层虚拟化云架构下任务调度能耗优化算法[J]. 计算机工程与应用, 2021, 57(3): 103-111.
[2]	田倬璟，黄震春，张益农. 云计算环境任务调度方法研究综述[J]. 计算机工程与应用, 2021, 57(2): 1-11.
[3]	高玮军，张春霞，杨杰，师阳. 考虑负载平衡的科学工作流容错聚类算法研究[J]. 计算机工程与应用, 2020, 56(23): 53-60.
[4]	翟治年，王中鹏，叶绿，向坚，王富忠，庞海云. 可满足（≠，=）工作流的静态k弹性否决条件[J]. 计算机工程与应用, 2019, 55(23): 35-39.
[5]	董浩1，张海平2，李忠金1，刘辉1. 移动边缘计算环境下服务工作流的计算卸载[J]. 计算机工程与应用, 2019, 55(2): 36-43.
[6]	吴林健，苟秉宸，汶晨光. 基于工作流和知识点驱动的知识推送研究[J]. 计算机工程与应用, 2018, 54(4): 231-236.
[7]	贺朝阳，杜玉越，王路. 特殊循环结构的过程挖掘算法[J]. 计算机工程与应用, 2018, 54(22): 42-50.
[8]	王国豪1，2，李庆华1，刘安丰2. 一种云工作流任务调度能效优化算法[J]. 计算机工程与应用, 2018, 54(10): 90-98.
[9]	高健1，2，3，薛巍1，2，3，杨广文1，2，3. 气候系统模式不确定分析工作流执行平台[J]. 计算机工程与应用, 2017, 53(6): 46-50.
[10]	王庆林1，2，薛惠锋1，3. 支持复杂产品系统设计的虚拟知识流生成算法[J]. 计算机工程与应用, 2017, 53(22): 29-34.
[11]	王晓晓1，杜勇前1，叶剑虹1，2，孙世新3. 基于工作流网的银行业务库高安全门禁系统[J]. 计算机工程与应用, 2016, 52(8): 221-228.
[12]	朱银娟，李海波. 云制造环境下基于关联度的资源组合方法[J]. 计算机工程与应用, 2016, 52(5): 255-261.
[13]	黄冬梅，许琼琼，贺琪，杜艳玲. 基于TC-Net的工作流模型研究[J]. 计算机工程与应用, 2016, 52(15): 260-265.
[14]	冯复剑. 时间约束工作流的可调度性分析[J]. 计算机工程与应用, 2016, 52(12): 26-30.
[15]	贺莉苹，石婷，贺渝镔，薛岗. 基于WF-net的流程距离测度模型研究[J]. 计算机工程与应用, 2015, 51(9): 252-256.