Code-data consistency in Ada

  • Vincent M. Celier
  • Drasko Sotirovski
  • Christopher J. Thompson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1251)


This paper describes the difficulties that the authors have experienced in maintaining existential consistency between Ada code and the various persistent storages that the code depends on. It identifies certain patterns in the existential relationship between the code and data, and describes how Ada's expressive power and ASIS (Ada Semantic Interface Specification) have been used to overcome these difficulties.


Ada Ada Semantic Interface Specification Air Traffic Control 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    ISO/IEC 8652:1995, Information Technology — Programming Languages, their environments and system software interfaces — Programming Language Ada.Google Scholar
  2. [2]
    Association for Computing Machinery (ACM) Special Interest Group in Ada (SIGAda) ASISWG/ISO/IEC JTC 1 SC 22/WG 9 ASISRG, ASIS WOrking Draft, Version 2.0.j, 1 November 1996, available World Wide Web site at hppt:// Scholar
  3. [3]
    Architecture of ASIS — A tool to Support Code Analysis of Complex Systems, Colket, et el. ACM Ada Letters, Volume XVII, Jan/Feb 1997Google Scholar
  4. [4]
    Philippe Kruchten & Christopher Thompson, “An Object-Oriented, Distributed Architecture for Large Scale Ada Systems,” Proceedings of the TRI-Ada '94 Conference, Baltimore, November 6–11, 1994, ACMGoogle Scholar
  5. [5]
    Ch. J. Thompson and V. Celier, “DVM: an object-oriented framework for building large distributed Ada systems,” Proc. of Tri-Ada'95, Anaheim, Ca., Nov. 1995, pp.Google Scholar
  6. [6]
    Philippe Kruchten, Christopher J. Thompson, “Iterative Software Development for Large Ada Programs,” Alfred Strohmeier (Ed.), Reliable Software Technologies — Ada-Europe'96: proceedings, Lecture Notes in Computer Science, vol 1088, Springer, Ada-Europe International Conference on Reliable SoftwareTechnologies Montreux, Switzerland, June 10–14 1996, ISBN 3-540-61317-XGoogle Scholar
  7. [7]
    ISO/IEC 12227:1994, Information Technology — Programming languages, their environments and system software interfaces — SQL/Ada Module Description Language SAMeDLGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Vincent M. Celier
    • 1
  • Drasko Sotirovski
    • 1
  • Christopher J. Thompson
    • 1
  1. 1.Hughes Aircraft of CanadaRichmondCanada

Personalised recommendations