What if contracts are violated?

Post date: 12-Feb-2012 22:04:44

Talk at Workshop on Contracts and Behavioural Types (CoTiCo), Lucca 3 Feb 2012

What if contracts are violated?

Massimo Bartoletti

Abstract. We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon. A calculus of contracting processes is presented, which combines features from concurrent constraints and calculi for multiparty sessions, while abstracting from the actual model for contracts. Processes may advertise contracts, reach agreements, query the

fulfilment of contracts, and realise them (or choose not to).

References:

• M. Bartoletti, E. Tuosto, R. Zunino. On the realizability of contracts in dishonest systems. Technical Report, CoRR abs/1201.6188, 2012
• M. Bartoletti, E. Tuosto and R. Zunino. Contracts in Distributed Systems. In Proc. Interaction and Concurrency Experience (ICE), 2011