A new approach for distributing Estelle specifications

E. Lallet, S. Fischer, J.-F. Verdier


Deriving distributed prototypes and implementations from formal specifications is one of the most important aspects of an implementation-oriented language like Estelle. Some tools already exist allowing the generation of distributed programs to be executed on a computer network. All these tools follow the same approach: code in a programming language is directly generated from the specification, compiled and linked with some communication libraries. In this paper, we propose a different approach consisting of first splitting up the specification into as many specifications as there were subsystems in the initial specification. The programming language code will then be generated from all these generated specifications. We show the advantages of this approach. The new method is being integrated into the Estelle Development Toolset. Runtime measurements and comparisons with another Estelle code generator, Pet/Dingo, show its usefulness.
Original languageEnglish
Title of host publicationFormal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
EditorsGregor v. Bochmann, Rachida Dssouli, Omar Rafiq
Number of pages10
Place of PublicationBoston, MA
PublisherSpringer US
Publication date1996
ISBN (Print)978-1-5041-2958-9
ISBN (Electronic)978-0-387-34945-9
Publication statusPublished - 1996
EventProceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques
- Montreal, Canada
Duration: 01.10.199501.10.1995


Dive into the research topics of 'A new approach for distributing Estelle specifications'. Together they form a unique fingerprint.

Cite this