Author(s): Li Bao | Weishi Zhang | Xiong Xie
Journal: Journal of Computers
ISSN 1796-203X
Volume: 5;
Issue: 1;
Start page: 91;
Date: 2010;
Original page
Keywords: Web Service | Interaction | Formal Method | IMWSC
ABSTRACT
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.
Journal: Journal of Computers
ISSN 1796-203X
Volume: 5;
Issue: 1;
Start page: 91;
Date: 2010;
Original page
Keywords: Web Service | Interaction | Formal Method | IMWSC
ABSTRACT
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.
