An Introduction to Estelle: A Specification Language for Distributed Systems

@article{Budkowski1987AnIT,
  title={An Introduction to Estelle: A Specification Language for Distributed Systems},
  author={Stanislaw Budkowski and Piotr Dembinski},
  journal={Computer Networks},
  year={1987},
  volume={14},
  pages={3-23}
}
Estelle is a Formal Description Technique, defined within ISO (International Organization for Standardization) for specification of distributed, concurrent information processing systems. In particular, Estelle can be used to describe the services and protocols of the layers of Open Systems Interconnection (OSI) architecture defined by ISO. Its present ISO status is Draft International Standard (DIS 9074). The article outlines syntactic and semantic aspects of this description technique. 
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 129 extracted citations

References

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

Design of Translator from Estelle with ANS.1 to ADA; KDD, Information Processing Laboratory

  • T. Kato, T. Hasegara, H. Horinchi
  • 1987

ESTELLE: un language pour les algorithmes distriburs et les protocoles

  • J. P. Courtiat, P. Dembinski, R. Groz, C. Jard
  • Technique et Science Informatiques,
  • 1987

ESTIM: An Interpreter for the Simulation of Estelle Descriptions

  • P DeSaqui-Sannes, Courtiat J-P
  • SEDOS Rep. SEDOS/ll5,
  • 1987

Estelle Description of the ISO Session Protocol

  • P. Mondain-Monval
  • SEDOS Rep. SEDOS/106,
  • 1987

Estelle and LOTOS Software Environments for the Design of Open Distributed Systems

  • M. Diaz, Ch. Vissers, S. Budkowski
  • Proc. ESPRIT Conference Week,
  • 1987
1 Excerpt

Formal Specification of ISO Virtual Terminal in Estelle

  • P. D. Amer, F. Ceceli, G. Juanole
  • CIS Dept. Tech. Report 87-12,
  • 1987
2 Excerpts

Petri Nets Based Semantics for Estelle

  • J. P. Courtiat
  • SEDOS Rep. SEDOS/109,
  • 1987
2 Excerpts

Semantic Well- Formedness of Estelle Specification Transitions

  • P. D. Amer, M. Srivas, A. Pridor
  • CIS Dept. Tech. Report 87-10,
  • 1987
1 Excerpt

Similar Papers

Loading similar papers…