Retractable and Speculative Contracts - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Retractable and Speculative Contracts

Résumé

Behavioral contracts are abstract descriptions of the communications that clients and servers perform. Behavioral contracts come naturally equipped with a notion of compliance: when a client and a server follow compliant contracts, their interaction is guaranteed to progress or successfully complete. We study two extensions of contracts, dealing respectively with backtracking and with speculative execution. We show that the two extensions give rise to the same notion of compliance. As a consequence, they also give rise to the same subcontract relation, which determines when one server can be replaced by another preserving compliance. Moreover, compliance and subcontract relation are both decidable in polynomial time.
Fichier principal
Vignette du fichier
mainCOORD.pdf (484.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01633262 , version 1 (12-11-2017)

Identifiants

Citer

Franco Barbanera, Ivan Lanese, Ugo de 'Liguoro. Retractable and Speculative Contracts. 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩. ⟨hal-01633262⟩
149 Consultations
144 Téléchargements

Altmetric

Partager

More