Academic Journals Database
Disseminating quality controlled scientific knowledge

A Formal Model for Abstracting the Interaction of Web Services

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

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.
Affiliate Program     

Tango Rapperswil
Tango Rapperswil