TY  - RPRT
VL  - Technical report TR-11-05
ID  - eprints180
PB  - Università di Pisa, Dipartimento di Informatica
A1  - Buscemi, Maria Grazia
A1  - Coppo, Mario
A1  - Dezani-Ciancaglini, Mariangiola
A1  - Montanari, Ugo
N2  - 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.
M1  - technical_report
Y1  - 2011/03/05/
TI  - Constraints for Service Contracts

AV  - none
UR  - http://compass2.di.unipi.it/TR/Files/TR-11-05.pdf.gz
ER  -