home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / specific / 599 < prev    next >
Encoding:
Internet Message Format  |  1993-01-03  |  1.9 KB
  1. Path: sparky!uunet!pmafire!news.dell.com!natinst.com!cs.utexas.edu!zaphod.mps.ohio-state.edu!swrinde!gatech!concert!uvaarpa!gems.vcu.edu!fritz
  2. From: fritz@gems.vcu.edu (J. E. Fritz)
  3. Newsgroups: comp.specification
  4. Subject: Re: Theoretical limitations of algebraic specifications?
  5. Message-ID: <1993Jan3.125452.243@gems.vcu.edu>
  6. Date: 3 Jan 93 12:54:52 -0400
  7. References: <1992Dec31.000439.8884@gmuvax2.gmu.edu> <36.UUL1.3#8618@softrue.UUCP>
  8. Organization: Virginia Commonwealth University
  9. Lines: 36
  10.  
  11. In article <36.UUL1.3#8618@softrue.UUCP>, kearns@softrue.UUCP (Steven Kearns)
  12. writes:
  13. >> I have been struggling with an algebraic spec for a couple of days and
  14. >> ...
  15. >> More specifically, I am trying to specify a tree that has the notion of
  16. >> a "current node", and operations to change the current node.  The ....
  17. >> Jeff Offutt
  18. >> Department of ISSE, George Mason University, Fairfax VA
  19. >> email: ofut@gmuvax2.gmu.edu
  20. >> phone: (703) 993-1654 (messages: 993-1640)
  21. [...]
  22. > 
  23. > It has been shown that Majester's stack (sp?), which is a stack with 
  24. > a pointer to an arbitrary element (if memory serves), requires an infinite
  25. > set of algebraic axioms to specify.  
  26.  
  27. Only if you disallow auxiliary functions (functions not intended to be
  28. implemented).
  29.  
  30. > The practical point is that algebraic specs are very poor at
  31. > describing objects with state.  If you want to describe such an
  32. > object, use a model based spec language (such as Z).
  33.  
  34. Could you give us a short example, say of the extended stack you mention
  35. above?
  36.  
  37. > -steve
  38. > 
  39. > ********************************************************
  40. > * Steven Kearns            ....uunet!softrue!kearns    *
  41. > * Software Truth           softrue!kearns@uunet.uu.net *
  42. > ********************************************************
  43.  
  44. Antediluvian newsbreak:           |  J. E. Fritz    (fritz@ruby.vcu.edu)
  45.   Scientists discover 4th prime;  |  VCU and I don't talk _to_ each other,
  46.   proof at eleven.                |  let alone for each other.
  47.