Modeling the Interaction of Web Services with IMWS
Xiong Xie · 2008
This paper addresses the issues of modeling and analyzing the interaction of web services when they are put together.Many subtle errors such as absence of counterpart actions and abnormal termination may occur due to uncontrolled concurrency of web services.A model named IMWS(Interaction Module for Web Service,IMWS for short) is proposed.The proposed model is used to abstract and analyze the interaction of web services.IMWS 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.