Re: Formal Specification in OSI

Article View: comp.protocols.iso

Article #794

Back to comp.protocols.iso Previous Next

#794

From: Graham Wheeler
Date: Thu, 11 Oct 1990 06:57

26 lines
1625 bytes

Hi again Erik

SDL (Specification & Description Language) is also FSM based, and has
both a graphic and a textual form. Probably the best would be for me
to quote a few references:

"SDL - CCITT Specification and Description Language", Rockstrom and
Saracco, IEEE Transactions on Communications, V30N6, June 1982

"A Meta-Implementation for SNA", Pozefsky and Smith, as above (this is
about IBM's FAPL)

I think the above issue may also have had something on LOTOS.

"Specifications of a Simplified Transport Protocol using different
Formal Description Techniques", Gregor Bochmann, Computer Networks
and ISDN Systems, #18, 1989/90, pp 335-377

The last is a comparison of Lotos, Estelle and SDL.

Hope these will be useful.

Graham Wheeler		      |	"Don't bother me,
Data Network Architectures Lab|		I'm reading a `Crisis'!"
Dept. of Computer Science     | Internet: <gram.uctcs@f4.n494.z5.fidonet.org>
University of Cape Town       |     BANG: <...uunet!ddsw1!olsa99!uctcs!gram>

Technical Details

Message-ID: <821@ucthpx.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!dali.cs.montana.edu!ogicse!zephyr.ens.tek.com!tektronix!nosun!qiclab!m2xenix!quagga!ucthpx!uctcs!gram

References: <1262@umvlsi.ecs.umass.edu> <802@ucthpx.UUCP> <ENAG.90Oct6194703@hild.ifi.uio.no>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!dali.cs.montana.edu!ogicse!zephyr.ens.tek.com!tektronix!nosun!qiclab!m2xenix!quagga!ucthpx!uctcs!gram
From: gram@uctcs.uucp (Graham Wheeler)
Newsgroups: comp.protocols.iso
Subject: Re: Formal Specification in OSI
Message-ID: <821@ucthpx.UUCP>
Date: 11 Oct 90 06:57:01 GMT
References: <1262@umvlsi.ecs.umass.edu> <802@ucthpx.UUCP> <ENAG.90Oct6194703@hild.ifi.uio.no>
Sender: news@ucthpx.UUCP
Reply-To: gram@staff.UUCP (Graham Wheeler)
Organization: Dept. of Computer Science, University of Cape Town
Lines: 26

Reply to Parent Message