Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.
Download (594Kb) | Preview
We propose a formal theory for contract-based computing. A contract is an agreement stipulated between two or more parties, which specifies the duties and the rights of the parties involved therein. We model contracts as formulae in an intuitionistic logic extended with a "contractual" form of implication. Decidability holds for our logic: this allows us to mechanically infer the rights and the duties deriving from any set of contracts. We embed our logic in a core calculus of contracting processes, which combines features from concurrent constraints and calculi for multiparty sessions, while subsuming several idioms for concurrency. We then show how to exploit our calculus as a tool for modelling services, the interaction of which is driven by contracts.
|Item Type:||Departmental Technical Report|
|Department or Research center:||Information Engineering and Computer Science|
|Subjects:||Q Science > QA Mathematics > QA075 Electronic computers. Computer science|
Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
|Repository staff approval on:||26 Oct 2009|
Available Versions of this Item
- A Calculus of Contracting Processes. (deposited 26 Oct 2009)[Currently Displayed]
Actions (login required)