TY  - CHAP
T2  - Proceedings Foundations for Interface Technologies (FIT?10).
PB  - Electronic Proceedings in Theoretical Computer Science
N2  - 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.
ID  - eprints115
EP  - 27
ED  - Legay, Axel
ED  - Caillaud, Benoît
UR  - http://dx.doi.org/10.4204/EPTCS.46.2
A1  - Buscemi, Maria Grazia
A1  - Melgratti, Hernán C.
M1  - 46
Y1  - 2011/01//
SP  - 9
TI  - Contracts for Abstract Processes in Service Composition
T3  - Electronic Proceedings in Theoretical Computer
AV  - public
N1  - ©M.G. Buscemi & H. Melgratti
This work is licensed under the
Creative Commons Attribution License.
ER  -