首页 | 官方网站   微博 | 高级检索  
     

过程实例跃迁正确性判定准则研究
引用本文:李伟刚,李俊亭.过程实例跃迁正确性判定准则研究[J].计算机工程与应用,2007,43(36):7-9.
作者姓名:李伟刚  李俊亭
作者单位:[1]西北工业大学软件与微电子学院,西安710075 [2]西北工业大学管理学院,西安710075
基金项目:陕西省科技攻关计划 , 西安市信息技术专项
摘    要:过程模型的动态更改会引起运行中的过程实例向更改后的过程模型跃迁,必须保证过程实例跃迁后运行的一致性。由于多分支结构的影响,不同过程实例的跃迁条件不易确定。研究了过程模型更改机制,通过删除、插入、修改三类元更改操作构造更改域。将过程执行历史能否重放作为过程实例跃迁正确性的判定准则,提出一种高效的过程实例精确跃迁条件评判方法,可以确定拥有不同路由结构、不同运行状态的过程实例的跃迁策略。该方法能适应多分支的过程模型,灵活性高,便于实现过程模型动态更改和实例跃迁的自动化。

关 键 词:工作流  动态更改  实例跃迁  正确性准则
文章编号:1002-8331(2007)36-0007-03
修稿时间:2007年8月1日

Research on correctness criteria for process instance migration
LI Wei-gang,LI Jun-ting.Research on correctness criteria for process instance migration[J].Computer Engineering and Applications,2007,43(36):7-9.
Authors:LI Wei-gang  LI Jun-ting
Affiliation:1.College of Software and Microelectronics,Northwestern Polytechnical University,Xi’an 710075,China 2.School of Management,Northwestern Polytechnical University,Xi’an 710075,China
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.
Keywords:workflow  dynamic change  process instance migration  correctness criteria
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与应用》浏览原始摘要信息
点击此处可从《计算机工程与应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号