Composing Web Services with PEWS: A Trace-Theoretical Approach

Authors:
Cheikh Ba;Mirian Halfeld Ferrari;Martin A. Musicante
Affiliations:
Universite Francois-Rabelais de Tours, France/ BRGM, France;Universite Francois-Rabelais de Tours, France;Universidade Federal do Rio Grande do Norte, Brazil
Venue:
ECOWS '06 Proceedings of the European Conference on Web Services
Year:
2006

Citing 0
Cited 4

A programming environment for web services

Proceedings of the 2008 ACM symposium on Applied computing
Dependence graphs for verifications of web service compositions with PEWS

Proceedings of the 2008 ACM symposium on Applied computing
Inclusion problems in trace monoids

Cybernetics and Systems Analysis
PEWS platform: a web services composition environment

Proceedings of the 6th International Workshop on Enhanced Web Service Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

PEWS^1 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.