Paper Search Console

Home Search Page Alphabetical List About Contact

Journal Title

Title of Journal:

Search In Journal Title:


Search In Journal Abbravation:


Springer, Berlin, Heidelberg

Search In Publisher:



Search In DOI:


Search In ISSN:
Search In Title Of Papers:

When are Two Web Services Compatible?

Authors: Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella,

Publish Date: 2004/8/29
Volume: , Issue:, Pages: 15-28
PDF Link


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.



Search In Abstract Of Papers:
Other Papers In This Journal:

Search Result:

Help video to use 'Paper Search Console'