关键词: 工作流, 动态变化, 状态, 实例迁移

Abstract: To solve the problem of process instances adaptation caused by dynamic process changes in workflow system, a new comprehensive and complete status-based migration solution was proposed for process instances. Based on in-depth study on existing references, the solution adopted a history events-based compliance criterion. According to characteristics of schema changes and state markings of activity instances, concrete estimation conditions for criterion were put forward. Furthermore, a sufficient and necessary relationship proof between conditions and criterion was provided from perspectives of events equivalence and sequence. A virtual execution algorithm was designed. During virtual execution, migrate or not was decided by evaluation of conditions. In addition, a state markings adjustment approach was presented to guarantee instances correctness after migration. Finally, application examples for migrating process instances to a changed process type schema were introduced to illustrate the effectiveness, feasibility and integrity of the proposed solution based on state.

Key words: workflow, dynamic change, state, instance migration