Ada Semantic Interface Specification
 |
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” (Strohmeier, Fofanov, Rybin & Barbey, 2006). 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” [2].
Overall ASIS is simply a straightforward way to collect data from an ADA program and increases any of the Ada tools portability.
Features of ASIS
Ada Semantic Interphase Specification under the ISO/IEC 8652 Ada 95 Reference Manual (Ada Language Referencing Manual, 1994) is defined as an interface amidst an Aria environment and other tools requiring information from the Aria environment.
Features of ASIS based tools could include:[3]
- high quality code analysis
- automated code monitors
- browsers
- call tree tools
- code reformators
- coding standards compliance tools
- correctness verifiers
- debuggers
- dependency tree analysis tools
- design tools
- document generators
- metrics tools
- reverse engineering tools
- re-engineering tools
- style checkers
- test tools
- timing estimators
- translators
ASIS also provides limited approaches to the structural and semantic information that are found in the Ada library, it aims to provide and produce information that is similar if not the exact same semantic level as the definition of Ada. This will greatly assist in providing the exact same definitions and information of the Reference Manual for the Ada Programming Language (LRM) to interested individuals and clients (Ehrenfried).
Structure of Asis
The ASIS application structure can be categorized into 3 categories; Setup ASIS Analysis, Process Compilation Units and Complete ASIS Analysis. This structure is to help in supporting various code analysis programs that appear in the Ada programming language.
Setup ASIS Analysis
The first step to the structure of ASIS analysis is to set it up efficiently. During this step, various tasks and programs are initialised and established. For example, as identified by William Colket (1999), this step is when the ASIS program initializes ASIS, establishes ASIS context and state object, associates the ASIS Context with the analysis, opens the ASIS context, and performs any pre-processing needed to support the ASIS analysis. The first step is generally to get the ASIS analysis up and running and be ready to use efficiently and effectively.
Process Compilation Units
The setup is then followed by ‘Processing Compilation units’, during this time is when elements are sampled and analysed to fit into the ASIS Context that had been opened and associated with at the beginning of the ASIS structure. During this step, it mainly processes most of the ASIS application elements in correlation with the ASIS context, it also has the added capability to perform compilation units before and after processing has been done.
Complete ASIS Analysis
The last and final stage of the ASIS structure is the completion of ASIS analysis. This is where everything is finalised and reviewed to perform any post processing to the ASIS analysis. The ASIS context is also closed and disassociated and ASIS is eventually finalised.
Uses of ASIS
ASIS for GNAT
ASIS has been used by Adacore to implement an ASIS standard in the utilisation of ASIS-for-GNAT applications. ASIS can be used for GNAT through typical applications such as: “Static Analysis (property verification), Code instrumentation, Design and document generation tools, Metric testing or timing tools, Dependency Tree Analysis Tools, Type Dictionary Generators, Coding standards Enforcement Tools, Language Translators, Quality Assessment Tools, Source Browsers and Formatters and Syntax Directed Editors” (ASIS for GNAT).
This use has also been able to develop numerous amounts of tools with the assistance of ASIS including
- gnatelim
- gnatstub
- gnatcheck
- gnatpp
- gnatmetric.
ASIS as Insulator
Pace Drury (1999) he utilises ASIS to create a code for his project named ‘SIDPERS-3’ where the code is used to identify intimate details and variations seen in Commercial Off the Shelf (COTS) generated from data base interaction Drury used ASIS for his project where ASIS created a new layer of Ada code which successfully insulated the software developer from the same generated Ada code specifics.[4]
Having written such a difficult code called ‘generate_db_support_code’ which majorly consisted of Ada code, the aim of it were to open 2 files, examine contents and create two new files based on the prior 2 files. ASIS had been used to examine the structure of the code efficiently, making it easier to store and link to a list containing Ada language. ASIS coherently completes what is asked to do and successfully gains constant and secure access to the data base information which meets the project’s needs.
References
- Sward, R.E., & Chamillard, A.T. (2004). Re-engineering global variables in Ada. Association for Computing Machinery, 29-34. doi: 10.1145/1032297.1032303
- Colket, W.C. (1999). Code analysis of safety- critical and real time software using ASIS. Association for Computing Machinery, 19(3), 67-76. doi: 10.1145/319295.319306
- et.al
- Drury, P. (1999). Using ASIS for data base insulation. Association for Computing Machinery SIGAda Ada Letters, 19(1), 64-65. doi: 10.1145/311457.311486
- ISO/IEC 15291: Information technology — Programming languages — Ada Semantic Interface Specification (ASIS)
- Ada Language Reference Manual. Version 6.0 21 December 1994. Copyright (C) 1992, 1993, 1994, 1995 Intermetrics, Inc.
- ASIS 2.0 specification
External links
See also
- ^ 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 - SIGAda '04. Atlanta, Georgia, USA: ACM Press: 29–34. doi:10.1145/1032297.1032303. ISBN 978-1-58113-906-8.
- ^ Colket, William Currie (September 1999). "Code analysis of saftey-critical and real-time software using ASIS". ACM SIGAda Ada Letters. XIX (3): 67–76. doi:10.1145/319295.319306. ISSN 1094-3641.
- ^ Colket, William Currie (September 1999). "Code analysis of saftey-critical and real-time software using ASIS". ACM SIGAda Ada Letters. XIX (3): 67–76. doi:10.1145/319295.319306. ISSN 1094-3641.
- ^ Drury, Pace (March 1999). "Using ASIS for data base insulation". ACM SIGAda Ada Letters. XIX (1): 64–65. doi:10.1145/311457.311486. ISSN 1094-3641.