On the Realizability of Contracts in Dishonest Systems

Abstract : We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon — unlike in traditional approaches based on behavioural types. We consider the contracts of [10], and we embed them in a calculus that allows distributed participants to advertise contracts, reach agreements, query the fulfilment of contracts, and realise them (or choose not to). Our contract theory makes explicit who is culpable at each step of a computation. A participant is honest in a given context S when she is not culpable in each possible interaction with S. Our main result is a sufficient criterion for classifying a participant as honest in all possible contexts.
Type de document :
Communication dans un congrès
Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.245-260, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_17〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01529594
Contributeur : Hal Ifip <>
Soumis le : mercredi 31 mai 2017 - 09:59:58
Dernière modification le : mercredi 31 mai 2017 - 10:00:58
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 14:44:39

Fichier

978-3-642-30829-1_17_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino. On the Realizability of Contracts in Dishonest Systems. Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.245-260, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_17〉. 〈hal-01529594〉

Partager

Métriques

Consultations de la notice

40

Téléchargements de fichiers

14