Dynamic Workflow Evolution Algorithm Based on Virtual Execution

In order to achieve workflow system for the control of workflow evolution and to solve the problem of dynamic adjustment of the workflow model,this paper presents formal specification and correctness criteria of workflow model briefly.Based on the execution history of process instance,an efficient virtual execution algorithm involving flow change is proposed,which is also applied to loop structure.The algorithm can determine whether an instance can be smoothly migrated,through the means of rollback and aborting,it guarantees that the work done is valid at maximum and workflow instances are migrated rapidly and automatically.A case is introduced to validate the correctness and applicability of the algorithm.