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

Workflow instances migration approach based on state

作　　者：杨书新[1] 王坚[1] 

机构地区：[1]同济大学CIMS研究中心

出　　处：《计算机集成制造系统》2008年第2期372-378,共7页Computer Integrated Manufacturing Systems

基　　金：上海市科技发展基金重大资助项目(04DZ11007,06DZ12001,06JC14066)~~

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]