From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c28f58ce40333639
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-04-12 03:54:22 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!newsfeed.berkeley.edu!ucberkeley!btnet-peer!btnet!diablo.netcom.net.uk!netcom.net.uk!news.tele.dk!130.133.1.3!fu-berlin.de!uni-berlin.de!193.114.91.187!not-for-mail
From: Peter Amey <pna@praxis-cs.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Ada95 and UML
Date: Thu, 12 Apr 2001 11:50:24 +0100
Organization: Praxis Critical Systems
Message-ID: <3AD58870.96EB100F@praxis-cs.co.uk>
References: <9b1q2v$s6j4@cui1.lmms.lmco.com> <3ad5554c$1@pull.gecm.com>
NNTP-Posting-Host: 193.114.91.187
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: fu-berlin.de 987072677 7946884 193.114.91.187 (16 [69815])
X-Mailer: Mozilla 4.73 [en] (WinNT; U)
X-Accept-Language: en
Xref: supernews.google.com comp.lang.ada:6811
Date: 2001-04-12T11:50:24+01:00
List-Id: <comp.lang.ada>



Martin Dowie wrote:
> 
> v4 of Artisan's Real-Time Studio Pro (out in a couple of months) are
> supporting
> Ada code generation from UML in 4 flavours:
> 
> 1. Ada83
> 2. SPARK Ada83
> 3. Ada95
> 4. SPARK Ada95(? didn't now this was out yet...presumably supporting
>     Ravenscar)
> 

SPARK 95 has been out for years!  It differs from SPARK 83 primarily in
support for child packages which map extremely well on to the kind of
hierarchical state refinement that works so well in SPARK.  We are
indeed working very hard on SPARK Ravenscar and hope to be able to
announce something soon along these lines.

As far as the original question is concerned I would be very careful
with UML -> Ada generation for critical applications using the kinds of
defaults the tools will come set with.  These tend to create objects on
the heap and return a pointer to them in a very cavalier fashion which
can make code verification extremely difficult.  We have had some
success tailoring tools such as Rose to produce abstract data type,
object-based code rather than fully-fledged OOP.  The limitations on how
much of UML can be used are more than offset by the improved ease of
verification.  

Peter