Abstract
ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO standard, appears to be at a very low-level of abstraction compared to the needs of the tool developer. Higher-level interfaces and common libraries for specific needs should therefore be developed. The paper describes a ASIS secondary library providing abstractions and queries for analyzing object-oriented Ada code.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ada Semantic Interface Specification (ASIS); International Standard ISO/IEC 15291 1999 (E).
Currie Colket et all; Architecture of ASIS: A Tool to Support Code Analysis of Complex Systems; ACM Ada Letters, January 1997, vol. XVII,no.1, 1997, pp 35–40.
John Barnes (Ed.); Ada 95 Rationale: The Language, The Standard Libraries; Lecture Notes in Computer Science, vol. 1247; Springer-Verlag, 1997; ISBN 3-540-63143-7.
S. Tucker Taft, Robert A. Duff (Eds.); Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E); Lecture Notes in Computer Science, vol. 1246; Springer-Verlag, 1997; ISBN 3-540-63144-5.
Sergey Rybin, Alfred Strohmeier; Ada and ASIS: Justification of Differences in Terminology and Mechanisms; Proceedings of TRI-Ada’96, Philadelphia, USA, December 3–7, 1996, pp 249–254.
Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexei Kuchumov; ASIS-for-GNAT: A Report of Practical Experiences–Reliable Software Technologies–Ada-Europe’2000 Proceedings, Hubert B. Keller, Erhard Ploedereder (Eds), LNCS (Lecture Notes in Computer Science), vol. 1845, Springer-Verlag, 5th Ada-Europe International Conference, Potsdam, Germany, June 26–30, 2000, pp. 125–137.
James Rumbaugh, Ivar Jacobson, Grady Booch; The Unified Modeling Language Reference Manual; Addison-Wesley, 1999.
Sergey Rybin, Alfred Strohmeier, Eugene Zueff; ASIS for GNAT: Goals, Problems and Implementation Strategy; Proceedings of Ada-Europe’95, Toussaint (Ed.), LNCS (Lecture Notes in Computer Science) 1031, Springer, Frankfurt, Germany, October 2–6 1995, pp. 139–151.
Sergey Rybin, Alfred Strohmeier, Alexei Kuchumov, Vasiliy Fofanov; ASIS for GNAT: From the Prototype to the Full Implementation; Reliable Software Technologies–Ada-Europe’96: Proceedings, Alfred Strohmeier (Ed.), LNCS (Lecture Notes in Computer Science), vol. 1088, Springer, Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10–14, 1996, pp. 298–311.
Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey; Quality-for-ASIS: A Portable Testing Facility for ASIS; International Conference on Reliable Software Technologies–Ada-Europe’98, Uppsala, Sweden, June 2–8 1998, Lars Asplund (Ed.), LNCS (Lecture Notes in Computer Science), Springer-Verlag, 1998, pp. 163–175.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuchumov, A., Rybin, S., Strohmeier, A. (2001). OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. In: Craeynest, D., Strohmeier, A. (eds) Reliable SoftwareTechnologies — Ada-Europe 2001. Ada-Europe 2001. Lecture Notes in Computer Science, vol 2043. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45136-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-45136-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42123-8
Online ISBN: 978-3-540-45136-5
eBook Packages: Springer Book Archive