Design Of Visible Workflow Process Logic Model And Its Sound

In recent years, workflow management technology gradually evolved into the core of business process automation management technology in order to meet the increasing requirements of process automation management. During the organization of workflow management, the definition of business processing model plays a decisive role. Before the business organizations, a good reference frame of model for defining workflow model and verifying the correctness of the model is particularly necessary.Firstly,this paper introduces the concept of workflow technology and analysises its origin,status, development trends.The emphases of reaserch are the importance of sound definition of workflow business process model in the workflow management system. Secondly,it analysises and compares the behaviour of two design methods of workflow process model——the Workflow nets and Workflow Logic nets. By combining the advantages of two approaches, a reference frame which can appropriate to describe the logic of business process workflow model is designed. This frame make the definition of process more easily understood by non-professionals in order to make it easier for communication between designers and users.Based on this framework, this paper make use of Java object-oriented programming thinking to structure the various elements of workflow model.At the same time it achieve the methods of model structurelevel which based on expansion Petri net technology and the method of flexible operation of the model. After the definition of workflow business process logic model,a authentication methods which is strictly observance of the rationality standard of Petri net is bring out.This method will check accessibility, well-structure and reasonable aspects of model, in order to ensure that there is not state of conflict or unreasonable in workflow business process model before the semantic definition of logical structure.Finally, the model framework and verification methods will be integrated in a business process workflow design tool which provides a visual user interface. The tool deal pixel conversion of workflow model with JGraph which is a package of Java.