Article View: comp.protocols.iso
Article #1391Re: Formal Specifications of ISO Protocols
From: Harro Kremer
Date: Tue, 05 Jan 1993 08:14
Date: Tue, 05 Jan 1993 08:14
25 lines
1718 bytes
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!kremerReferences:
<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