| For the Service system Architecture (Service Oriented Architecture, SOA) - was the latest development direction of distributed computing and software development ,Web Service is one field of of the SOA, its value lies in Service reuse, Web Service combination technology is loosecoupling, Services can solve complex intergration problems.In order to ensure the correctness of Web service composition.We can use formal methods on Web service composition to be tested. Formalization and validation of service Web service is one of the important research field of Web service. Formal models of Web services composition can be used to check and verify the Web service composition to ensure the correctness of the composition. Web services composition involving multiple Web service integration, this feature enables Web services composition validation more difficult.Pi calculus is a mobile process algebra, which can be used to modeling and formaling concurrent and dynamic system. This paper illustrates the differences between Pi calculus and the prior formal method , analyzes the issues in Web servic combination based Pi calculus. Finally established practical models, and used the formal tools to verify the correctness of combination model. |
PDF Full Text Request