| As a new Web application model and remote access standard, Web Services have good performance in application communicating and data sharing between different platforms. But tradition Web services lack semantic information. Semantic Web enables all information in Web having semantic information and can be understood and processed by computer. Semantic Web Services which is created by combining semantic Web technology and Web service use unambiguous, computer-interpretable language to describe Web service and support automatic discovery, composition and invocation of Web service.According to the characteristic of Semantic Web Services, this thesis presents a formal model for Semantic Web Services composition based on Fuzzy Petri Net after analyse the existing method of Web Service. And according to the Semantic Web Services dependency rules to present global dependency model. Then a formal reasoning algorithm was proposed to perform Web Service composition reasoning automatically.However, the process of services composition is complex and fallibility, It is essential to verify the services composition before implementation. This thesis analyses structure correctness verification of services composition, and then presents reliability verification based on Fuzzy Petri Net to ensure the correctness and reliability of the composition. |
PDF Full Text Request