Research On The Modeling Method Of Workflow And Its Model Verification Mdthoe

Workflow has become the obligatory technology for the automatization and reorganization of operation flow. And workflow model is the base of designing and realizing workflow modeling tools which are the beginning of the workflow management system while the certification of accurate for the model is the premise and guarantee of describing workflow model more effectively. So it is of great importance to study workflow model and its certification methods.At first, in order to improve the workflow model's ability of describing operation flow, existing workflow models are analyzed and compared with each other in this thesis, then it gives a workflow model with directed graph based on extended conditions and its new modeling elements. The formalized definition of workflow model has been given here as well as its description in graphics symbol. There is a study example being used to show the process of modeling with workflow model which is with directed graph based on extended conditions in the following content.Secondly, in order to verify the accuracy of workflow model's structure, the Pi-Calculus will be applied to the verification of model below, and the method how to use Pi-Calculus to describe workflow model as well as the reduction rule on the method are given here. Furthermore, both the algorithms and means for workflow model's verification based on the above reduction rule and the analysis of both degree of time complexity for the algorithms and accuracy for the means are introduced below.Finally, based on both the model with directed graph which is based on extended conditions and the verification of workflow with Pi-Calculus reduction rule, a tool for workflow modeling named YsuSoftWF is been designed and realized here. The thesis presents the function requirements of the tool for workflow model and the system framework for designing YsuSoftWF. In this thesis, we show how to use YsuSoftWF to model in vision and how to set the corresponding properties, the tool's particular application in the field of e-Government and how to apply YsuSoftWF to the design and realization for a project. All the above illuminate the value of YsuSoftWF in practice and validate that the real requirement is satisfied with both the workflow model with directed graph based on extended conditions and verification for workflow with Pi-Caculus reduction rule.