You are here: irt.org | FOLDOC | 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].
Nearby terms: ESPRIT « ESR « essential complexity « Estelle » Esterel » EstPC » ET
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL