This document describes an approach to support network applications, that is client-server applications with a dynamic number of short-lived clients, within the original Ada 95 distributed systems model. The conformance of this concept with the Ada Standard is verified. An implementation based on Glade, the implementation for the GNAT compiler of Annex E of the Ada Reference Manual, is presented, highlighting the necessary modifications to the configuration language and the run-time system.
Denis Gillet, Christophe Salzmann, Wissam Halimi, Hagop Jamkojian
Joseph Sifakis, Simon Bliudze, Qiang Wang