Toggle Main Menu Toggle Search

Open Access padlockePrints

A study of atomic action schemes intended for standard Ada

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.


Although the number of proposals discussing various atomic action schemes is increasing, these schemes are very rarely used in designing practical applications. To a large extent, this is accounted for by the gap existing between the languages used in research and the standard or widely spread languages (e.g. C, C++, Ada 83, Ada 95, Java) employed by practitioners. Moreover, very often researchers extend languages with new features or invent new languages to express their ideas better. Even though these approaches seem to be quite natural, they widen the gap between practice and research. To bridge this gap, we should consider fault tolerance schemes in terms of a standard language, taking the language itself for granted. The question which we believe should be addressed is how to use/implement a particular scheme in these languages rather than how to modify the language. Only in this way the schemes could be used directly and the application domains of atomic action schemes extended. The main intention of this paper is to summarise research that has been done in the last years in designing various atomic action and conversation schemes in Ada 83 and Ada 95. This should give a fuller picture of the existing schemes for researchers and help practitioners to choose the appropriate schemes. We would also like to raise and discuss some questions concerned with moving fault tolerance schemes into standard languages and environments. Finally, we intend to discuss the likely directions of future research in this area. © 1998 Elsevier Science Inc. All rights reserved.

Publication metadata

Author(s): Romanovsky A

Publication type: Article

Publication status: Published

Journal: Journal of Systems and Software

Year: 1998

Volume: 43

Issue: 1

Pages: 29-44

Print publication date: 01/10/1998

ISSN (print): 0164-1212

ISSN (electronic): 1873-1228

Publisher: Elsevier


DOI: 10.1016/S0164-1212(98)10020-1


Altmetrics provided by Altmetric