Skip to Main content Skip to Navigation
New interface
Conference papers

Fault Model Design Space for Cooperative Concurrency

Ivan Lanese 1, 2 Michael Lienhardt 1, 2 Mario Bravetti 1, 2 Volker Stolz 3 Rudolf Schlatte 3 Einar Broch Johnsen 3 Gianluigi Zavattaro 1, 2 
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : This paper critically discusses the different choices that have to be made when defining a fault model for an object-oriented programming language. We consider in particular the ABS language, and analyze the interplay between the fault model and the main features of ABS, namely the cooperative concurrency model, based on asynchronous method invocations whose return results via futures, and its emphasis on static analysis based on invariants.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Monday, December 1, 2014 - 3:21:54 PM
Last modification on : Wednesday, February 2, 2022 - 3:56:17 PM
Long-term archiving on: : Monday, March 2, 2015 - 1:34:14 PM


Files produced by the author(s)




Ivan Lanese, Michael Lienhardt, Mario Bravetti, Volker Stolz, Rudolf Schlatte, et al.. Fault Model Design Space for Cooperative Concurrency. ISOLA 2014, Oct 2014, Corfu, Greece. pp.22 - 36, ⟨10.1007/978-3-662-45231-8_3⟩. ⟨hal-01089341⟩



Record views


Files downloads