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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,f1e69bf40883b5e6 X-Google-Attributes: gid109fba,public X-Google-Thread: fac41,1a0453d7e804cbbc,start X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,f1e69bf40883b5e6 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,f1e69bf40883b5e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-01-09 03:32:38 PST Path: nntp.gmd.de!newsserver.jvnc.net!yale.edu!spool.mu.edu!howland.reston.ans.net!math.ohio-state.edu!darwin.sura.net!news.sesqui.net!uuneo.neosoft.com!hops.entertain.com!nobody From: cjames@hops.entertain.com (Colin James III) Newsgroups: comp.object,comp.lang.c++,comp.lang.ada,comp.lang.eiffel Subject: Re: January 18 Houston-Area Meeting of SCOPE: Blackboard Booch/OMT Date: 9 Jan 1995 04:32:38 -0700 Organization: EntertainNet - Denver, CO (303) 730-1414 (modem) (303) 730-6050 (voice) Message-ID: <3er6sm$4gb@hops.entertain.com> References: NNTP-Posting-Host: hops.entertain.com Keywords: BON, BOOCH, OMT, RUMBAUGH, predicate logic Xref: nntp.gmd.de comp.object:19367 comp.lang.c++:85728 comp.lang.ada:17850 comp.lang.eiffel:5108 Date: 1995-01-09T04:32:38-07:00 List-Id: In article , Todd Dunnavant posted in essence: > This meeting notice may be of interest to the Houston area: > January 18, 1995 "Blackboard Booch/OMT" by David Weller Designs using Rumbaugh's Object Management Technique (OMT) and Grady Booch's method (ever expanding to include all other methods, and hence a mother of all methods) can not be verified correct using predicate logic. OMT and Booch are also not seamless and scalable and do not support software contracting in case tools. Furthermore, OMT and Booch show object communications in one-dimensional sequencing diagrams (named trace or interaction diagrams) but can not be extended to any greater complexity in higher-dimensions. [See Kim Walden and Jean-Marc Nerson, Seamless object-oriented software architecture: analysis and design of reliable systems, Prentice Hall UK, 1995, ISBN 0-13-031303-3] Business Object Notation [BON] which suffers from none of the flawed logic and defects of Booch and OMT above. A good place to take such a course is TOOLS '95 in Versailles on March 6/10. BON is currently supported by EiffelCASE from Interactive Software Engineering, Inc [ISE], Goleta, CA, (805) 685 - 1006, info@eiffel.com. Colin James III CEC Services 2080 Kipling St Lakewood, CO 80215-1502 USA (303) 231 - 9437 Voice (303) 231 - 9438 Facsimile (303) 231 - 9434 Data cjames@stout.entertain.com For non invertible encryption, see US Patent 5_251_165.