![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Fri, 6 Nov 1998 14:11:47 -0500
Sender: "ACM SIGADA Ada Semantic Interface Spec. Working Group"
<SIGADA-ASIS@ACM.ORG>
From: Currie Colket <colket@colket.org>
Subject: Reminder: ASIS activities at SIGAda'98; ASIS Workshop on Sunday
Dear ASISWG/ASISRG:
This is a reminder of the ASIS activities planned for the SIGAda'98
Conference from 8-13 November 1998 in Washington, DC:
Of immediate interest is the ASIS Workshop on Sunday, 8 November 1998 from
6:00 P.M. to 10:00 P.M.. Besides addressing a host of ASIS issues (see ASCII
Attachment), it will also address address items such as:
o How to get current version of ASIS
o Opportunity to edit ASIS FDIS
o Recent ASIS issues
Again, you are strongly encouraged to attend this important workshop. The
results will guide the activities of the ASIS
community for years to come.
On Monday, 9 November 1998, Sergey Rybin and Cyrille Comar will be
presenting the ASIS Tutorial: Building Ada Development Tools: ASIS and Other
GNAT Technologies. More information is available at the
http://www.acm.org/sigada/conf/sa98/tutsched.html#MP3 URL.
On Monday, 9 November 1998, Dr. Robert Leif will conduct the Workshop on
Commercializing Ada: "Equitable Software". There will be many ASIS related
topics discussed herein. Additional information can be found at the
http://www.acm.org/sigada/conf/sa98/leif.html URL
On Tuesday, 10 November 1998, in the High Integrity Software track, William
Pritchett and John
Riley will present the paper "An ASIS-Based Static Analysis Tool for
High-Integrity Systems" In the same track, Stephen Michell, Mark Saaltink,
and Brian Wichmann will present the paper "Looking Into Safety with the High
Integrity Rapporteur Group (HRG)." More information can be found at the
http://www.acm.org/sigada/conf/sa98/sa98-program.html URL.
On Wednesday, 11 November 1998 at 7:30 PM, there will be a joint
SAFEWG/ASISWG BOF (using ASIS to analyze the safety-critically of brewing
Pale India Ale using Ada95). This will be a significant update on the
successful BOF we had last year when George Romanski provided free samples
of Pale India Ale made with Ada. We plan to provide free
samples again this year!
On Thursday, 12 November 1998 at 11:00 AM the Workshop Reports of the
SIGAda'98 Program, including ASIS WorkshopReport will be presented.
We hope you are planning to attend SIGAda'98 and specially the ASIS Workshop
on Sunday, 8 November. Additional details on this important workshop
discussing the future of ASIS are provided below!
We look forward to seeing you!
v/r
Currie
Chair ASISWG/ASISRG
+-----------------------------------------------------------------+
SIGAda '98
ASIS Workshop
Sunday, November 8,
6:00 PM - 10:00 PM
Cabinet Room, Omni Shoreham Hotel
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.
But, where do we go from here?
The ASIS standard provides for conforming extensions. The ASIS compiler
vendor community is already providing extensions.
Would it be desirable to identify a
secondary layer of such interfaces to support
greater portability of ASIS programs?
If so, which category of interfaces are
needed; OO interfaces, library interfaces;
tasking interfaces; run-time interfaces?
A Program View Layer was provided for Ada 83.
Is such a layer desirable for ASIS for Ada 95?
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.
Would additional mechanisms be of
value to the OO community?
A number of tutorials exist on the ASIS Home Page
(http://www.acm.org/sigada/wg/asiswg).
Are these useful to software engineers
wanting to use ASIS? Would tutorials
addressing a different focus be valuable?
Currently there is no textbook on the bookshelves addressing the value
of ASIS and how to use ASIS effectively.
Would such a book be desirable?
Is this something we could author ourselves?
Some have suggested a closer tie to the analysis of linked object code
and even run-time debugging tools.
Would it be desirable to evolve extensions
to facilitate such analysis?
Or should we say we have completed our job,
pat ourselves on the back and go home?
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.
Date: Tue, 13 Oct 1998 05:11:53 -0400
Sender: "ACM SIGADA Ada Semantic Interface Spec. Working Group"
<SIGADA-ASIS@ACM.ORG>
From: Currie Colket <colket@colket.org>
Subject: ASISWG/ASISRG Your Input is Needed at SIGAda'98
To: SIGADA-ASIS@ACM.ORG
Dear ASISWG/ASISRG:
ASIS activities are planned for every day at the SIGAda'98 Conference
from 8-13 November 1998 in Washington, DC:
Starting on Sunday, 8 November 1998 from 6:00 P.M. to 10:00 P.M., there
is the ASIS Workshop to address a host of ASIS issues. Your input is
desparately needed. The results 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. The results of the Workshop
will be presented to the conference on Thursday, 12 November, at 11:00
AM.
[ 120 lines deleted; see updated version above -- dc ]
To the Ada-Belgium home page.
Last update: 1998/12/05.
Dirk Craeynest