home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / specific / 598 < prev    next >
Encoding:
Internet Message Format  |  1993-01-02  |  1.3 KB
  1. Path: sparky!uunet!softrue!kearns
  2. From: kearns@softrue.UUCP (Steven Kearns)
  3. Newsgroups: comp.specification
  4. Subject: Re: Theoretical limitations of algebraic specifications?
  5. Message-ID: <36.UUL1.3#8618@softrue.UUCP>
  6. Date: Wed, 30 Dec 92 22:41:57 PDT
  7. References: <1992Dec31.000439.8884@gmuvax2.gmu.edu>
  8. Organization: Software Truth
  9. Lines: 24
  10.  
  11. > I have been struggling with an algebraic spec for a couple of days and
  12. > ...
  13. > More specifically, I am trying to specify a tree that has the notion of
  14. > a "current node", and operations to change the current node.  The ....
  15. > Jeff Offutt
  16. > Department of ISSE, George Mason University, Fairfax VA
  17. > email: ofut@gmuvax2.gmu.edu
  18. > phone: (703) 993-1654 (messages: 993-1640)
  19.  
  20. It has been shown that Majester's stack (sp?), which is a stack with 
  21. a pointer to an arbitrary element (if memory serves), requires an infinite
  22. set of algebraic axioms to specify.  
  23.  
  24. The practical point is that algebraic specs are very poor at
  25. describing objects with state.  If you want to describe such an
  26. object, use a model based spec language (such as Z).
  27.  
  28. -steve
  29.  
  30. ********************************************************
  31. * Steven Kearns            ....uunet!softrue!kearns    *
  32. * Software Truth           softrue!kearns@uunet.uu.net *
  33. ********************************************************
  34.  
  35.