Research On Technology Of Workflow Model Verification Based On Synchronization Net

Workflow management is one of the latest technologies of Computing. Nowadays, the technology of Workflow has been on the new phase, and it has been one of the researches about the application of computer, its fields include Workflow model, the definition language of Workflow, the analysis methods of Workflow and the architecture of Workflow Management Systems.With the applied scope of Workflow Management System enlarged and applied domain widen, how to define the correct workflow model and analyze the existed business process model have become one of the most important researches on workflow technology. In this thesis, based on Jade Bird Process Meta Model — JBDelta, the workflow modeling and correctness verification are studied and analyzed systematically.Firstly, the background and research value are presented, and the research target and work done by the author during studying are summarized.Secondly, to introduce The basic concepts including the definitions, classes and features of Workflow, Workflow Management System, models, patterns and Workflow Definition Language. And to state mostly the research aspects of Workflow, the status quo of model verification inside or outside the nation.And then, to introduce a Workflow model called JBDelta. JBDelta is simple, intuitionistic and readable. And it provides profuse modeling elements to extend the modeling capacity, so that it can describe many complex business processes.Following, to introduce the principle of Syn_net based on Petri net. Synchronizer is the kernel of Syn_net. And to put forward a model verification method that applies graph reduction techniques on workflow graph. Workflow graph is a method to describe the structure of the process model. It has the same expressive power as JBDelta.Finally, based on the reduction rules from Literature[32], to design and implement the model verification tool—JBVerifier in Jade Bird Workflow Management System. It has been proved by practice that the workflow verification method and tool mentioned in this thesis can help enterprise to verify the correction of process models before these models are applied and effectively support enterprise to implement improvement of model and Business Process Reengineering.