Title :
A novel Model for Web Service and its semantics
Author :
Bao, Li ; Zhang, Weishi ; Zhang, Xiuguo
Author_Institution :
Dept. of Comput. Sci. & Technol., Dalian Maritime Univ., Dalian
Abstract :
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.
Keywords :
Web services; calculus of communicating systems; formal languages; interactive systems; Web service; calculus of communicating system; formal languages; formal semantics; interaction structure; service composition languages; Application software; Calculus; Carbon capture and storage; Computer science; Object oriented modeling; Ontologies; Petri nets; Web and internet services; Web services; XML;
Conference_Titel :
Automation Congress, 2008. WAC 2008. World
Conference_Location :
Hawaii, HI
Print_ISBN :
978-1-889335-38-4
Electronic_ISBN :
978-1-889335-37-7