On Tools Supporting the Use of Formal Description Techniques in Protocol Development

Abstract FDT tools support protocol development by making certain activities feasible, easier to be performed, more reliable, and faster. This paper discusses the desirable properties of FDT tools and classifies them according to the different stages of the protocol development cycle. An assessment of the tools available so far and projections (or suggestions) of the tools to come are given. A list of the tools that have appeared since the mid 1980's is also included.

[1]  W. Majurski.  Developing implementations of Estelle specifications using the PEDS toolkit , 1991, COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance.

[2]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[3]  Joseph Sifakis,et al.  Compilation and verification of LOTOS specifications , 1990, PSTV.

[4]  Henk Eertink,et al.  Design of the LOTOSPHERE Symbolic LOTOS Simulator , 1990, FORTE.

[5]  Paul D. Amer,et al.  Protocol Visualization of Estelle Specifications , 1990, FORTE.

[6]  David R. Gilbert.  A LOTOS to PARLOG Translator , 1988, FORTE.

[7]  Hubert Garavel,et al.  Compilation of LOTOS Abstract Data Types , 1989, FORTE.

[8]  To-Yat Cheung,et al.  An Executor for Graphical LOTOS , 1990, FORTE.

[9]  Rudie Alderden,et al.  COOPER - The Compositional Construction of a Canonical Tester , 1989, Formal Techniques for (Networked and) Distributed Systems.

[10]  Michael Atlevi.  SDT - The SDL Design Tool , 1988, FORTE.

[11]  Dietmar Wolz,et al.  Compilation of LOTOS Data Type Specifications , 1989, PSTV.

[12]  Pierre de Saqui-Sannes,et al.  ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project , 1988, FORTE.

[13]  Toru Hasegawa,et al.  A LOTOS compiler and process synchronization manager , 1990, PSTV.

[14]  Willem Jonker,et al.  An Interactive Programming Environment for LOTOS , 1990, FORTE.

[15]  Jean-Michel Ayache,et al.  EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software , 1988, FORTE.

[16]  Colin J. Fidge.  A LOTOS Interpreter for Simulating Real-Time Behaviour , 1990, FORTE.

[17]  Eric Madelaine,et al.  AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks , 1989, FORTE.

[18]  Elie Najm,et al.  PIL: A Tool for Pre-implementation of LOTOS , 1990, FORTE.

[19]  Martín Llamas Nistal,et al.  The Testing Functionalities of LOLA , 1990, Formal Techniques for (Networked and) Distributed Systems.

[20]  Peter van Eijk,et al.  LOTOS Tools Based on the Cornell Synthesizer Generator , 1989, PSTV.

[21]  Tomás de Miguel,et al.  From LOTOS to C , 1988, FORTE.

[22]  Paul D. Amer,et al.  Adding graphics and animation to Estelle , 1990 .

[23]  Marten van Sinderen,et al.  On the use of specification styles for automated protocol implementation from LOTOS to C , 1990, PSTV.

[24]  Jean-Marc Jézéquel,et al.  Un compilateur Estelle multi-processeurs pour l'expérimentation d'algorithmes distribués sur machines parallèles , 1989 .

[25]  Thomas Reps,et al.  The Synthesizer Generator: A System for Constructing Language-Based Editors , 1988 .

[26]  Luigi Logrippo,et al.  Derivation of Useful Execution Trees from LOTOS by using an Interpreter , 1988, Formal Techniques for (Networked and) Distributed Systems.

[27]  Rachid Sijelmassi,et al.  NIST Integrated Tool Set for Estelle , 1990, FORTE.

[28]  Luigi Logrippo,et al.  An interpreter for LOTOS, a specification language for distributed systems , 1988, Softw. Pract. Exp..

[29]  Jeroen Bruijning.  Evaluation and Integration of Specification Languages , 1987, Comput. Networks.

[30]  Claude Jard,et al.  Development of Véda, a Prototyping Tool for Distributed Algorithms , 1988, IEEE Trans. Software Eng..

[31]  Chris A. Vissers,et al.  FDTs for open distributed systems, a retrospective and a prospective view , 1990, Protocol Specification, Testing and Verification.

[32]  Pieter S. Kritzinger,et al.  A Protocol Engineering Workstation , 1989, Formal Techniques for (Networked and) Distributed Systems.

[33]  Peter Buchholz,et al.  Protocol Analysis Using a Timed Version of SDL , 1990, FORTE.

[34]  Günter Karjoth.  A LISP-Based LOTOS Environment , 1988, FORTE.

[35]  Gregor von Bochmann.  Usage of Protocol Development Tools: The Results of a Survey , 1987, PSTV.

[36]  Anders Ek,et al.  TA-2: A Prototype Analysing Dynamic SDL Properties , 1990, FORTE.

[37]  Arturo Azcorra,et al.  The SRTS Experience: Using TOPO for LOTOS Design and Realization , 1990, FORTE.

[38]  Pierre de Saqui-Sannes,et al.  From the Simulation to the Verification of Estelle Specifications , 1989, FORTE.

[39]  Tommaso Bolognesi,et al.  Squiggles - A Tool for the Analysis of LOTOS Specifications , 1988, FORTE.

[40]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[41]  Carlos Delgado Kloos,et al.  ASDE: Design of a Transformational Environment for LOTOS , 1989, FORTE.

[42]  Kou Miyake,et al.  Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System , 1990, FORTE.

[43]  Koichi Takahashi,et al.  A LOTOS Simulator in OBJ , 1990, FORTE.

[44]  Michael Atlevi,et al.  SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL , 1989, FORTE.

[45]  Stuart G. Johnston.  SPIDER - Service and Protocol Interactive Development Environment , 1988, FORTE.

[46]  Behçet Sarikaya,et al.  An Estelle Based Test Generation Tool for Modular Specifications , 1989, FORTE.

[47]  Kenneth J. Turner.  A LOTOS-Based Development Strategy , 1989, FORTE.