Estelle
A Pascal extension for formal specification of computer network protocols.
Protocols are described by modules which are communicating NFAs.
Modules are arranged in a dynamic hierarchy and communicate at named interaction points.
EstPC (ftp:osi.ncsl.nist.gov/pub/osikit/estpc) Compiles Estelle into C.
petdingo Translates Estelle into C++
Adopted by ITU-T.
ISO 9074 (1989).
["The Formal Description Technique Estelle", M.
Diaz et al eds, N-H 1989].
| < Previous Terms | Terms Containing Estelle | Next Terms > |
| ESP ESPOL ESPRIT ESR essential complexity | Estelle EstPC Formal Description Technique petdingo | Esterel EstPC ET et ET++ |
