home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / object / 4267 < prev    next >
Encoding:
Internet Message Format  |  1992-11-19  |  1.8 KB
  1. Path: sparky!uunet!olivea!spool.mu.edu!agate!linus!linus.mitre.org!linus!sdl
  2. From: sdl@linus.mitre.org (Steven D. Litvintchouk)
  3. Newsgroups: comp.object
  4. Subject: Re: Constraint Management / Consistency Checking
  5. Message-ID: <SDL.92Nov18104103@rigel.linus.mitre.org>
  6. Date: 18 Nov 92 15:41:03 GMT
  7. References: <2930569391.0.p00058@psilink.com>
  8. Sender: news@linus.mitre.org (News Service)
  9. Organization: The MITRE Corporation, Bedford, MA
  10. Lines: 40
  11. In-Reply-To: "Ronald C. Schultz"'s message of Wed, 11 Nov 1992 11:09:08 GMT
  12. Nntp-Posting-Host: rigel.mitre.org
  13.  
  14.  
  15. In article <2930569391.0.p00058@psilink.com> "Ronald C. Schultz" <p00058@psilink.com> writes:
  16.  
  17. > Does anyone have any references as to how to implement constraints or 
  18. > consistency checking within object-oriented systems?  
  19.  
  20. There has been quite a bit of research in this area.  Just as
  21. important as the issue of how constraints are organized, is the issue
  22. of how constraints should be evaluated/solved.  Examples:
  23.  
  24. "The Programming Language Aspects of Thinglab," by A. Borning.  ACM
  25. TOPLAS, Oct. 1981.
  26.  
  27. "Integrating Constraints with an Object-Oriented Language," B.
  28. Freeman-Benson and A. Borning.  Proceedings of 1992 European
  29. Conference on OO Languages.
  30.  
  31. > without having to recompile code.  Similar kinds of rules appear in CASE 
  32. > tools to restrict, or constrain, the connecting of one symbol to other 
  33. > symbols in a diagram.
  34.  
  35. An example of a GUI builder that does this is Garnet.  There was an
  36. article on Garnet in IEEE Computer, November 1990.
  37.  
  38. Besides all this, there has also been a lot of work on integrating
  39. rules (in an expert system sense) with imperative object-oriented
  40. programming.
  41.  
  42.  
  43.  
  44. --
  45. Steven Litvintchouk
  46. MITRE Corporation
  47. 202 Burlington Road
  48. Bedford, MA  01730
  49.  
  50. Fone:  (617)271-7753
  51. ARPA:  sdl@mitre.org
  52. UUCP:  linus!sdl
  53.     "Where does he get those wonderful toys?"
  54.