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

Research on correctness criteria for process instance migration

作　　者：李伟刚[1] 李俊亭[2] 

机构地区：[1]西北工业大学软件与微电子学院,西安710075 [2]西北工业大学管理学院,西安710075

出　　处：《计算机工程与应用》2007年第36期7-9,42,共4页Computer Engineering and Applications

基　　金：陕西省科技攻关(the Science-Technology Project of Shaanxi Province of China under Grant No.2004k05-G45);西安市信息技术专项(the Special Fund on Information Technology of Xi’an City of China under Grant No.ZX06033)

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

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]