Retractable and Speculative Contracts - Coordination Models and Languages (COORDINATION 2017)
Conference Papers Year : 2017

Retractable and Speculative Contracts

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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 View
144 Download

Altmetric

Share

More