Composing Web Services with PEWS: A Trace-Theoretical Approach

PEWS is an interface description language for both individual and composed Web services. Individual Web services are expressions over WSDL-defined operations while composed Web services are expressions over PEWS-defined services. This paper distinguishes two dimensions of PEWS. The control dimension describes the control workflow of the service, i.e. the order in which the operations of the Web service will be executed. No data constraints are imposed. The data dimension adds information flow to the control dimension. In order to analyse the composability and the substitutability of composed services, we introduce a trace-theoretical presentation of the language constructs. Our long-term goal is to integrate PEWS into a Web service design system that checks useful properties of the service specification

[1]  David H. Akehurst,et al.  Validating BPEL Specifications using OCL , 2004 .

[2]  Wil M. P. van der Aalst,et al.  Analysis of Web Services Composition Languages: The Case of BPEL4WS , 2003, ER.

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

[4]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[5]  Xiang Fu,et al.  Realizability of conversation protocols with message contents , 2004 .

[6]  Antoni W. Mazurkiewicz,et al.  Trace Theory , 1986, Advances in Petri Nets.

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

[8]  Volker Diekert,et al.  The Book of Traces , 1995 .

[9]  Annapaola Marconi,et al.  Automated synthesis of composite BPEL4WS Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[10]  Thomas A. Henzinger,et al.  Web service interfaces , 2005, WWW '05.

[11]  Wojciech Zielonka,et al.  The Book of Traces , 1995 .

[12]  W.M.P. van der Aalst,et al.  Analyzing BPEL processes using Petri nets , 2005 .

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

[14]  Karen A. Loveland,et al.  LARGE SCALE , 1991 .

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

[16]  Cheikh Ba,et al.  PEWS: A New Language for Building Web Service Interfaces , 2005, J. Univers. Comput. Sci..

[17]  Martin A. Musicante,et al.  Expressing Workflow Patterns for Web Services: The Case of PEWS , 2006, J. Univers. Comput. Sci..

[18]  Fabio Casati,et al.  Compatibility and replaceability analysis for timed web service protocols , 2005, BDA.

[19]  Boi Faltings,et al.  Large scale, type-compatible service composition , 2004 .