Translating WSDL to Pi Calculus based Model for Web Services

摘要

Pi calculus is the concurrency theory focusing on mobile communication during processes, which is the development of Calculus of Communication System (CCS). Its basic computing entities are names and processes, and the communication between the processes is completed by transferring names. From the aspect of techniques, Web services' value is the reuse of services, and the aim of reuse is to make services add values. A complex Web service is the composition of many atomic Web services which communicate and incorporate with each other. In order to solve the problem of Web services composition, academic field and industrial field have provided many methods. Generally speaking, these methods can be classified into two categories: one is workflow based Web services composition, such as BPEL4WS, which always uses Petri nets and Pi calculus to model and verify, the other is AI planning based Web services composition, such as semantic Web services. This paper firstly describes the basic principles of Web service composition and Pi calculus, and analyzes the problems of Web services composition using Pi calculus, and then discusses the correctness of the translation between WSDL to Pi calculus based model for Web services composition. This paper introduces how to use process algebra to model Web services composition, describes PICM2WSDL (Pi-calculus model to WSDL) model in details, and addresses how to translate the model to WSDL, lastly verifies the correctness of ".wsdl".