Retractable and Speculative Contracts
- Others:
- University of Catania [Italy]
- Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- Dipartimento di Informatica [Torino] ; Università degli studi di Torino = University of Turin (UNITO)
- Jean-Marie Jacquet
- Mieke Massink
- TC 6
- WG 6.1
- European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015)
- European Project: COST Action CA15123 ,COST - European Cooperation in Science and Technology,EUTYPES(2016)
Description
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.
Abstract
Part 3: Types
Abstract
International audience
Additional details
- URL
- https://hal.inria.fr/hal-01633262
- URN
- urn:oai:HAL:hal-01633262v1
- Origin repository
- UNICA