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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,649f10d4016c874d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-14 12:31:13 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Problem space Date: 14 May 2003 20:30:42 +0100 Organization: Pushface Sender: simon@smaug.pushface.org Message-ID: References: NNTP-Posting-Host: pogner.demon.co.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: news.demon.co.uk 1052940672 1736 62.49.19.209 (14 May 2003 19:31:12 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Wed, 14 May 2003 19:31:12 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 Xref: archiver1.google.com comp.lang.ada:37332 Date: 2003-05-14T20:30:42+01:00 List-Id: "Alexandre E. Kopilovitch" writes: > Simon Wright wrote: > >There is nothing to prevent definition of a subset ('profile') that is > >rigorously-enough defined to be translated. You can do that with a > >small core of UML. For example, http://www.projtech.com/ > > Well, but with that customization you lose "U" in "UML". And after > several such "rigorizations" of different but substantially > overlapping subsets, what will you have? Do you think that you will > still dealing with the UML rather then with some family of > incompatible dialects? I doubt there is a project in the world that has used all the features of the UML. Any project should subset the UML, just as you would subset Ada. Certainly for translation, you need to restrict yourself to that subset which includes the detail you need, with defined semantics. You should also be able to include some of the woolly parts to help explain what's going on without affecting the translation (like comments). No point in a universal language which no one can agree on the semantics of! I came across a vendor (I-Logix?) who had extended sequence diagrams to allow their tool to perform automated testing, but at the cost of non-standard usage I think. UML includes extension mechanisms, a profile is (by one definition) a statement of the subset and extensions (stereotypes and tagged values) with their interpretations.