🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.protocols.iso
Article #1391

Re: Formal Specifications of ISO Protocols

#1391
From: Harro Kremer
Date: Tue, 05 Jan 1993 08:14
25 lines
1718 bytes
In article <C0C1FG.AL9@world.std.com>, hcb@world.std.com (Howard C Berkowitz)
writes:
|> Remember that the formal language specifications of such protocolos as
|> Transport are advisory.  The formal specification remains the natural
			        ^^^^^^
	What interpretation are you using here? Shouldn't this be "official"

|> language document, with all its ambiguities.

|> A compromise position may be to look at the abstract test suites,
|> written in TTCN, as a "more formal" specification which actually
|> will be used.  I recognize TTCN is an informal language and a cumbersome
|> one, but it does have somewhat more formalism than an English-language
|> specificatin.

[ Flames omitted ]
-- 
     ___            Harro Kremer                  <kremer@cs.utwente.nl>
 ___/   \_______
|   \___/       | Univ. of Twente,   Dept. Computer Science,  TIOS-group
| ___    _   __ | P.O. Box 217,   NL-7500 AE  Enschede,  The Netherlands
|  |  | / \ (_  |                 tel: +31 53 89 3703 fax: +31 53 333815
|  |  | \_/ __) | 
|_______________| Freedom's just another word for nothing left to loose.
                                   - Kris Kristofferson & Janis Joplin -
Technical Details
Message-ID: <1993Jan5.091447@cs.utwente.nl>
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!kremer
References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk> <1993Jan4.100516@cs.utwente.nl> <C0C1FG.AL9@world.std.com>

Show Full Headers
Complete Article Headers
Newsgroups: comp.protocols.iso
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!kremer
From: kremer@cs.utwente.nl (Harro Kremer)
Subject: Re: Formal Specifications of ISO Protocols
Message-ID: <1993Jan5.091447@cs.utwente.nl>
Sender: usenet@cs.utwente.nl
Nntp-Posting-Host: utis180
Organization: University of Twente, Dept. of Computer Science
References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk> <1993Jan4.100516@cs.utwente.nl> <C0C1FG.AL9@world.std.com>
Date: Tue, 5 Jan 1993 08:14:47 GMT
Lines: 25