eprintid: 180
rev_number: 10
eprint_status: archive
userid: 29
dir: disk0/00/00/01/80
datestamp: 2011-03-08 10:51:00
lastmod: 2014-01-24 14:16:45
status_changed: 2011-03-08 10:51:00
type: monograph
metadata_visibility: show
item_issues_count: 0
creators_name: Buscemi, Maria Grazia
creators_name: Coppo, Mario
creators_name: Dezani-Ciancaglini, Mariangiola
creators_name: Montanari, Ugo
creators_id: m.buscemi@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: Constraints for Service Contracts

ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
monograph_type: technical_report
abstract: This paper focuses on client-service interactions distinguishing between three phases: negotiate, commit and execute. The participants negotiate their behaviours, and if an agreement is reached they commit and start an execution which is guaranteed to respect the interaction scheme agreed upon. These ideas are materialised through a calculus of contracts enriched with semiring-based constraints, which allow clients to choose services and to interact with them in a safe way. A concrete representation of these constraints with logic programs and logic program combinations is straightforward, thus reducing constraint solution (and consequently the establishment of a contract) to the execution of a logic program.
date: 2011-03-05
date_type: published
number:  
publisher: Università di Pisa, Dipartimento di Informatica
id_number: Technical report TR-11-05
institution: IMT Institute for Advanced Studies Lucca
official_url: http://compass2.di.unipi.it/TR/Files/TR-11-05.pdf.gz
citation:   Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo  Constraints for Service Contracts.  Technical Report  # /2011    Università di Pisa, Dipartimento di Informatica