home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / object / 3081 < prev    next >
Encoding:
Internet Message Format  |  1992-07-21  |  1.5 KB

  1. Xref: sparky comp.object:3081 comp.specification:335
  2. Newsgroups: comp.object,comp.specification
  3. Path: sparky!uunet!walter!porthos!dancer!haim
  4. From: haim@dancer.uucp (24103-kilov)
  5. Subject: Re: Current OOA/OOD and formal methods
  6. Reply-To: haim@dancer.UUCP ()
  7. Organization: Bellcore, Livingston, NJ
  8. Date: Fri, 31 Jul 92 16:56:51 GMT
  9. Message-ID: <1992Jul31.165651.27509@porthos.cc.bellcore.com>
  10. Keywords: A++, Z, VDM, formal methods, OOA/OOD
  11. References: <18822@drutx.ATT.COM>
  12. Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
  13. Lines: 21
  14.  
  15. There is a common ground. In fact, consider a graphical notation just like any
  16. other notation and define it formally. If a graphical notation denotes in
  17. an unambiguous manner components of precisely defined libraries then you
  18. have sort of a synthesis of the two. We have attempted to do that for generic
  19. object classes encountered in information modeling. These classes represent 
  20. associations, and each of them is defined by means of the invariant and the
  21. pre- and postconditions for the CRUD operations. After that is understood, 
  22. you can provide a graphical notation for these associations (which is close
  23. to an extended ER). Note that these classes are defined on the basis of
  24. behavior.
  25.  
  26. As I have mentioned in comp.object before, we have published something in 
  27. TOOLS '91 and also, more recently, as a Bellcore document "The Framework:
  28. a Disciplined Approach to Analysis".
  29.  
  30. Hope this helps.
  31.  
  32. -Haim Kilov
  33.  
  34. haim@bcr.cc.bellcore.com      or
  35. haim@dancer.cc.bellcore.com
  36.