Drago: An Ada extension to program fault-tolerant distributed applications

Abstract

© Springer-Verlag Berlin Heidelberg 1996.This paper describes Drago, an experimental language designed to support the implementation of fault-tolerant distributed applications. The language is the result of an effort to impose discipline and give linguistic support to the main concepts of Isis, as well as to experiment with the group communication paradigm. Drago has been designed and implemented as an extension to Ada 83. In this paper we introduce Drago, give some simple examples of its use, and briefly discuss its implementation. Drago is also compared with the Distributed Annex of Ada 95.