Toggle Main Menu Toggle Search

Open Access padlockePrints

Coordinated atomic actions for dependable distributed systems: The current state in concepts, semantics and verification means

Lookup NU author(s): 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.

Publication metadata

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


DOI: 10.1109/ISSRE.2007.10

Library holdings: Search Newcastle University Library for this item

ISBN: 0769530249