Browse by author
Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Coordinated Atomic Actions (CAAs) have been introduced about ten years ago as a conceptual framework for developing fault-tolerant concurrent systems. All the work done since then extended the CAA framework with the capabilities to model, verify, and implement concurrent distributed systems following pre-defined development methodologies. As a result, CAAs, compared to other approaches available, offer a rich set of means for engineering dependable systems. Nevertheless, it is sometimes difficult to have a global and analytical view of all the features available as this concept provides a number of features which need to be applied in combination. The main contribution of this paper is in presenting a complete state-of-the-art overview of the work done around CAAs from the three perspectives: the definitions of the fundamental concepts, their various semantics and the means supporting formal verification. This paper is useful for the potential CAAs users in helping them to avoid misinterpretation when employing all the available features. Finally, our paper should contribute in better understanding of the likely directions in which the CAA framework may evolve in the near future. © 2007 IEEE.
Author(s): Gallina B, Guelfi N, Romanovsky A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Proceedings - International Symposium on Software Reliability Engineering, ISSRE
Year of Conference: 2007
Pages: 29-38
Publisher: IEEE
URL: http://dx.doi.org/10.1109/ISSRE.2007.10
DOI: 10.1109/ISSRE.2007.10
Library holdings: Search Newcastle University Library for this item
ISBN: 0769530249
