Migrating Workflow System Model Based On Petri Net Level

The migrating workflow system is in great demand within the workflow management area. As establishment of migrating workflow model is being went through the whole process of workflow designing and running, and having dynamic process definition and complicated frame structure, it lacks explicit model definition .However, all of current workflow model don't have the variable and dynamic state to workflow the movement mode, therefore, migrating workflow modeling is one of most difficulty work in current workflow research work.This paper analysis the main factors in modeling of migrating workflow management system based on a frame about migrating workflow management system with anchorage severs, and define clearly the transition element and its extension in migrating workflow model. Then, the extension of workflow model inhere are extended by the position concept and resources& server ability on Synchronization, and this fully materialized the position set of migrating area in migrating engine controlling net to describe well-off various activity which take place in migrating workflow system. Later, the transition is divided into task transition and migrating transition and the rules of transition enabled are defined.Owing to complicated system structure of migrating workflow model, concepts about task model, migrating instance model, anchorage sever model and migrating workflow engine controlling model are put forward, and a hiberarchy model of migrating workflow system is constructed. In task net model , a new concept named task slice is brought forward to open out task set of migrating workflow system dynamicly in migrating environment. The migrating engine controlling net is the core of the whole system, manage directly and run anchorage sever net and migrating instance net. A migrating instance performs the workflow's task by the support of resource and workflow service that the anchorage server's serving engine after it migrate in.During the modeling process, tasks of process are mapped to migrating instances...