home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / protocol / iso / 1466 < prev    next >
Encoding:
Text File  |  1993-01-05  |  1.6 KB  |  38 lines
  1. Newsgroups: comp.protocols.iso
  2. Path: sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!kremer
  3. From: kremer@cs.utwente.nl (Harro Kremer)
  4. Subject: Re: Formal Specifications of ISO Protocols
  5. Message-ID: <1993Jan5.091447@cs.utwente.nl>
  6. Sender: usenet@cs.utwente.nl
  7. Nntp-Posting-Host: utis180
  8. Organization: University of Twente, Dept. of Computer Science
  9. References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk> <1993Jan4.100516@cs.utwente.nl> <C0C1FG.AL9@world.std.com>
  10. Date: Tue, 5 Jan 1993 08:14:47 GMT
  11. Lines: 25
  12.  
  13. In article <C0C1FG.AL9@world.std.com>, hcb@world.std.com (Howard C Berkowitz)
  14. writes:
  15. |> Remember that the formal language specifications of such protocolos as
  16. |> Transport are advisory.  The formal specification remains the natural
  17.                     ^^^^^^
  18.     What interpretation are you using here? Shouldn't this be "official"
  19.  
  20. |> language document, with all its ambiguities.
  21.  
  22. |> A compromise position may be to look at the abstract test suites,
  23. |> written in TTCN, as a "more formal" specification which actually
  24. |> will be used.  I recognize TTCN is an informal language and a cumbersome
  25. |> one, but it does have somewhat more formalism than an English-language
  26. |> specificatin.
  27.  
  28. [ Flames omitted ]
  29. -- 
  30.      ___            Harro Kremer                  <kremer@cs.utwente.nl>
  31.  ___/   \_______
  32. |   \___/       | Univ. of Twente,   Dept. Computer Science,  TIOS-group
  33. | ___    _   __ | P.O. Box 217,   NL-7500 AE  Enschede,  The Netherlands
  34. |  |  | / \ (_  |                 tel: +31 53 89 3703 fax: +31 53 333815
  35. |  |  | \_/ __) | 
  36. |_______________| Freedom's just another word for nothing left to loose.
  37.                                    - Kris Kristofferson & Janis Joplin -
  38.