Abstract. This paper presents a tutorial introduction to Estelle, a formal description tech- nique developed within ISO for specifying OSI.

A test design tool for functional analysis and test derivation of protocols formally specified using an extended finitestate machine model is presented.

The approach converted the specification written in Estelle [59] into a simpler form in order to construct control and data flow graphs to be used in test ...

This paper presents a success story of specifying a complex real-life protocol (MIL-. STD 188-220) in Estelle and generating test sequences from the formal ...

The characteristics of the Estelle specification language are analyzed and a well-defined specification, a restricted form of an Estelle specification, ...

Modelling flow control in Estelle · R. L. Tenney. Engineering. Protocol Specification, Testing and Verification. 12 June 1990. Add to Library. Alert. Cite.

This paper presents a method for transforming an extended finite state machine (EFSM) given as an Estelle normal form module into an equivalent expanded ...

Nov 21, 2024 · We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of ...

This paper presents a new model, which is named Timed Communicating State Machine (TCSM), for specifying protocols that incorporate timed properties as part ...

Mar 6, 1987 · Abstract. In this paper, we present the basic ideas underlying an Estelle-C compiler, which accepts an Estelle protocol specification and ...