Verification And Testing Method Of The Sematic Web Service Composition Based On Colored Petri Net

By making the simple Web service together, we can meet a new Web Service which has a new demand and we call it Web Service composition. But in the process of service composition, a complex need will involve a lot of simple services. However, when the user has many optional services created a problem, because there are many problems on the services or the users cannot believe the services, this problem will affect the development and application of Web Service. What’s more, the process complexity and concurrency make the Web Service composition validation and testing become very important. In the view of the above problems this paper will work as follow:1. Based on the semantic consistency of the Colored Petri net and ontology Web services (OWL-S), we apply the description method to OWL-S process. This method includes the description of atomic process and composite process by Colored Petri net. The Colored Petri net modeling tool CPN Tools is used to model Web service composition process.2. Based on the semantic Web Service composition model described by Colored Petri net, this paper conclude the testing method and test case generation method. This paper introduces the testing method of complete path coverage, and we generated test cases by reachability graph model generated by this method, and did validity analysis and testing.3. Analysis the example by using the proposed method of this paper. Use the above model and test method to analyse the example, we analyzed the example of loan approval Web service composition, to verify the effectiveness and correctness of this proposed method. By analysis with project examples, this method is more convenient for generation, verification and test case of semantic Web Service composition...