Path: utzoo!attcan!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!usc!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!hp4nl!utrcu1!infnews!infnews!kremer
From: kremer@cs.utwente.nl (Harro Kremer)
Newsgroups: comp.specification
Subject: Re: formal system specification surveys
Keywords: formal specification language, survey, taxonomy
Message-ID: <1990Dec19.144145@cs.utwente.nl>
Date: 19 Dec 90 13:41:45 GMT
References: <1990Dec17.190909.10829@news.nd.edu>
Sender: usenet@cs.utwente.nl
Reply-To: kremer@cs.utwente.nl (Harro Kremer)
Organization: University of Twente, Dept. of Computer Science
Lines: 23


|> I'm also interested in any tutorials, texts, papers, etc. on particular 
|> specification "languages" including, but not limited to: SDL, Z, PSL/PSA,
|> SADT, RSL, Anna, IORL, Gypsy, OBJ, and Estelle.
|> 

I think you are missing the third Formal Specification Technique
standardized by ISO: namely LOTOS.

Because of the differences between LOTOS and the mentioned languages,
LOTOS should be included in your survey.

Harro

+----------------------------------------------------------+
| Harro Kremer                                             |
| Dept. of Computer Science                                |
| University of Twente                                     |
| P.O. Box 217                Email: kremer@cs.utwente.nl  |
| 7500 AE  Enschede           voice: +31 53 89 2819        |
| Netherlands                 fax  : +31 53 33 3815        |
+----------------------------------------------------------+
<No flame yet>