Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Ada Semantic Interface Specification
Interface

The Ada Semantic Interface Specification (ASIS) is an open, layered architecture that provides vendor-independent access to the Ada Library Environment, enabling static analysis of Ada programs and tools. According to the ASIS Working Group, ASIS serves as an interface between the Ada environment and any tool requiring information from it, facilitating software engineering and development. It includes 21 packages with 349 queries covering elements like compilation units and expressions, making Ada tools more portable and enhancing their ability to extract detailed program information. Overall, ASIS simplifies data collection from Ada programs, supporting CASE applications and improving interoperability across Ada tools.

Related Image Collections Add Image
Profiles
1 Image
We don't have any YouTube videos related to Ada Semantic Interface Specification yet.
We don't have any PDF documents related to Ada Semantic Interface Specification yet.
We don't have any Books related to Ada Semantic Interface Specification yet.
We don't have any archived web articles related to Ada Semantic Interface Specification yet.

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:4

  • 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 exactly the 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).

Main abstractions

In ASIS, there are 3 main abstractions that exist in the Ada 'private' types. This consists of Context, Compilation_Unit and Element.5 While there are additional types of abstractions also involved but the 3 mentioned are the fundamentals.

Context

The Context abstraction of ASIS consists of the definitions, terms and conditions that are available in ASIS enquiries. It is also used as a way and logical handle for the Ada environment.6

Compilation_Unit

The Compilation Unit is also a logical handle for the Ada environment. This abstraction also defines the properties and characteristics which are further seen in the Ada Reference Manual. It uses Ada's programming language implementation to convey compilation units through ASIS. As said by Adacore;

"An ASIS Compilation_Unit provides the ‘black-box’ view of a compilation unit, considering the unit as a whole. It may be decomposed into ASIS Elementand then analyzed in ‘white-box’ fashion."7

Examplies of these properties given can include:

  1. Time of last update
  2. Name of object containing unit's source text
Element

Comparably the Element abstraction is also a logical handle to the Compilation Unit discussed above, this can either be explicit or implicit.

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

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.

Design criteria

As ASIS continues to evolve similarly so does the evolution of its design criteria. The criteria for how ASIS can be designed can be sorted into 9 different categories; wide acceptance, transportability, uniformity and cohesiveness, implementability, state of technology, extensibility, ada terminology and style, performance and minimal set of interfaces.9

1. Wide acceptance

It must be designed according to this criterion so that a wide variety of tools can be used for ASIS. Designing it with this allows the interface library to be more flexible and available for tools across other platforms, Ada vendor implementations. It also allows for it to reduce training time for tool users and developers.

2. Transportability

ASIS must also be designed so it has the capability to be transferred from one computer to another computer or another environment to another.

3. Uniformity and cohesiveness

It should also be consistent in properties, concepts, types and operations but also be kept as a simple and coherent operation.

4. Implementability

ASIS is also criticised so that it is "implementable by any Ada Compiler Vendor with a reasonable effort".10 As well as maintaining consistency throughout the whole program.

5. State of technology

The state of technology must always be updated and advanced to ensure no issues take place. Additionally, it should be ensured that all possible variations and versions of ASIS will be coherent and efficient.

6. Extensibility

"It should not preclude extensions that will make use of the ASIS design model and abstractions."11

7. Ada terminology and style

ASIS should also adapt to the terms and conditions of style and definitions to the Ada Reference Manual.

8. Performance

"ASIS design must allow for efficiency from both the client view and implementation view"12

9. Minimal set of interfaces

"It should allow clients to implement additional layered interfaces using the primitive operations provided."

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 methodology has also been used to develop numerous tools with the assistance of ASIS including;

  1. gnatelim
  2. gnatstub
  3. gnatcheck
  4. gnatpp
  5. gnatmetric.

ASIS as insulator

Pace Drury (1999) 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.13

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.

AdaControl

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its uses include checking of coding standards, exploring the use of Ada features, making statistics, and more. It exploits all the power of ASIS, and can be considered as the most typical ASIS application.

Additional

  1. ISO/IEC 15291: Information technology — Programming languages — Ada Semantic Interface Specification (ASIS)
  2. Ada Language Reference Manual. Version 6.0 21 December 1994. Copyright (C) 1992, 1993, 1994, 1995 Intermetrics, Inc.
  3. ASIS 2.0 specification

References

  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. 978-1-58113-906-8 ↩

  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. 978-3-540-69802-9 ↩

  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. https://doi.org/10.1145%2F319295.319306 ↩

  4. et.al ↩

  5. "4. ASIS Overview — ASIS-for-GNAT User's Guide 22.0w documentation". docs.adacore.com. Retrieved 2020-11-20. https://docs.adacore.com/asis-docs/html/asis_ug/asis_ug/asis_overview.html#main-asis-abstractions ↩

  6. et.al ↩

  7. et.al ↩

  8. 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. https://doi.org/10.1145%2F319295.319306 ↩

  9. 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. pp. 6–15. doi:10.1145/126551.126552. ISBN 0-89791-445-7. S2CID 19422485. 0-89791-445-7 ↩

  10. et.al ↩

  11. et.al ↩

  12. et.al ↩

  13. 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. S2CID 37063586. https://dl.acm.org/doi/10.1145/311457.311486 ↩