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