Paper Search Console

Home Search Page Alphabetical List About Contact

Journal Title

Title of Journal:

Search In Journal Title:

Abbravation:

Search In Journal Abbravation:

Publisher

Springer, Berlin, Heidelberg

Search In Publisher:

DOI

10.1016/0167-7012(89)90042-0

Search In DOI:

ISSN

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

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.


Keywords:

References


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


Search Result:



Help video to use 'Paper Search Console'