A New Approach for Distributing Estelle Specifications

@inproceedings{Lallet1995ANA,
  title={A New Approach for Distributing Estelle Specifications},
  author={E. Lallet and S. Fischer and J.-F. Verdier},
  booktitle={FORTE},
  year={1995}
}
Deriving distributed prototypes and implementations from formal speci cations 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 speci cation, compiled and linked with some communication libraries. In this paper, we propose a di erent approach… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Communication Protocols Implemented in Hardware: VHDL Generation from Estelle

  • J. Wytrebowicz, S. Budkowski
  • In VHDL-Forum for CAD in Europe,
  • 1994

Increasing the E ciency of Computer-aided Protocol Implementations

  • Thomas Held, Hartmut Konig
  • In Proceedings of the 14th Symposium on Protocol…
  • 1994

A Generator of C { Code for Estelle

  • T. Claes.
  • 1993

A Compiler for the Parallel Execution of Estelle Speci cations

  • R. Gotzhein.
  • 1989

The Formal Description Technique Estelle

  • M. Diaz, J.-P. Ansart, J.-P. Courtiat, P. Azema, V. Chari, editors
  • Elsevier Science Publishers B.V. (North{Holland),
  • 1989

User Guide for the NIST Prototype Compiler for Estelle

  • J. Favreau, M. Hobbs, B. Strausser, A. Weinstein
  • Technical Report No. ICST/SNA{87/3,
  • 1989

Similar Papers

Loading similar papers…