The Verification Of Petri-Net-Based Extend XinPai Driven Workflow Model

With the fact that software plays the increasingly important role in information society,people pay more and more attention to the credibility characteristics of software,such as correctness,reliability and security,etc.It is becoming an important research direction in Software theory and technology to ensure the high credibility characteristics of software in the software development or operation process.The main emphasis of Process management Oriented Software Production Line,which is the Sub-topics of the state high-tech research and development plans (863 plans) named high credibility of software tools and integrated; environments,is process modeling,capacity analysis and correctness verifies.This paper is: concerned with the verfication of workflow model.One key of the Workflow management system is how to establish a workflow process model,which is rational,comprehensive,easy to use and be able to carry out formal verification.In order to solve this problem,an Extend Xinpai-driven Workflow Model is proposed in this paper.The model has well expressive power and is easy to use.Furthermore, it has strict formal semantics.To ensure the correctness of established workflow model,it must be verified before implementation.In this paper a method to verify the model is proposed.The mothod has some advantages,such as it is not only be able to verify the control structure of the model,but also can verify the data information and resource information of the model,both can verify the model's static structure and dynamic properties.Finally, develop a model validation tool,which can conveniently verify the workflow model.And it has a well architecture andfriendly user interface.