Process migration in dynamic changes of workflow process models

The paper analyzes how to deal with a running process instance when a workflow process model is dynamically modified. In this paper, a kind of process algebra CCS is introduced to describe the definition of a workflow model and the runtime information of activity instances in a workflow process model are described with modal logic. Several sets are constructed based on the state of a process instance to pave the way to the final conclusion of feasibility of process instance migration in dynamic changes of workflow models. Finally this paper comes up with the concept of process migration and gives the specific measures dealing with the process instance migration under different situations.