Estelle


Estelle

A Pascal extension for formal specification of computernetwork protocols. Protocols are described by moduleswhich are communicating NFAs. Modules are arranged in adynamic hierarchy and communicate at named interaction points.

EstPC CompilesEstelle into C. petdingo Translates Estelle into C++

Adopted by ITU-T. ISO 9074 (1989).

["The Formal Description Technique Estelle", M. Diaz et aleds, N-H 1989].