Service Composition And Verification Based Collaborative

Semantic Web Services (SWS) is a technology that it is used semantic languageto describe the Web service,and it enables Web services become physical computercan understand, and thus support automatic discovery, execution, combination and soon.This study is the service composition and verification based on collaborative,themain goal is to achieve collaborate work of Web services on the Agent system,complete the automated combination,generate the appropriate combination ofsequence.In this paper, the results of the following four aspects:(1)In depth study of the Semantic Web ontology language OWL and theSemantic Web Services Description Language OWL-S, and using software developedlanguage Protégé to develop ontology, and using OWL-S Editor plug-in with thedevelopment of software Protégé to develop OWL-S, and through the example ofbuybook service to achieve the development of OWL ontology and implementation ofthe OWL-S service description.(2)Using methods of service automatically combination that combines OWL-Smodel and state calculus,and using state calculus description language Gologlanguage to describe the OWL-S service,to purchase electronic commerce as anexample for analysis, analysis of the atomic services, then according to the atomicservices for collaborative interaction by using Golog language to describe, andgenerate the corresponding sequence.(3)Designed a Web service composition model based on Multi-Agent of Systemplatform, and research and analysis examples.Through a buybook examples ofe-commerce to preliminary verify the feasibility of collaborative combinationservices.(4)Utilizing Pi calculus algorithm to further verify the service composition modeland a sequence of generation, and using Pi calculus algorithm to describe Web servicemay the behavior of the action, verify that the service sequence generated by theseservices is compatible.