Behavioral contracts are abstract descriptions of the commu- nications 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 compli- ance. Moreover, compliance and subcontract relation are both decidable in polynomial time.

Retractable and Speculative Contracts

DE' LIGUORO, Ugo
2017-01-01

Abstract

Behavioral contracts are abstract descriptions of the commu- nications 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 compli- ance. Moreover, compliance and subcontract relation are both decidable in polynomial time.
2017
COORDINATION 2017
Neuchâtel, Svizzera
19-22 Giugno 2017
Lecture Notes in Computer Science. Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017
Springer
10319
119
137
978-3-319-59745-4
978-3-319-59746-1
Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo
File in questo prodotto:
File Dimensione Formato  
2017 Barbanera Lanese dL - Retractable and Speculative Contracts (preprint).pdf

Accesso riservato

Descrizione: Articolo principale
Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 484.89 kB
Formato Adobe PDF
484.89 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1641515
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 2
social impact