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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b87882caa9ec660b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-03 02:27:59 PST Path: archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail From: hfrumblefoot@yahoo.com (Hambut) Newsgroups: comp.lang.ada Subject: Re: Which OO is in ?? Date: 3 Aug 2001 02:27:59 -0700 Organization: http://groups.google.com/ Message-ID: References: <9kc0h3$ftu$1@newsg4.svr.pol.co.uk> NNTP-Posting-Host: 194.131.227.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 996830879 18540 127.0.0.1 (3 Aug 2001 09:27:59 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 3 Aug 2001 09:27:59 GMT Xref: archiver1.google.com comp.lang.ada:11181 Date: 2001-08-03T09:27:59+00:00 List-Id: "Paul Foster" wrote in message news:<9kc0h3$ftu$1@newsg4.svr.pol.co.uk>... > In the early nineties choosing an OO design method was > quite straight forward, if you were using SPARK Ada > as your primary language then you would used HOOD, > otherwise for full blown Ada you would used teamwork > Yourdon. Here in 2001 things are slightly different with > Ada95 and UML now firmly established on the scene. > Can anybody give me some guidance as to what OO > methods are being used now and why, and if the project > is restricted to only a subset of the Ada language ?? > I think it's probably even more straight forward for new projects now. The choice seems to be UML, UML or possibly HOOD (although HOOD doesn't seem to have the visible level of support that UML has. My impression is that HOOD is mainly used for large legacy projects and (possibly) within ESA). Note I'm not necessarily saying that this is a good or bad thing. Shlaer-Mellor is a possibility, but I believe that S-M vendors are starting to re-align to UML. As for dealing with the sub-set issue I don't believe that there is as yet a UML profile which explicitly supports things like SPARK or C-SMART, although it's probably been worked on by some tool vendors. My thought is that you'd need to look carefully at what the chosen language sub-set was trying to achieve, and then potentially 'sub-set' the design methodology to support those same aims (at the very least I'd expect a Code of Design Practice to be defined which defines guidelines to support the aims). As a simple (UML) example; o The chosen sub-set might 'ban' aliasing of variables (because it greatly complicates static verification). o The use of the UML 'aggregation' construct might be banned during design in favour of the 'composition' construct because 'aggregation' may imply aliasing. The point of doing this is to ensure that your design doesn't 'clash' with the sub-set. 'Clashing' with the sub-set is potentially bad because developers will spend most of their time 'fighting' with the sub-set. Which may mean that the sub-set is subverted, and that the benefits you should gain from the sub-set are not gained. cheers, Hambut