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 05:02:03 PST
From: "Martin Dowie" <martin.dowie@nospam.baesystems.com>
Newsgroups: comp.lang.ada
References: <9b1q2v$s6j4@cui1.lmms.lmco.com> <3ad5554c$1@pull.gecm.com>
 <3AD58870.96EB100F@praxis-cs.co.uk>
Subject: Re: Ada95 and UML
Date: Thu, 12 Apr 2001 12:22:56 +0100
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2314.1300
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
NNTP-Posting-Host: sg2c11210.dsge.edinbr.gmav.gecm.com
Message-ID: <3ad58e3d$1@pull.gecm.com>
X-Trace: 12 Apr 2001 12:15:09 GMT, sg2c11210.dsge.edinbr.gmav.gecm.com
Path: 
 supernews.google.com!sn-xit-03!supernews.com!news-feed.riddles.org.uk!news.litech.org!news.ems.psu.edu!news.cis.ohio-state.edu!news.maxwell.syr.edu!newsfeeds.belnet.be!news.belnet.be!btnet-peer1!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!sg2c11210.dsge.edinbr.gmav.gecm.com
Xref: supernews.google.com comp.lang.ada:6812
Date: 2001-04-12T12:22:56+01:00
List-Id: <comp.lang.ada>

oops, sorry, I was indeed getting confused with the inclusion of
the Ravenscar Profile!

Peter Amey <pna@praxis-cs.co.uk> wrote in message
news:3AD58870.96EB100F@praxis-cs.co.uk...
>
>
> 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