Ada Semantic Interface Specification

Ada Semantic Interface Specification (ASIS)
Developer(s)	Language Lawyers, Ada Lovelace
Target platform(s)	Ada Programming Language Applications and Static Analysis
Status	Active
License	Proprietary

The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor-independent access to the Ada Library Environment. It allows for the static analysis of Ada programs and libraries. It is an open, published interface library that consists of the Ada environment and their tools and applications.

As explained by the ASIS Working Group:

“ASIS is an interface between an Ada environment as defined by ISO/IEC 8652:1995 (the Ada Reference Manual) and any tool requiring information from this environment” (SIGAda, 2020)

It is exclusively used for programming language applications and static analysis on Ada programs, therefore giving the relevant information and access to Computer-aided software engineering (CASE) and applicable developers. ASIS also has the ability in utilizing the relevant software engineering tools whilst also embodying an easy understanding of the complexities of an Ada environment display. In addition, it provides procedures, functions and relevant information that can be significantly used to access exclusive information found in reference manuals and the Abstract Syntax Tree (AST). Which in return will advance ASIS to the capability of being portable to transport and retain information and terminology of Ada tools.^[1]

“ASIS consists of 21 packages, 2 are optional and within these packages define 349 queries”.^[2] ASIS will also consist of a package which within it includes child packages that include “Errors Compilation units, Ada environments, implementation, exceptions, elements, iterator, declarations, expressions, clauses, definitions, statements, text and Ids”.^[3]

Overall ASIS is simply a straightforward way to collect data from an ADA program and increases any of the Ada tools portability.

^ Sward, Ricky E.; Chamillard, A. T. (2004). "Re-engineering global variables in Ada". Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies. Vol. XXIV. Atlanta, Georgia, USA: ACM Press. pp. 29–34. doi:10.1145/1032297.1032303. ISBN 978-1-58113-906-8. S2CID 31415676.
^ Strohmeier, Alfred; Fofanov, Vasiliy; Rybin, Sergey; Barbey, Stéphane (1998). "Quality-for-ASIS: A portable testing facility for ASIS". In Asplund, Lars (ed.). Reliable Software Technologies — Ada-Europe. Lecture Notes in Computer Science. Vol. 1411. Berlin, Heidelberg: Springer. pp. 163–175. doi:10.1007/BFb0055003. ISBN 978-3-540-69802-9.
^ Colket, William Currie (September 1999). "Code analysis of saftey-critical [sic] and real-time software using ASIS". ACM SIGAda Ada Letters. XIX (3): 67–76. doi:10.1145/319295.319306. ISSN 1094-3641.

[1] Sward, Ricky E.; Chamillard, A. T. (2004). "Re-engineering global variables in Ada". Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies. Vol. XXIV. Atlanta, Georgia, USA: ACM Press. pp. 29–34. doi:10.1145/1032297.1032303. ISBN 978-1-58113-906-8. S2CID 31415676.

[2] Strohmeier, Alfred; Fofanov, Vasiliy; Rybin, Sergey; Barbey, Stéphane (1998). "Quality-for-ASIS: A portable testing facility for ASIS". In Asplund, Lars (ed.). Reliable Software Technologies — Ada-Europe. Lecture Notes in Computer Science. Vol. 1411. Berlin, Heidelberg: Springer. pp. 163–175. doi:10.1007/BFb0055003. ISBN 978-3-540-69802-9.

[Colket_67–76-3] Colket, William Currie (September 1999). "Code analysis of saftey-critical [sic] and real-time software using ASIS". ACM SIGAda Ada Letters. XIX (3): 67–76. doi:10.1145/319295.319306. ISSN 1094-3641.

[1]

[2]

[3]