Distributed atomic actions in Ada 95

This paper discusses the development of a distributed asynchronous atomic a ction scheme for Ada 95. The scheme makes use of many unique Ada 95 feature s including protected objects, asynchronous transfer of control and the dis tributed systems annex. We present the packages which implement the local a nd global action support and illustrate their use in a (partial) implementa tion of the FZI production cell problem. We also discuss a number of variat ions of the model and how these might be included. Finally, we discuss how the distribution model used in Ada 95 has influenced our design.