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

https://hal.inria.fr/hal-01089341
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

File

isola2014.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

125

Files downloads

105