Logo eprints

Constraints for Service Contracts

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

Full text not available from this repository.


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.

Item Type: Working Paper (Technical Report)
Identification Number: Technical report TR-11-05
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 29 not found.
Date Deposited: 08 Mar 2011 10:51
Last Modified: 24 Jan 2014 14:16
URI: http://eprints.imtlucca.it/id/eprint/180

Actions (login required)

Edit Item Edit Item