Contracts for Abstract Processes in Service Composition

Maria Grazia Buscemi
Hernán Melgratti

Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.

In Axel Legay and Benoît Caillaud: Proceedings Foundations for Interface Technologies (FIT 2010), Paris, France, 30th August 2010, Electronic Proceedings in Theoretical Computer Science 46, pp. 9–27.
Published: 22nd January 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.46.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org