| With development of society and high-tech, requirement on workflow management system are increasing to more and more enterprises, but workflow product which can support business process of frame-model, model of simulation and optimization, management and integration is a serious shortage in the supply at present. We all know that core issue in Workflow Management System(WFMS) is for the process definition to be described offer a kind of workflow model with general description of the process performanced capability and highly flexibility, which is foundation and hinge to constructure workflow management system with high reliability, reusability and interactivity. However, how to ensure it work correctly and rationally after establishment of workflow model? Generally speaking, its semantic validity can be verified by model simulation, through analysis of simulational results to optimize model; and its syntax and structure of validity can be verified by mathematical methods to prove. However, because of the complexity of the actual model, there have been no effective solutions to ensure the validity of the model. But, because of the complexity of the actual model; there have been no effective solutions to ensure the validity of the model.This paper mainly discussed that after model has been established; its semantics, syntax and structure can be verified in order to ensure validity before actual run. Major works are as follows:(1) First of all, starting from workflow model, gradually introduced WFMS, workflow reference model, on the basis of analysis of its deficiencies, introduce from Xinpai-driven workflow model based on Petri nets and some typical workflow models to be introduced, compared with a number of typical workflow models done, to show many advantages of it.(2) Based on detailed research, analysis on Xinpai-driven workflow model, some measures will be put forward on model verification of its semantics, syntax and structure: its semantics should be verified directly in accordance with model rules; its syntax and structural verification, given algorithm of synchronized area and the way of conversion reduction. Through the implementation of model verification, ensures effectively the validity of model.(3) In addition, the paper also introduces model-parse techniques, principles of choice on parse techniques, but also advance new style of parse-Random Parser. |
