| Since 21 centuries, workflow technique has been extensivly applied in many realms.The research on workflow technology is attentioned by the people increasingly, and in workflow realm numerous research results have been obtained, At present, however, the research about workflow modeling is so little as well as analysis of model.But the workflow model is foundation of the whole workflow technique , and in the workflow research domain, an important task is to provide a workflow process model that is commonal,strong expressive force ,and easy to analysis and validate in a formal way.But the existed workflow standard can not provide the analysis and validation of the workflow .The Petri net is a kind of graphic and mathematics modeling tool, it has the rigorous formal definition, and it either can carry out the analysis and validation to the model built, or be suit for the process modeling.At first, the paper analyzes research situation on the workflow modeling technique , on this foundation, from two angles that is commonality and strictness, put forward a kind of improved workflow model. This kind of model combined the Petri net and the existed workflow standard , using extended Petri net assurance the strictness of process model, supporting the analysis and validation of workflow model. At the same time, for the sake of the commonality of the model, this paper studied mapping from extended Petri net toward workflow model standard. The process model's commonality is guaranteed by the existed workflow standard.Finally, on the basis of the improved workflow model,this paper design and implement a set of workflow modeling tool,this tool have the good graphic interface, and can model workflow through Petri net .The model can also be exported to petri net description file in form of xml, thus making the workflow model to have good analysis and validation.At the same time, for it can be exported to the workflow file that fllow a workflow model standard, in this way the model have commonality. |
PDF Full Text Request