Experience in validating protocol integration using Estelle - Archive ouverte HAL Access content directly
Conference Papers Year : 1990

Experience in validating protocol integration using Estelle

Jean-Marc Jézéquel


This paper presents a ten months long experiment led at TRANSPAC to check the interest of a Formal Description Technique like Estelle for industrial purposes. Through the Intelligent Network new service introduction, Estelle-and associated tools, e.g. VEDA and EC H ID N A-has been used for different purposes: validation of a brand new protocol and test of its implementation, modelisation of an already existing one, and validation of the integration of both protocols. After a brief introduction to the TRANSPAC framework, we present an outline of these experiments. Then we draw some conclusion on the suitability of both Estelle and the tools used in this context, and on the economical balance of such an approach to deal with concrete problems.
Fichier principal
Vignette du fichier
tpc.pdf (111.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00764941 , version 1 (12-03-2019)


  • HAL Id : hal-00764941 , version 1


Jean-Marc Jézéquel. Experience in validating protocol integration using Estelle. Third International Conference on Formal Description Techniques, Nov 1990, Madrid, Spain. ⟨hal-00764941⟩
79 View
40 Download


Gmail Facebook Twitter LinkedIn More