Example of a Specification

An example of a specification of a frivolous system in Estelle is shown in #fnest#892>. The example illustrates that the system behaviour is directly captured by a set of modules in a convetional programming language, together with the state transitions and associated guards.

Figure: Example of Estelle