+1 credit
| Version | Summary | Created by | Modification | Content Size | Created at | Operation |
|---|---|---|---|---|---|---|
| 1 | Sirius Huang | -- | 1460 | 2022-10-28 01:37:51 |
Video Upload Options
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. “ASIS consists of 21 packages, 2 are optional and within these packages define 349 queries”. 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”. Overall ASIS is simply a straightforward way to collect data from an ADA program and increases any of the Ada tools portability.
References
- "4. ASIS Overview — ASIS-for-GNAT User's Guide 22.0w documentation". https://docs.adacore.com/asis-docs/html/asis_ug/asis_ug/asis_overview.html#main-asis-abstractions.
- Colket, William Currie (September 1999). "Code analysis of saftey-critical [sic and real-time software using ASIS"] (in en). ACM SIGAda Ada Letters XIX (3): 67–76. doi:10.1145/319295.319306. ISSN 1094-3641. https://dl.acm.org/doi/10.1145/319295.319306.
- Bladen, James B.; Spenhoff, David; Blake, Steven J. (1991). "Ada semantic interface specification (ASIS)". Proceedings of the Conference on TRI-Ada '91 Today's Accomplishments; Tomorrow's Expectations - TRI-Ada '91 (New York, New York, USA: ACM Press): 6–15. doi:10.1145/126551.126552. ISBN 0-89791-445-7. https://dl-acm-org.ezproxy1.library.usyd.edu.au/doi/pdf/10.1145/126551.126552.
- Drury, Pace (March 1999). "Using ASIS for data base insulation" (in en). ACM SIGAda Ada Letters XIX (1): 64–65. doi:10.1145/311457.311486. ISSN 1094-3641. https://dl.acm.org/doi/10.1145/311457.311486.
