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

【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.更多还原