%0 Book Section
%A Buscemi, Maria Grazia
%A Melgratti, Hernán C.
%B Proceedings Foundations for Interface Technologies (FIT’10).
%D 2011
%E Legay, Axel
%E Caillaud, Benoît
%F eprints:115
%I Electronic Proceedings in Theoretical Computer Science
%P 9-27
%S Electronic Proceedings in Theoretical Computer
%T Contracts for Abstract Processes in Service Composition
%U http://eprints.imtlucca.it/115/
%V 46
%X 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.
%Z ©M.G. Buscemi & H. Melgratti  This work is licensed under the  Creative Commons Attribution License.