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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,f23f789345652e5b X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!r36g2000prf.googlegroups.com!not-for-mail From: sjw Newsgroups: comp.lang.ada Subject: Re: Users of the BON notation among Ada users ? Date: Mon, 12 Jan 2009 14:49:04 -0800 (PST) Organization: http://groups.google.com Message-ID: References: <0e67d712-c126-478f-b1bc-d2d22ae66952@w1g2000prm.googlegroups.com> NNTP-Posting-Host: 62.49.19.209 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1231800544 4381 127.0.0.1 (12 Jan 2009 22:49:04 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 12 Jan 2009 22:49:04 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: r36g2000prf.googlegroups.com; posting-host=62.49.19.209; posting-account=_RXWmAoAAADQS3ojtLFDmTNJCT0N2R4U User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_6; en-us) AppleWebKit/525.27.1 (KHTML, like Gecko) Version/3.2.1 Safari/525.27.1,gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:3246 Date: 2009-01-12T14:49:04-08:00 List-Id: On Jan 12, 6:25=A0pm, Britt Snodgrass wrote: > I have used UML to develop an Ada design, in the context of the > Rhapsody UML modeling tool from Telelogic. =A0While this tool is very > good in most respects, UML models are awkward to use with Ada due to > terminology differences and the fact that many Ada semantic concepts > can't be easily expressed within the limits of UML 2.x. =A0Trying to > generate good Ada code by tweaking a UML model is a rather inefficient > way to work. Seems to me that this approach is a bit backwards. You can create a UML profile aimed at Ada, as Artisan do, so that you can say just about anything you want to in the UML about the Ada code you want. But, if you want to write Ada, why not write Ada? Use UML (a semantically constrained subset) to state analysis-level properties of your problem domain (see eg http://coldframe.sourceforge.net/= coldframe/analysis.html). Then use manual or automatic translation according to a set of translation rules (http://coldframe.sourceforge.net/coldframe/ translation-rules.html) to generate your Ada. The clever Ada part comes in three places: (a) working out the translation mappings (when the model says _this_, generate Ada like _that_), (b) writing the standard runtime components, and (c) realising when you need to implement something by hand. On our project, we tend not to look at generated Ada specs (in fact, most of us haven't had a lot of practice in writing them): we look at the model instead. For a much more complete approach, see eg http://www.mentor.com/products/sm= /uml_suite/index.cfm or http://www.kc.com/xuml.php Of course, BON might be just as good a starting point. > I think UML has some good features, and is useful to support the > design of an integrated system, including hardware and ASIC aspects. > To better support Ada software, UML needs a *standard* Ada specific > "profile" to customise the terminology and extend the semantics (i.e. > an "AdaML" variant of UML along the lines of the "SysML" variant that > was developed to support whole system design). Difficult enough to get an agreement about a non-language-specific profile of 'executable UML'. Of the 26 stereotypes and 37 tags in ColdFrame, there are some (protected, for a type, for example) where the mapping to Ada is easy. In all cases, though, one could conceive of a mapping to language X if push came to shove.