home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / object / 4210 < prev    next >
Encoding:
Text File  |  1992-11-12  |  1.4 KB  |  33 lines
  1. Newsgroups: comp.object
  2. Path: sparky!uunet!walter!porthos!dancer!haim
  3. From: haim@dancer.cc.bellcore.com (kilov,haim)
  4. Subject: Re: Constraint Management / Consistency Checking
  5. Organization: Bellcore, Livingston, NJ
  6. Date: Thu, 12 Nov 92 15:47:37 GMT
  7. Message-ID: <1992Nov12.154737.26597@porthos.cc.bellcore.com>
  8. References: <2930569391.0.p00058@psilink.com>
  9. Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
  10. Lines: 21
  11.  
  12. In response to Ron Schultz's question:
  13. that has a stated rule that for a
  14. particular checking account, that is only a credit card account for the same
  15. customer can be used to  provide overdraft protection for the checking
  16. account.  I am looking for a means to centrally locate these "rules" or
  17. constraints so that if the rule changes, I can change it in one location
  18. --
  19.  
  20. These rules (constraints) are the preconditions for the corresponding
  21. operations. Certainly, the same operation may be reused more than once,
  22. but it has to be specified (i.e., its pre- and postconditions should be
  23. stated) only once. The particular operation here is "attempt overdraft
  24. protection". This stuff can be formulated, e.g., in Z (see Pamela Zave and
  25. Michael Jackson. Techniques for partial specifiction and specification of
  26. switching systems. Lecture Notes in Computer Science, Springer Verlag,
  27. Vol. 551 (1991), pp. 511-525).
  28.  
  29. Hope this helps.
  30.  
  31. -Haim Kilov
  32. haim@bcr.cc.bellcore.com
  33.