Skip to Main content Skip to Navigation
New interface
Conference papers

Fault in the Future

Einar Broch Johnsen 1 Ivan Lanese 2 Gianluigi Zavattaro 2 
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : In this paper we consider the problem of fault handling inside an object-oriented language with asynchronous method calls whose results are returned inside futures. We present an extension for those languages where futures are used to return fault notifications and to coordinate error recovery between the caller and callee. This can be exploited to ensure that invariants involving many objects are restored after faults.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, September 6, 2017 - 2:55:09 PM
Last modification on : Wednesday, February 2, 2022 - 3:56:18 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro. Fault in the Future. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩. ⟨hal-01582997⟩



Record views


Files downloads