Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!yale!husc6!m2c!umvlsi!jambo.ecs.umass.edu!satam
From: satam@jambo.ecs.umass.edu (Kirtikumar Satam)
Newsgroups: comp.protocols.iso
Subject: Formal Specification in OSI
Keywords: FDT, Estelle and LOTOS.
Message-ID: <1262@umvlsi.ecs.umass.edu>
Date: 1 Oct 90 20:40:19 GMT
Sender: news@umvlsi.ecs.umass.edu
Reply-To: satam@jambo.ecs.umass.edu
Organization: University of Massachusetts at Amherst
Lines: 34

Hi!

I am a graduate student of University of Massachusetts and I need to
write (or to specify) protocols for a network architecture using one of
the formal protocol specification language.

 Now, as I understand, there are three FDTs standardised in the world.
Estelle and LOTOS by ISO and SDL by CCITT. Unfortunately, I could not
get any actual material on it. The only discussion on the above topic
that I could find was "IFIP workshops on Protocol Specification, testing
and Verification". I also don't have any DPs from ISO on Estelle (DP
9074) and LOTOS (DP 8807) as well as SDL ( Z.100, I think) as of now.

	I need to first understand the differences between these three and
also need to know which will emerge as the "Specification Language" in
the future. I also might need to develop a translator for the FDT chosen
for simulating the specifications on computer.

	Thus, I would appreciate all pointers to books, papers, publications
personal experiences which will help me in my work. This being a crucial
part of my thesis, any help from you will go a long way in helping me.

	I would appreciate personal e-mails, but if it contributes to a
lively discussion on net, please post it on net too so that more people
will able to express their opinions and experiences.

-satam.
------------------------------------------------------------------------------
Kirtikumar Ghanashyam Satam
INTERNET : satam@jambo.ecs.umass.edu
BITNET : satam@umaecs.bitnet
HOME : #68, Colonial Village, Amherst, MA 01002. TEL: 413-253-0954.
SCHOOL : #114, Marcus Hall, Dept. of ECE, UMASS, Amherst, MA 01003.
------------------------------------------------------------------------------