Notice of RetractionCorrectness conditions for evolution of the most process instances without rollback tasks

Notice of Retraction

After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.

We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.

The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.

The dynamic change of process model may result in process instances migrating to the modified process model, which is prone to introduce executing conflicts in the migrated process instances. It is difficult to determine the migrating condition of different process instances due to multi-paths 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 process evolution 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, and ensures the most migrated process instances executing correctly without rollback tasks in them. 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.