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-Thread: 103376,4feb499c05063194 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!proxad.net!fr.ip.ndsoftware.net!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news-hub.cableinet.net!blueyonder!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Artistically creative expression has no role in software design Date: 21 Jul 2004 21:17:12 +0100 Organization: Pushface Sender: simon@smaug.pushface.org Message-ID: References: <2m2j9gFhf4cpU1@uni-berlin.de> NNTP-Posting-Host: pogner.demon.co.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: news.demon.co.uk 1090441343 11458 62.49.19.209 (21 Jul 2004 20:22:23 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Wed, 21 Jul 2004 20:22:23 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 Xref: g2news1.google.com comp.lang.ada:2331 Date: 2004-07-21T21:17:12+01:00 List-Id: "Dmitry A. Kazakov" 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.