A novel Model for Web Service and its semantics

There is a lack of model for modeling and analyzing the interaction structure of web services. A model called interaction model for Web service (IMWS for short) was put forward in this paper. IMWS includes the key elements that need to be considered when simulating web service interaction. It was given a formal semantics by means of calculus of communicating system (CCS for short). This semantics are useful in determining whether or not an instance of IMWS satisfies the desired properties. We show on a case study that IMWS are effective at abstracting the interaction process. Most existing methods mechanically translate service composition languages into formal languages. compared to these methods, IMWS can be used to describe the interaction structure of web services in the early design stage and is effective at guaranteeing the correct structure of a web service composition.