home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / protocol / iso / 1464 < prev    next >
Encoding:
Text File  |  1993-01-04  |  863 b   |  21 lines
  1. Newsgroups: comp.protocols.iso
  2. Path: sparky!uunet!world!hcb
  3. From: hcb@world.std.com (Howard C Berkowitz)
  4. Subject: Re: Formal Specifications of ISO Protocols
  5. Message-ID: <C0C1FG.AL9@world.std.com>
  6. Organization: The World Public Access UNIX, Brookline, MA
  7. References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk> <1993Jan4.100516@cs.utwente.nl>
  8. Date: Mon, 4 Jan 1993 13:57:16 GMT
  9. Lines: 10
  10.  
  11. Remember that the formal language specifications of such protocolos as
  12. Transport are advisory.  The formal specification remains the natural
  13. language document, with all its ambiguities.
  14.  
  15. A compromise position may be to look at the abstract test suites,
  16. written in TTCN, as a "more formal" specification which actually
  17. will be used.  I recognize TTCN is an informal language and a cumbersome
  18. one, but it does have somewhat more formalism than an English-language
  19. specificatin.
  20.  
  21.