HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
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