Skip to main content
SpringerLink
Log in

Code-data consistency in Ada

  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe '97 (Ada-Europe 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1251))

Included in the following conference series:

  • 125 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ISO/IEC 8652:1995, Information Technology — Programming Languages, their environments and system software interfaces — Programming Language Ada.

    Google Scholar 

  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://www.acm.org/sigada/WG/asiswg

    Google Scholar 

  3. Architecture of ASIS — A tool to Support Code Analysis of Complex Systems, Colket, et el. ACM Ada Letters, Volume XVII, Jan/Feb 1997

    Google Scholar 

  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, ACM

    Google Scholar 

  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. 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-X

    Google Scholar 

  7. ISO/IEC 12227:1994, Information Technology — Programming languages, their environments and system software interfaces — SQL/Ada Module Description Language SAMeDL

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hughes Aircraft of Canada, 13951 Bridgeport Road, B.C. V6V 1J6, Richmond, Canada

    Vincent M. Celier, Drasko Sotirovski & Christopher J. Thompson

Authors
  1. Vincent M. Celier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Drasko Sotirovski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christopher J. Thompson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Keith Hardy Jim Briggs

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Celier, V.M., Sotirovski, D., Thompson, C.J. (1997). Code-data consistency in Ada. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-63114-3_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63114-9

  • Online ISBN: 978-3-540-69150-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation