SIGAda '98
ASIS Workshop
Sunday, November 8,

6:00 PM - 10:00 PM

Cabinet


 


The primary focus of the Ada Semantic Interface Specification (ASIS) Working Group and ASIS Rapporteur Group has been to evolve ASIS as an interface to the Ada 95 compilation environment. ASIS now provides a powerful mechanism to perform code analysis for mission-critical and safety-critical applications. A variety of highly effective tools have been built using ASIS. This interface should be an approved ISO standard by November 1998.
 


The ASIS standard provides for conforming extensions. The ASIS compiler vendor community is already providing extensions.
 


A Program View Layer was provided for Ada 83.
 


ASIS currently provides a number of mechanisms to address OO analysis. The last couple of interfaces added to the ASIS standard provided direct benefit to the OO community.
 


A number of tutorials exist on the ASIS Home Page (http://www.acm.org/sigada/wg/asiswg).
 


Currently there is no textbook on the bookshelves addressing the value of ASIS and how to use ASIS effectively.
 


Some have suggested a closer tie to the analysis of linked object code and even run-time debugging tools.
 


Participants from the compiler vendor community, tool vendor community, and user community will be asked to identify needs not addressed by the ASIS standard. Hopefully their thoughts will trigger your ideas to identify things the ASIS Community should be doing to better support the Ada community.

The results will be presented in a conference session, published in Ada Letters, and will guide the activities of the ASIS community for years to come.  Your input will be extremely valuable in planning your future. Please plan on coming.



 

[top of page] [Back to Workshops]
updated October 6, 1998