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