Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/12784
Title: Contract-oriented computing in CO
Authors: Bartoletti, M.
Tuosto, Emilio
Zunino, R.
First Published: 2012
Citation: Scientific Annals of Computer Science, 2012, 22 (1), pp. 5-60
Abstract: We present CO[subscript: 2], a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among participants happens via multi-party sessions, which are created once agreements are reached. We present two instances of our calculus, by modelling contracts as processes in a variant of CCS, and as formulae in a logic. We formally relate the two paradigms, through an encoding from contracts-as-formulae to contracts-as-processes which ensures that the promises deducible in the logical system are exactly those reachable by its encoding as a process. Finally, we present a coarse-grained taxonomy of possible misbehaviours in contract-oriented systems, and we illustrate them with the help of a variety of examples.
DOI Link: 10.7561/SACS.2012.1.5
ISSN: 1843-8121
Links: http://hdl.handle.net/2381/12784
Type: Journal Article
Rights: Copyright © Scientific Annals of Computer Science 2012
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.