When are Two Web Services Compatible?

Abstract

Whether two web services are compatible depends not only on static properties like the correct typing of their message parameters, but also on their dynamic behaviour. Providing a simple description of the service behaviour based on process-algebraic or automata-based formalisms can help detecting many subtle incompatibilities in their interaction. Moreover, this compatibility checking can to a large extent be automated if we define the notion of compatibility in a sufficiently formal way. Based on a simple behavioural representation, we survey, propose and compare a number of formal definitions of the compatibility notion, and we illustrate them on simple examples.

DOI: 10.1007/978-3-540-31811-8_2

2 Figures and Tables

Statistics

02040'04'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

215 Citations

Semantic Scholar estimates that this publication has 215 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Bordeaux2004WhenAT, title={When are Two Web Services Compatible?}, author={Lucas Bordeaux and Gwen Sala{\"{u}n and Daniela Berardi and Massimo Mecella}, booktitle={TES}, year={2004} }