A Formal Model For Abstracting The Interaction Of Web Services

This paper addresses the problems of modeling the interaction of Web services when they are composed together. Many subtle errors such as message not received and deadlock may occur due to uncontrolled concurrency of Web services. A model called IMWSC (Interaction Module for Web Service Composition, IMWSC for short) is proposed. The proposed model is used to abstract and analyze the interaction of web services. IMWSC is given a formal semantics by means of CCS (Calculus of Communicating System, CCS for short), which is a kind of process algebra that can be used to model concurrent systems. The application of this model is further investigated in a case study. Some important points related to verify the correctness of interaction of Web service are discussed.