What future for the distributed systems annex?

ABSTRACT

In this paper, we report our experience as implementors and users of the Ada 95 Distributed Systems Annex (annex E of the Ada reference manual). We identify the principal strengths and weaknesses of the annex, and make some proposals to improve it either immediately or for the next revision of the language (Ada0X). Our goal is to get an annex that is more open and compatible with other distributed systems such as CORBA, without loosing the capability of developing pure Ada rock solid distributed systems.We assume that the reader is familiar with Ada. Knowledge of the Distributed Systems Annex is useful but not required to understand the main ideas exposed in this article.

REFERENCES

• 1: F. Azavant, J.-M. Cottin, L. Kubler, V. Niebel, and S. Ponce. AdaBroker, using OmniORB2 from Ada. Technical report, ENST Paris, March 1999.
• 2: R. Braden, L. Zhang, S. Berson, S. Herzog, and S. Jamin. Resource ReSerVation Protocol (RSVP)- Version 1 Functional Specification. Technical report, The Internet Society, September 1997. RFC 2205.
• 3: Dominique Canazzi, yaRTI, an Ada 95 HLA Run-Time Infrastructure, Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, p.187-198, June 07-11, 1999
• 4: J. Davis. The Power is Out There. Business 2.0, pages 102- 104, 1998.
• 5: S. Deering and R. Hinden. Internet Protocol, Version 6 (IPv6) Specification. Technical report, The Internet Society, December 1998. RFC 2460.
• 6: E. W. Dijkstra and C. S. Scholten. Termination detection for diffusing computations. Information Processing Letters, 11(1):1-4, Aug. 1980.
• 7: Nissim Francez, Corrigendum: “Distributed Termination”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.463, July 1980 [doi>10.1145/357103.357113]
• 8: Nissim Francez, Distributed Termination, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.42-55, Jan. 1980 [doi>10.1145/357084.357087]
• 9: C. Mohan, Technical Correspondence: On Francez's ``Distributed Termination'', ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.1, p.112, Jan. 1981 [doi>10.1145/357121.357131]
• 10: Anthony Gargaro, Towards distributed systems in Ada 9X, Proceedings of the conference on TRI-Ada '92, p.49-54, November 16-20, 1992, Orlando, Florida, United States [doi>10.1145/143557.143578]
• 11: Anthony Gargaro , Yvon Kermarrec , Laurent Pautet , Samuel Tardieu, PARIS - Partitioned Ada for Remotely Invoked Services, Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe, p.191-205, October 02-06, 1995
• 12: T. Gingold. BROCA: an Ada Object Request Broker. Master's thesis, 12cole Nationale Supdrieure des Tdldcommunications, July 1999.
• 13: ISO. Information Technology - Programming Languages - Ada. ISO, Feb. 1995. ISOfiEC/ANSI 8652:1995.
• 14: ISO. Information Technology - Programming Languages - Ada Semantic Interface Specification (ASIS). ISO, 1998.
• 15: Yvon Kermarrec, CORBA vs. Ada 95 DSA: a programmer's view, Proceedings of the 1999 annual ACM SIGAda international conference on Ada, p.39-46, October 17-21, 1999, Redondo Beach, California, United States
• 16: Yvon Kermarrec , Laurent Nana , Laurent Pautet, GNATDIST: a configuration language for distributed Ada 95 applications, Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, p.63-72, December 03-07, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/240678.240695]
• 17: Yvon Kermarrec , Laurent Pautet , Samuel Tardieu, GARLIC: generic Ada reusable library for interpartition communication, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.263-269, November 05-10, 1995, Anaheim, California, United States [doi>10.1145/376503.376591]
• 18: R. Labelle. Interface ATM pour Ada. Master thesis, 12cole Nationale Supdrieure des Tdldcommunications, July 1999.
• 19: F. Mattern. Algorithms for distributed termination detection. Distributed Computing, 2(3): 161-175, 1987.
• 20: C. Mohan, Technical Correspondence: On Francez's ``Distributed Termination'', ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.1, p.112, Jan. 1981 [doi>10.1145/357121.357131]
• 21: Scott Arthur Moody, Object-oriented real-time systems using a hybrid distributed model of Ada 95's built-in DSA capability (distributed systems annex-E) and CORBA, ACM SIGAda Ada Letters, v.XVII n.5, p.71-76, Sept./Oct. 1997
• 22: OMG, editor. The Common Object Request Broker: Architecture and Specification, revision 2.2. OMG, February 1998. OMG Technical Document formal/98-07-01.
• 23: I. L. Patton. Impact of Using the Ada 95 Distributed Annex vs. CORBA on the Development of a Distributed System. Master's thesis, George Mason University, Fairfax, Virginia, USA, June/Aug. 1998.
• 24: Laurent Pautet , Thomas Quinot , Samuel Tardieu, CORBA & DSA: Divorce or Marriage?, Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, p.211-225, June 07-11, 1999
• 25: Laurent Pautet , Thomas Quinot , Samuel Tardieu, CORBA and CORBA services for DSA, Proceedings of the 1999 annual ACM SIGAda international conference on Ada, p.31-38, October 17-21, 1999, Redondo Beach, California, United States
• 26: T. Quinot. Mapping the Ada 95 Distributed Systems Annex to OMG IDL- Specification and implementation. Master's thesis, 12cole Nationale Supdrieure des Tdldcommunications, July 1999.
• 27: John D. Riley, A comparison of two approaches to distributed application development in Ada: the Ada distributed systems annex and CORBA, Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, p.73-80, December 03-07, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/240678.240697]
• 28: John A. Stankovic , Krithi Ramamritham, Advances in Real-Time Systems, IEEE Computer Society Press, Los Alamitos, CA, 1993
• 29: Andrew S. Tanenbaum, Modern operating systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Design, Experimentation, Languages