Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!udel!ee.udel.edu
From: new@ee.udel.edu (Darren New)
Newsgroups: comp.specification
Subject: Re: formal system specification surveys
Keywords: formal specification language, survey, taxonomy
Message-ID: <39711@nigel.ee.udel.edu>
Date: 20 Dec 90 19:21:13 GMT
References: <1990Dec17.190909.10829@news.nd.edu> <1990Dec19.144145@cs.utwente.nl>
Sender: usenet@ee.udel.edu
Organization: University of Delaware
Lines: 17
Nntp-Posting-Host: snow-white.ee.udel.edu

In article <1990Dec19.144145@cs.utwente.nl> kremer@cs.utwente.nl (Harro Kremer) writes:
>I think you are missing the third Formal Specification Technique
>standardized by ISO: namely LOTOS.

Actually, to pick a nit, I think only LOTOS and Estelle were standardized
by ISO.  I think SDL has only been standardized by CCITT.

Also, don't forget CHILL and ASN.1

I don't know anything about CHILL.  ASN.1 is a language for describing
data structures.  I don't know how "formal" you would consider it.
	-- Darren
-- 
--- Darren New --- Grad Student --- CIS --- Univ. of Delaware ---
----- Network Protocols, Graphics, Programming Languages, 
      Formal Description Techniques (esp. Estelle), Coffee, Amigas -----
              =+=+=+ Let GROPE be an N-tuple where ... +=+=+=