🚀 go-pugleaf

Some time ago, I posted a request for information on SDL tools.
I got five responses: Heine Christensen, Ove Faergemand, Joost Katoen,
Gerard Cohen and Gregor v. Bochmann, thanks.

Here is my summary, the lines starting with 3 dashes (---) are added by
myself.

Greetings

Willem Levelt.


----------------------------------
Hi

Regarding SDL tools:
We have an SDL tool developed at TFL (Telecommunications
Research Laboratory, Denmark) that is called the static semantics
analyzer. It parses the specification in textual form and performs
some semantical analysis. It is available from anders@tfl.dk at the
price of 3500 danish kroner. 

Regards,

Heine Christensen                    email: heine@tfl.dk
TFL ( Telecommunications Research Laboratory )
Lyngsoe alle 2
2970 Hoersholm
Denmark
tlf.: +45 45 76 64 44
fax : +45 45 76 63 36


----------------------------------

- GEODE (French	firm Verilog, working on SUN3, Apollo, HP9000, VAX/VMS)
    features: graphical editor, translator between SDL-TR en SDL-GR, semantical 
    checker, simple report generators. Working on code generation (C).
    Licence per workstation. Based on SDL'88. 

- SDL Design Tool (SDT) (Telelogic Europe S.A., Swedisch Telecom, VAX, SUN,
    Apollo, IBM PC/AT). features: graphical editor, report generator, based on
    SDL'84. Code generators to ADA and C should be developed by now (?).
    Licence per workstation (70.000 Skr).

--- A new version is available now that supports (part of?) SDL'92


- ETRI SDL environment (Electronics and Telecommunication Research Institute,
    Korea) (see a.o. J. Hong et. al.-SDL-oriented graphical environment, third
    SDL forum 1987). Only for SUNs. Graphical editor, semantic analyzers,
    transformers (SDl --> CHILL, SDL --> Numerical Petri Nets). Translation
    of data types seems to be a problem. Licence not to expensive, but
    service???

- CSELT tool (SDL'84), report generator, but no simulator.

- Siemens tool. Features: graphical editor, semantic checkers, simulator, SDL GR
    <--> SDL TR,  SDL --> C & SDL --> CHILL, test generator. Apollo and OS/2.

- Danish SDL Tool (Danish telephone Administrations and Jutland Telephone)
    Features: graphical editor, GR <--> TR, se,mantoc analyzer, report generator,
    pretty printer. Not commercially available.


Groetjes,
    Joost Katoen.


    ___             
 __/   \__________  Joost-Pieter Katoen             <katoen@cs.utwente.nl>
|  \___/          | University of Twente                fax. +31 53 333815
|___     __   ___ | Dept. of Computing Science          tel. +31 53 893678
| |  |  /  \ (__  | Tele-Informatics & Open Systems 
| |  |  \__/____) | P.O. Box 217    NL-7500 AE Enschede    The Netherlands
|_________________| 


---------------------------------------

There is an SDL tool in the CONCERTO software factory.
It includes an editor (graphical and textual formats),
a static controller, and an archive system allowing the mapping
of SDL systems into files and referencing of SDL structures
down to states.
If you need more information, please ask.
Regards.
Gerard.Cohen@sema_taa.fr  (tel: +33-1-40 92 40 23).

---------------------------------------

We are in the process of developing a tool which translates much of 
SDL into Estelle.
Gregor v. Bochmann

-- 
Gregor v. Bochmann      Departement d'IRO      Universite de Montreal
e-mail: Bochmann@IRO.UMontreal.CA
Tel: (514) 343-7484     Fax: (514) 343-5834


---------------------------------------


Hi Willem,

You will find a list of SDL-tools in proceedings of SDL-Forum 91 (end of book).

--- This list contains information about: CROCOS, EDDIE/DOC TOOL, ESCORT, 
--- GEODE, MELBA SDL TOOLS, RIGA-SDL, SBA, SDL ENVIRONMENT, SDT,
--- SIGRAPH-SET and GTS.
--- Lists, with even more tools, can be found in the proceedings of the
--- SDL-Forum's of 1987 and 1989.

regards, Ove Faergemand

---------------------------------------
-- 
Willem Levelt                                PTT Research, Dr. Neher Lab.
W.G.Levelt@research.ptt.nl                   St. Paulusstraat 4
(+31) 70 3323829                             2260 AK Leidschendam