Based On Uml State Machine-pns Integrated Workflow Modeling And Analysis

The establishment of work flow model is the basic prerequisite to realize the work flow management. The quality of the structure of workflow model will directly influence whether the work flow can be carried out normally or not. It can also influence the efficiency of work flow management. Till now, a lot of achievements have been acquired about work flow technology, while these achievements cannot reach the level that people has expected. People don't know how to describe the work flow model exactly. The core of work flow model is the definition of process, including basic activities of composing process and logic relations among these activities. However, the present method to set up a model lacks a kind of formalized mathematical model, which can support process definition, process progress and process analysis. Therefore, the hot issues on the study of work flow model are how to describe clearly and accurately the process of practical application, especially how to express the course of technological process with a formalized method. Besides, how to verify the structure exactness of the process models theoretically and how to assess functions of the model and methods to optimize the model are also the hot issues nowadays.Aiming at solving the present problems, we proposed a new method to set up and analyze work flow model when we finished the project of developing " piston PDM system based on WEB ". This method is based on UML state machine - PNs integration. This study has redefined UML state machine , described the state machine with expanded UML activity graph and also expanded Petri network accordingly. This method synthesizes the advantages of UML and Petri network and describes the course of technological process clearly and completely with expanded UML activity graph. It can also support process definition and utilizes mathematical analysis method of Petri network to improve the present method of model verification. Besides, this study proposes a more effective way to verify the exactness of model structure and based on this, the study also proposes a new method to optimize the model structure.It has been proved that this is an effective method to set up a work flow model.