Fault Model Design Space for Cooperative Concurrency


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.

In Proc. Intl. Symposium on Leveraging Applications (ISoLA 2014). LNCS 8803. © Springer 2014.
Rudolf Schlatte
Rudolf Schlatte
Senior researcher