Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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

©2018 Martin Webb