Web service interfaces

We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies the methods that can be called by a client, together with types of input and output parameters; these are called signature constraints. Second, the interface may specify propositional constraints on method calls and output values that may occur in a web service conversation; these are called consistency constraints. Third, the interface may specify temporal constraints on the ordering of method calls; these are called protocol constraints. The interfaces can be used to check, first, if two or more web services are compatible, and second, if a web service A can be safely substituted for a web service B. The algorithm for compatibility checking verifies that two or more interfaces fulfill each others' constraints. The algorithm for substitutivity checking verifies that service A demands fewer and fulfills more constraints than service B.

[1]  I. V. Ramakrishnan,et al.  CTR-S: a logic for specifying contracts in semantic web services , 2004, WWW Alt. '04.

[2]  Hussein Zedan,et al.  Augmenting semantic web service descriptions with compositional specification , 2004, WWW '04.

[3]  Marco Pistore,et al.  Requirements-Driven Verication of Web Services ? , 2004 .

[4]  Shin Nakajima,et al.  Model-Checking of Safety and Security Aspects in Web Service Flows , 2004, ICWE.

[5]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[6]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[7]  Xiang Fu,et al.  Realizability of conversation protocols with message contents , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[8]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[9]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[10]  Jia Zhang,et al.  WS-Net: a Petri-net based specification model for Web services , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[11]  Daniela Florescu,et al.  XL: an XML programming language for web service specification and composition , 2002, Comput. Networks.

[12]  Scott Anderson,et al.  Supply Chain Management Use Case Model , 2003 .

[13]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[14]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[15]  Rajeev Alur,et al.  Visibly pushdown languages , 2004, STOC '04.

[16]  Prabir Nandi,et al.  Conversation-enabled Web Services for Agents and e-Business , 2002, International Conference on Internet Computing.

[17]  Thomas A. Henzinger,et al.  Resource Interfaces , 2003, EMSOFT.

[18]  Marco Pistore,et al.  Requirements-Driven Verification of Web Services , 2004, Electron. Notes Theor. Comput. Sci..

[19]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[20]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[21]  Xiang Fu,et al.  WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.

[22]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[23]  Sebastián Uchitel,et al.  Compatibility verification for Web service choreography , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[24]  Thomas A. Henzinger,et al.  Timed Interfaces , 2002, EMSOFT.

[25]  Leslie Lamport,et al.  Formal specification of a Web services protocol , 2007, J. Log. Algebraic Methods Program..