基于状态的工作流实例迁移方法

为解决工作流系统中工作流模型动态变化产生的实例调整问题,提出了一个完整的基于状态的实例迁移方法.该方法采用基于历史事件的一致性判别标准,结合模型变化和活动实例状态,给出了具体的判别条件,从事件等同性、序列性方面证明条件的充分必要性.根据历史数据流设计了虚拟执行算法.在虚拟执行过程中,根据迁移条件的检查来判别迁移的可行性.为保证迁移后实例的正确性,给出了状态调整算法.最后,通过一个迁移过程的实例,说明了方案的有效性、可行性和完整性.

Workflow instances migration approach based on state

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.