relation: http://eprints.imtlucca.it/115/
title: Contracts for Abstract Processes in Service Composition
creator: Buscemi, Maria Grazia
creator: Melgratti, Hernán C.
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Electronic Proceedings in Theoretical Computer Science
contributor: Legay, Axel
contributor: Caillaud, Benoît
date: 2011-01
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by
identifier: http://eprints.imtlucca.it/115/1/buscemi_melgratti_FIT10.pdf
identifier:   Buscemi, Maria Grazia and Melgratti, Hernán C.  Contracts for Abstract Processes in Service Composition.   In:  Proceedings Foundations for Interface Technologies (FIT’10).   Electronic Proceedings in Theoretical Computer, 46 .  Electronic Proceedings in Theoretical Computer Science, pp. 9-27.       (2011)  
relation: http://dx.doi.org/10.4204/EPTCS.46.2
relation: 10.4204/EPTCS.46.2