PEWS: A New Language for Building Web Service Interfaces

Recent proposals in the domain of interface description languages for web services stress the importance of specifying the dynamic, behavioral aspects of the services. The goal of this paper is to introduce a new interface description language, called PEWS, that uses predicate path expressions to define web service behaviours. Our proposal represents a simple but expressive way to describe order and conditional constraints over web service operations. PEWS aims to be used not only to the speci- fication of simple web services but also to be a tool for describing service composition. In this paper, we use the Action Semantics framework to present the syntax and seman- tics of the most significant parts of PEWS and we introduce XPEWS, the XML-based version of PEWS used to publish service behaviours for future searches and composi- tion. The definition of XPEWS is done by giving the XML Schema that defines the syntax of XPEWS programs.

[1]  Massimo Mecella,et al.  Finite State Automata as Conceptual Model for E-Services , 2004, Trans. SDPS.

[2]  Glynn Winskel,et al.  The formal semantics of programming languages - an introduction , 1993, Foundation of computing series.

[3]  Sanjiva Weerawarana,et al.  Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI , 2002, IEEE Internet Computing.

[4]  Roy H. Campbell.  Path expressions : a technique for specifying process synchronization , 1976 .

[5]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[6]  Daniela Berardi,et al.  Automatic Composition of e-Services , 2003 .

[7]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[8]  David A. Watt.  Programming language syntax and semantics , 1991, Prentice Hall International Series in Computer Science.

[9]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[10]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[11]  Roy H. Campbell,et al.  The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[12]  Peter D. Mosses,et al.  Composing programming languages by combining action-semantics modules , 2001, Sci. Comput. Program..

[13]  Bernd Brügge,et al.  Generalized path expressions: A high level debugging mechanism (Preliminary Draft) , 1983, SIGSOFT '83.

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

[15]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[16]  Adam Arkin.  Business process Modeling Language , 2002 .

[17]  Peter D. Mosses.  Action Semantics , 1986, ADT.

[18]  A. N. Habermann,et al.  Towards the construction of verifiable software systems , 1976, SIGMOD 1976.

[19]  W.M.P. van der Aalst,et al.  Don't go with the flow: web services composition standards exposed , 2003 .

[20]  Greg Meredith,et al.  Contracts and types , 2003, CACM.

[21]  Elias Procópio Duarte,et al.  Formal specification of SNMP MIB's using action semantics: the routing proxy case study , 1999, Integrated Network Management VI. Distributed Management for the Networked Millennium. Proceedings of the Sixth IFIP/IEEE International Symposium on Integrated Network Management. (Cat. No.99EX302).

[22]  Sten F. Andler,et al.  Predicate path expressions , 1979, POPL.

[23]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004 .