%0 Conference Proceedings
%T Fault in the Future
%+ University of Oslo (UiO)
%+ Foundations of Component-based Ubiquitous Systems (FOCUS)
%A Broch Johnsen, Einar
%A Lanese, Ivan
%A Zavattaro, Gianluigi
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th Conference on Coordination Models and Languages (COORDINATION)
%C Reykjavik, Iceland
%Y Wolfgang Meuter
%Y Gruia-Catalin Roman
%I Springer
%3 Coordination Models and Languages
%V LNCS-6721
%P 1-15
%8 2011-06-06
%D 2011
%R 10.1007/978-3-642-21464-6_1
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01582997/document
%2 https://inria.hal.science/hal-01582997/file/978-3-642-21464-6_1_Chapter.pdf
%L hal-01582997
%U https://inria.hal.science/hal-01582997
%~ INRIA
%~ INRIA-SOPHIA
%~ INRIASO
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-6721