comp.lang.ada
 help / color / mirror / Atom feed
* UML to Ada mapping
@ 1999-01-11  0:00 Lionel Draghi
  1999-01-14  0:00 ` Roland Petrasch
  0 siblings, 1 reply; 14+ messages in thread
From: Lionel Draghi @ 1999-01-11  0:00 UTC (permalink / raw)



I am looking for experiences in Ada code generation from UML design.

1 - Is code generation part of future UML normalization?

2 - Are there some widespread practices in UML to Ada mapping?

3 - What part of UML easily map to code?

4 - Do tools support code generation? Do they only generate an initial
    code framework, or is it still possible to use them while coding?

Thanks.

PS: I read Stephane Barbeys paper
"Ada 95 as Implementation Language for Object-Oriented Designs" (1995).
It's a quite interresting paper, but based on the Fusion method.


________________________________________________________________________
Lionel Draghi              


http://ada.eu.org/gtkada/                              http://attac.org/





^ permalink raw reply	[flat|nested] 14+ messages in thread
* IBM Acquires Rational Ada
@ 2002-12-07  2:47 Richard Riehle
  2002-12-07  8:24 ` achrist
  0 siblings, 1 reply; 14+ messages in thread
From: Richard Riehle @ 2002-12-07  2:47 UTC (permalink / raw)


Just announced today was the 2.1 billion dollar purchase
of Rational by IBM.   One can only wonder what will happen
to the Ada compiler products.   Things will either get better
or they will get worse.   Of  course, I think Norm Cohen still
works for IBM.  Perhaps he can make a difference.

Richard Riehle




^ permalink raw reply	[flat|nested] 14+ messages in thread
* Re: UML to Ada Mapping
@ 2003-02-13 20:08 Bruce Hennessy
  2003-02-13 21:08 ` Simon Wright
  0 siblings, 1 reply; 14+ messages in thread
From: Bruce Hennessy @ 2003-02-13 20:08 UTC (permalink / raw)
  To: comp.lang.ada

I am interested in participating in a definition of an Ada profile. I am
currently working to present designs for mods to an existing large system
written in Ada, which hasn't really got any designs (i.e. cohesive model
diagrams and text that depict how the system hangs together). This can be
put together with UML and non-standard drawings, but I would very much
prefer extensions to UML that can then be standardized - in any case I would
look to establish them across this project.

I have seen web extensions done for UML, and will be looking at Ada
extensions immediately.

Bruce



"Alvery Grazebrook" <alveryg@artisansw.com> wrote in message
news:f4031917.0212160524.15757ec3@posting.google.com...
> "Martin Dowie" <martin.dowie@no.spam.btopenworld.com> wrote in message
news:<atau5l$s9p$1@knossos.btinternet.com>...
> > "Alvery Grazebrook" <alveryg@artisansw.com> wrote in message
> > > > Artisan has Ada support, and is fairly well-known to real-time
> > > > users. As far as I can tell, it's rather fixed in its views; if you
> > > > need lots more control over what gets generated, you'd probably be
> > > > better off using Aonix's ACD via Software through Pictures.
> > > >
> > > The Artisan tool, Real-time Studio has been evolving its Ada code
> > > support. The code-generator is template based, so you can customize it
> > > any way you like. It also includes reverse engineering and what we
> > > call "Synchronization". This is basically a differencing engine to
> > > compare the current state of the code with the current state of the
> > > model, combined with a resolution capability that will re-generate or
> > > reverse any parts that you select based on the differences.
> >
> > But is reversing and synchronisation available once you customise
> > the templates?
> >
> > This isn't just a question for Artisan but for all UML tools.
>
> Since you ask, there are 2 parts to the answer.
>
> The simple answer is that the reversing works to a defined mapping,
> and the synchronizer supports a pre-defined range of possible mappings
> when producing the comparison view. This means that synchronization
> works cleanly for all generation templates that generate code that
> conform to the semantics of the reverser's Ada -> UML mapping, and
> will show differences otherwise.
>
> The second part to the answer is that the job of a synchronizer is to
> help translate UML model to Ada and back. Given that the semantics of
> Ada is well defined, and the semantics of UML is reasonably well
> defined, the only part of the mapping that is at issue is the way you
> need to annotate the UML model to cover the features supported by Ada
> that aren't supported by UML. The Ada UK community has taken up the
> challenge of developing an Ada Profile (for UML) to define the UML
> extensions required for the mapping.
>
> A profile in UML is a set of extended properties that can be attached
> to UML elements (e.g. operations, classes) to identify them as having
> a particular significance.
>
> For example, Ada 95 has several "structures" that can contain
> variables, sub-programs etc. they are:
>  Package, task type, protected type, and subprogram
> UML has only two:
>  Class, Package
> Therefore the UML Class, in particular, needs extra annotation to
> determine whether it should map to an Ada package, a task type or a
> protected type.
>
> Does anyone in this community have an interest in participating in the
> definition of an Ada profile?
>
> Cheers,
>     Alvery
> (Product Manager, Artisan software tools, wwww.artisansw.com)




^ permalink raw reply	[flat|nested] 14+ messages in thread
* RE: UML to Ada Mapping
@ 2003-02-14 10:09 Lionel.DRAGHI
  2003-02-20 21:33 ` John Robinson
  0 siblings, 1 reply; 14+ messages in thread
From: Lionel.DRAGHI @ 2003-02-14 10:09 UTC (permalink / raw)
  To: comp.lang.ada



| -----Message d'origine-----
| De: Simon Wright [mailto:simon@pushface.org]
..
| At the last Ada UK conference, the team decided to work on a profile.

I think this work will be presented in the Ada-Europe conference in Toulouse
(France) in June.

I don't have the program URL handy to confirm, but i posted the news on the
Ada-France site:  search "Ada-Europe" on the http://www.ada-france.org site,
and follows the links to the conference programs.

Lionel Draghi



^ permalink raw reply	[flat|nested] 14+ messages in thread

end of thread, other threads:[~2003-02-20 21:33 UTC | newest]

Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-01-11  0:00 UML to Ada mapping Lionel Draghi
1999-01-14  0:00 ` Roland Petrasch
1999-01-14  0:00   ` Tucker Taft
1999-01-15  0:00     ` Pierre Dissaux
1999-01-15  0:00     ` dennison
1999-01-14  0:00   ` Lionel Draghi
     [not found]   ` <3.0.3.32.19990115095018.00750514@sorbonne>
1999-01-16  0:00     ` Lionel Draghi
1999-01-17  0:00       ` Roland Petrasch
  -- strict thread matches above, loose matches on Subject: below --
2002-12-07  2:47 IBM Acquires Rational Ada Richard Riehle
2002-12-07  8:24 ` achrist
2002-12-08  1:46   ` Richard Riehle
2002-12-08 17:18     ` steve_H
2002-12-09 10:30       ` John McCabe
2002-12-09 15:42         ` Simon Wright
2002-12-12 14:41           ` Alvery Grazebrook
2002-12-12 21:13             ` Martin Dowie
2002-12-16 13:24               ` UML to Ada Mapping Alvery Grazebrook
2003-02-13 20:08 Bruce Hennessy
2003-02-13 21:08 ` Simon Wright
2003-02-14  8:50   ` Jean-Pierre Rosen
2003-02-14 10:09 Lionel.DRAGHI
2003-02-20 21:33 ` John Robinson

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox