An Introduction to Estelle: A Specification Language for Distributed Systems

Abstract 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.

[1]  Gregor von Bochmann,et al.  Finite State Description of Communication Protocols , 1978, Comput. Networks.

[2]  Paul D. Amer,et al.  Formal specification of ISO virtual terminal in Estelle , 1988, IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?.

[3]  Gregor von Bochmann.  Usage of Protocol Development Tools: The Results of a Survey , 1987, PSTV.

[4]  Pierre Azéma,et al.  On a Prolog Environment for Protocol Analysis , 1986, ICDCS.

[5]  Deepinder P. Sidhu,et al.  Semi-Automatic Implementation of OSI Protocols , 1989, Comput. Networks ISDN Syst..

[6]  Joseph Sifakis,et al.  Verification in XESAR of the Sliding Window Protocol , 1987, PSTV.

[7]  Jean-Pierre Courtiat,et al.  LC/1, A Specification and Implementation Language for Protocols , 1983, Protocol Specification, Testing, and Verification.

[8]  C.A. Vissers,et al.  Formal description techniques , 1983, Proceedings of the IEEE.

[9]  Omar Rafiq,et al.  PDIL-Protocol Description and Implementation Language , 1982, PSTV.

[10]  Thomas P. Blumer,et al.  A Formal Specification Technique and Implementation Method for Protocols , 1982, Comput. Networks.

[11]  Stanislaw Budkowski,et al.  Simulating Estelle Specifications with Time Parameters , 1987, PSTV.