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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,11e702136eade41c,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-02-13 12:07:16 PST Path: archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fr.usenet-edu.net!usenet-edu.net!enst.fr!not-for-mail From: "Bruce Hennessy" Newsgroups: comp.lang.ada Subject: Re: UML to Ada Mapping Date: Thu, 13 Feb 2003 15:08:44 -0500 Organization: ENST, France Message-ID: Reply-To: "comp.lang.ada mail to news gateway" NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1045166834 75499 137.194.161.2 (13 Feb 2003 20:07:14 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Thu, 13 Feb 2003 20:07:14 +0000 (UTC) To: Return-Path: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook CWS, Build 9.0.2416 (9.0.2911.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.1 Precedence: list List-Id: comp.lang.ada mail to news gateway List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:34072 Date: 2003-02-13T15:08:44-05:00 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" wrote in message news:f4031917.0212160524.15757ec3@posting.google.com... > "Martin Dowie" wrote in message news:... > > "Alvery Grazebrook" 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)