comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Artistically creative expression has no role in software design
Date: 21 Jul 2004 21:17:12 +0100
Date: 2004-07-21T21:17:12+01:00	[thread overview]
Message-ID: <x7vsmbljet3.fsf@smaug.pushface.org> (raw)
In-Reply-To: b9s9v8eznitq.pthk5q8wvl7m$.dlg@40tude.net

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> Q4: What about UML and other languages intended for solely human readers?
> 
> [Amateur: Documents written in those languages are not programs?]

There are parts of UML (1.n, not yet up to speed with 2) that are
sufficiently formal that code can indeed be generated from them. This
includes class and state modelling but excludes use cases :-)

You usually have to subset the complete UML and state what precise
interpretation you will place on the model and what extensions
(stereotypes and tagged values) have what meanings. This is known as a
profile. So far you have enough for a framework, you need to add the
application logic.

UML now includes (not sure at what revision exactly) an action
language specification which has allowed at least two companies to
create development systems where you can specify your subject in UML +
actions and have the resulting model execute (by complete translation
to a development runtime, possibly based on C) and be deployed (by
complete translation to a deliverable runtime, possibly in a different
language eg Ada).

I have some links on the Resources page under
http://pushface.org/coldframe/ -- specifically the Project Technology
and Kennedy-Carter links.

-- 
Simon Wright                               100% Ada, no bugs.



  parent reply	other threads:[~2004-07-21 20:17 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-07-19 18:46 Artistically creative expression has no role in software design Marc A. Criley
2004-07-19 18:56 ` Ed Falis
2004-07-19 19:03 ` Hyman Rosen
2004-07-19 23:24   ` Marc A. Criley
2004-07-20  0:27   ` Nick Roberts
2004-07-20  7:40     ` Hyman Rosen
2004-07-20 15:24       ` Nick Roberts
2004-07-20 16:00       ` Marc A. Criley
2004-07-20 18:46         ` Jeffrey Carter
2004-07-20 22:41           ` Randy Brukardt
2004-08-09 16:14       ` Richard  Riehle
2004-07-19 20:49 ` Georg Bauhaus
2004-07-19 23:27   ` Marc A. Criley
2004-07-20  9:05     ` Georg Bauhaus
2004-07-20  0:31 ` Nick Roberts
2004-07-20  1:45 ` Alexander E. Kopilovich
2004-07-20  8:20 ` Dmitry A. Kazakov
2004-07-20 14:28   ` Martin Krischik
2004-07-20 15:02     ` Dmitry A. Kazakov
2004-07-20 18:02       ` Wes Groleau
2004-07-21  9:30       ` Martin Krischik
2004-07-21 20:22     ` Simon Wright
2004-07-23  8:00     ` Rolf Ebert
2004-07-23 21:04       ` Simon Wright
2004-07-21 20:17   ` Simon Wright [this message]
2004-07-21 22:15     ` Georg Bauhaus
2004-07-23 20:59       ` Simon Wright
2004-07-21  1:05 ` Robert I. Eachus
2004-07-21  1:17   ` Ed Falis
2004-07-21  3:44     ` tmoran
2004-07-21  4:09     ` tmoran
2004-07-21  9:38   ` Ludovic Brenta
2004-07-22 14:11   ` Marc A. Criley
replies disabled

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