comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Ada and UML
Date: Thu, 02 Sep 2010 03:18:11 +0200
Date: 2010-09-02T03:18:11+02:00	[thread overview]
Message-ID: <op.vidsklzqule2fv@garhos> (raw)
In-Reply-To: m2fwxtnw1y.fsf@pushface.org

Le Wed, 01 Sep 2010 20:44:09 +0200, Simon Wright <simon@pushface.org> a  
écrit:
> I was going to draft a reply but Matteo has said almost all that I would
> have done. I'd add that
>
> 1 I wouldn't expect every possible UML construct to be translatable
>   using this model. A given vendor/toolset might well specify
>   limitations, presumably as a profile.
>
> 2 I wouldn't expect to be able to tweak the UML so as to generate any
>   arbitrary target language (Ada) construct.
I did not expected this, nor me.

> 3 The converse of 2: I wouldn't expect to be able to represent any
>   arbitrary target language (Ada) program in UML so as to be able to
>   regenerate it.

What I expect, may be explained with concrete cases.

I feel for long source does not came with all value and sometime, the  
“clever idea” in something comes at an abstract level which not any more  
clearly visible in a source, even if the source implements this “clever  
idea”. Because the “clever idea” is made implicit and not expressed by the  
source whose target is to express concrete implementation. That is why  
even a well designed application source can be “unreadable”.

As an example, I have an FTP application written 5 years ago. Not so much  
big, 2_000 lines. But I have to rework it, and although there are comments  
and the design was clear at the time I wrote it, it seems impossible to be  
sure to clearly understand what I had in mind at the time. I have another  
web application, 70_000 lines, which is clear to me for the time, as I  
oftenly come back to it... but will this always be like this ? I am afraid  
if I ever switch to something else for a long time or want a later date to  
collaborate with any somebody, things gonna be wrong.

Structuration, god entity naming, etc, are nice things, but this is simply  
not enough.

And what if I ever want to re-implement these things in another language ?  
(one is C, the other is Pascal and JS) A direct translation to Ada (which  
I plan for the future) would surely turn into many errors every where.

I also had some other similar though about UI design.

This is these topics I have in mind. I am not seeking for another way to  
write Ada with something else than Ada.

May be we agree in some points and I did express it the good way.

As some ones says : you do not see the face on a printed image looking at  
the little colored dots the raster printer drawn on the paper. And this is  
sadly true even with tiny pictures (it is frightening to think something  
as simple a 2_000 lines application can become so much unclear... and what  
about bigger things...).

But while I feel this may help, I still have some doubt about the UML  
approach : what about things which are not design or architecture and  
which are rather algorithmic ? Is UML well suited to express algorithm in  
an abstract manner ? In that area, I had a recent look at (S)ML, but still  
do not have a clear though (there are state machines in UML, I known, but  
this is not enough, and an algorithm too may have multiple  
implementations, so a more abstract view than a particular implementation  
could be welcome too).

Still in this area, I also explored and tested other techniques, but I'm  
afraid I would become boring... (at least I have a better picture of the  
subject than the one I had, say, 3 years ago)

Have a nice day all



-- 
“Dual licensing is the Perl's way to disinfect the GNU General Public  
Virus!” (anonymous)



  parent reply	other threads:[~2010-09-02  1:18 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-08-31 10:12 Ada and UML Yannick Duchêne (Hibou57)
2010-08-31 11:05 ` Yannick Duchêne (Hibou57)
2010-08-31 11:54   ` Yannick Duchêne (Hibou57)
2010-08-31 16:34     ` Matteo Bordin
2010-08-31 21:20       ` nobody
2010-09-02  0:19         ` Yannick Duchêne (Hibou57)
2010-09-02  6:14           ` Simon Wright
2010-09-02 20:33           ` nobody
2010-08-31 23:14       ` Yannick Duchêne (Hibou57)
2010-08-31 23:31         ` Yannick Duchêne (Hibou57)
2010-09-01  8:20         ` Matteo Bordin
2010-09-01 18:44           ` Simon Wright
2010-09-01 21:56             ` Simon Wright
2010-09-02  1:18             ` Yannick Duchêne (Hibou57) [this message]
2010-09-02 10:25               ` Brian Drummond
2010-09-02  0:43           ` Yannick Duchêne (Hibou57)
2010-09-02  7:50             ` Georg Bauhaus
2010-09-02 23:05               ` Yannick Duchêne (Hibou57)
2010-09-03  4:19                 ` Yannick Duchêne (Hibou57)
2010-09-03  6:54                   ` Matteo Bordin
2010-09-03 10:20                     ` Yannick Duchêne (Hibou57)
2010-09-03 11:33                       ` sjw
2010-09-03 13:18                   ` Hibou57 (Yannick Duchêne)
2010-09-03 16:14                     ` Matteo Bordin
2010-09-04 14:51                       ` Yannick Duchêne (Hibou57)
2010-09-06  9:21                         ` Matteo Bordin
2010-09-07 18:25                         ` Yannick Duchêne (Hibou57)
2010-09-03 16:16                     ` Matteo Bordin
2010-09-03 19:39                       ` Simon Wright
2010-08-31 18:25 ` Martin Krischik
2010-09-01  8:40   ` sjw
2010-09-02  0:22   ` Yannick Duchêne (Hibou57)
2010-09-02  4:48     ` J-P. Rosen
2010-09-02 10:34       ` Brian Drummond
2010-09-02 13:00         ` Robert A Duff
2010-09-02 13:24           ` Yannick Duchêne (Hibou57)
2010-09-10 20:13 ` Yannick Duchêne (Hibou57)
  -- strict thread matches above, loose matches on Subject: below --
2001-08-04  9:55 Paul Foster
2001-07-10 10:54 Death by analogy Part 2 (was Re: is ada dead?) Robert C. Leif, Ph.D.
2001-07-10 16:58 ` Al Christians
2001-07-10 18:39   ` Michael P. Card
2001-07-10 20:39     ` Al Christians
2001-07-10 21:11       ` Michael P. Card
2001-07-11  5:25         ` Ada and UML raj
2001-07-11  9:40           ` David C. Hoos, Sr.
2001-07-13 19:00           ` Nick Williams
2001-07-13 19:46             ` Ted Dennison
2001-07-17  8:25               ` David Humphris
2001-07-16  0:56             ` Ken Garlington
2001-07-17 18:59               ` Simon Wright
2001-07-23 14:38                 ` John Kern
2001-08-04  6:29                   ` Simon Wright
replies disabled

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