Re: Formal Specifications of ISO Protocols

Article View: comp.protocols.iso

Article #1389

Back to comp.protocols.iso Previous Next

#1389

From: Howard C Berkowitz
Date: Mon, 04 Jan 1993 13:57

9 lines
881 bytes

Remember that the formal language specifications of such protocolos as
Transport are advisory.  The formal specification remains the natural
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.

Technical Details

Message-ID: <C0C1FG.AL9@world.std.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!world!hcb

References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk> <1993Jan4.100516@cs.utwente.nl>

Show Full Headers

Complete Article Headers

Newsgroups: comp.protocols.iso
Path: arc1-ca.pugleaf.net!sparky!uunet!world!hcb
From: hcb@world.std.com (Howard C Berkowitz)
Subject: Re: Formal Specifications of ISO Protocols
Message-ID: <C0C1FG.AL9@world.std.com>
Organization: The World Public Access UNIX, Brookline, MA
References: <1992Dec28.064433.14965@cucs5.cs.cuhk.hk> <1993Jan4.100516@cs.utwente.nl>
Date: Mon, 4 Jan 1993 13:57:16 GMT
Lines: 10

Reply to Parent Message