On tools supporting the use of formal description techniques in protocol development

Computer Networks and ISDN Systems

Volumn 25, Issue 7, 1993, Pages 723-739

  Chanson, S T ^a   Loureiro, S A F ^a   Vuong, S T ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Estelle; FDT tools; FDTs; LOTOS; protocol engineering; SDL

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER NETWORKS; FORMAL LANGUAGES; FORMAL LOGIC; STANDARDS;

ESTELLE; FORMAL DESCRIPTION TECHNIQUE (FDT); LANGUAGE OF TEMPORAL ORDERING SPECIFICATION (LOTOS); PROTOCOL ENGINEERING;

NETWORK PROTOCOLS;

EID: 0027543769     PISSN: 01697552     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-7552(93)90045-6     Document Type: Article

References (107)

1. COOPER: the compositional construction of a canonical tester
2. SDT ‘The SDL design tool’
3. SDT: a real-time CASE tool for the CCITT specification language SDL
4. EWS—an integrated workstation for the design and the automatic generation of distributed software
5. Estelle validation and PROLOG interpreted Petri nets
6. SDL tools for rapid prototyping and testing
7. Protocol analysis using a timed version of SDL
8. Usage of protocol development tools: the results of a survey
9. Test result analysis in respect to formal specifications
10. Test result analysis and validation of test verdicts
11. Squiggles: a tool for the analysis of LOTOS specifications
12. CENTAUR: the system
13. Exhaustive validation and test generation in ELVIS
14. TESDL: experience with generating test cases from SDL specifications
15. ELVIS: an integrated SDL environment
16. CCITT Specification and Description Language SDL, Recommendation Z.100
17. An Estelle simulator/debugger tool (EDB)
18. The Estelle translator
19. MELBA+: an SDL software engineering environment
20. An executor for graphical LOTOS
21. Generating test sequences and their degrees of indeterminism for distributed systems (with application to LOTOS)
22. UOGLOTOS: a syntax/system for representing, editing and translating graphical LOTOS
23. Automated verification of protocols using EDS
24. The EVA tool: an approach to verify structuring in Estelle specifications
25. Estelle∗: a powerful dialect of Estelle for OSI protocol description
26. Introducing a rendez-vous mechanism in Estelle: Estelle∗
27. LOTOS tools based on the Cornell Synthesizer Generator
28. Design of the LOTOSPHERE symbolic LOTOS simulator
29. The Formal Description Technique LOTOS
30. On the use of specification styles for automated protocol implementation from LOTOS to C
31. TA-2, a prototype analysing dynamic SDL properties
32. GEODE: an industrial environment for designing real time distributed systems in SDL
33. Aldébaran: a tool for verification of communication processes
34. Verifying bisimilations on the fly
35. A basic LOTOS interpreter
36. A LOTOS interpreter for simulating real-time behaviour
37. An Estelle based test generation tool for modular specifications
38. Compilation of LOTOS abstract data types
39. Compilation and verification of LOTOS specifications
40. A LOTOS to Parlog translator
41. Executing large LOTOS specifications
42. Derivation of useful execution trees from LOTOS by using an interpreter
43. Transformational program development: an approach for translating SDL to CHILL
44. OST: an object oriented SDL tool
45. Integrated SDL environment
46. LOTTE: a LOTOS tool environment
47. An interactive programming environment for LOTOS
48. Development of VEDA: a prototyping tool for distributed algorithms
49. Outils pour l'expérimentation d'algoritmes distribués sur machines parallèles
50. A multi-processor Estelleto-C compiler to prototype distributed algorithms on parallel machines
51. Un compilateur Estelle multi-processeurs pour l'expérimentation d'algorithms distribués sur machines parallèles
52. The Danish SDL-tool
53. SPIDER: Service and Protocol Interactive Development Environment
54. A LISP-based LOTOS environment
55. SSI: an SDL simulation tool
56. OSI testing environment based on standardized formalisms
57. A protocol engineering workstation
58. ASDE: design of a transformational environment for LOTOS
59. LCRIS: a LOTOS PC-based integrated environment
60. An interpreter for LOTOS, a specification language for distributed systems
61. LOTEST: a LOTOS Test Case Generation Tool
62. FDT tools for protocol development
63. From LOTOS to C
64. AUTO: a verification tool for distributed systems using reduction of finite automata networks
65. Developing implementations of Estelle specifications using the PEDS toolkit
66. SDL on-line help
67. The SRTS experience: using topo for LOTOS design and realization
68. Automatic code generation from SDL to C + + for an integrated software development support system
69. Protocol visualization of Estelle specifications
70. Adding graphics and animation to Estelle
71. Testing equivalences for processes
72. SDL toolbox to support different SDL environments
73. A LOTOS compiler and process synchronization manager
74. A basic LOTOS simulator in OBJ
75. A LOTOS simulator in OBJ
76. The SPECS SDL tower tools
77. The testing functionalities of LOLA
78. Evaluation of an empirical approach for computer-aided test case generation
79. From Estelle specifications to industrial test suites, using an empirical approach
80. PIL: a tool for pre-implementation of LOTOS
81. Transforming LOTOS specifications with LOLA
82. ESTIM: the Estelle simulator prototype of the ESPRIT-SEDOS project
83. ∗ specifications
84. Rapid prototyping of ane Estelle simulator
85. An object-oriented model for Estelle and its Smalltalk implementation
86. User guide for WISE—a simulation environment for Estelle
87. NIST integrated tool set for Estelle
88. User Guide for WIZARD: a syntax-directed editor and translator for Estelle
89. Internal guide for the NBS prototype compiler for Estelle
90. User guide for the NBS prototype compiler for Estelle
91. Evaluation and integration of specification languages
92. A LOTOS-based development strategy
93. DASOM: a SDL tool
94. FDTs for open distributed systems: a retrospective and a prospective view
95. UBS Estelle-C compiler (version 2.3): user's manual and internal guide
96. Compilation of LOTOS data type specifications
97. Tool set development and the use of SDL