| Article |
| Type of Publication |
| A New Approach for Distributing Estelle
Specifications |
| Title |
|
Eric Lallet
Jean-Francois Verdier
|
| Authors |
| Formal Description Techniques VIII (Proceedings of
FORTE'95, pp.
439-448, 1995 |
| Published in |
| 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 communciation libraries. In this paper, we
propose a different approach consisting of first splitting up the
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 ans
comparisons with another Estelle code generator, Pet/Dingo, show
its usefulness. |
| Abstract |
|
Estelle
Tools
Distribution Method
Implementation
|
| Keywords |
| [PDF]
[BIB] [XML] |
| Downloads & Bib-Entries |
