home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / specific / z / 542 < prev    next >
Encoding:
Internet Message Format  |  1993-01-28  |  1.3 KB
  1. Path: sparky!uunet!ogicse!flop.ENGR.ORST.EDU!rutgers!rochester!rocksanne!news
  2. From: kirby@xerox.com (Mike Kirby)
  3. Newsgroups: comp.specification.z
  4. Subject: Z and other design methodologies
  5. Message-ID: <1993Jan26.154610.27454@spectrum.xerox.com>
  6. Date: 26 Jan 93 15:46:10 GMT
  7. Article-I.D.: spectrum.1993Jan26.154610.27454
  8. Sender: news@spectrum.xerox.com
  9. Reply-To: kirby@xerox.com
  10. Organization: Xerox Corporation, Webster NY
  11. Lines: 20
  12.  
  13. I am a new user to Z.  I've picked up most of the syntax.  But I have some questions
  14. about how to go about applying it.  One of the most useful features of your 
  15. traditional design and analysis methodologies (like rumbaugh, shlaer/mellor, etc..) is
  16. the state-transition diagram.  Is there a way in Z to model not only the
  17. states, but the transitions into and outof different states?  It would be
  18. nice if I could specify states, and then when  I specify my member functions
  19. I can describe the state that this function is valid for. 
  20.  
  21. I am using the Object-Z Specification descripted in TR91-1 from Duke et al.
  22. Is there a newer specification that is available?  
  23.  
  24. Thanks,
  25. Mike Kirby
  26. Xerox Corp
  27. E-mail: kirby.roch803@xerox.com
  28.  
  29. Refs:
  30.  
  31. Roger King, et al., "The Object-Z Specification Language, Version 1,"  Technical
  32. Report 91-1, University of Queensland, Queensland Australia, May 1991
  33.