While IETF has a formal standardized language to describe grammars
(ABNF, in RFC 4234), it has no language to describe state machines,
leaving authors to use tables or list of transitions or ASCII-art
(which leads some people to ask for a "richer" format for RFCs).
I believe it would be a good idea to have such a language (see
http://www1.ietf.org/mail-archive/web/ietf/current/msg42592.html for a
rationale) so I wrote an Internet-draft
(draft-bortzmeyer-language-state-machines-01.txt) describing a
candidate, Cosmogol (further documented in http://www.cosmogol.fr/).
There is now a mailing list, to see if there is sufficient interest
for the IETF to go on, have a BoF in Prague, may be create a Working
Group, etc:
cosmogol(_at_)ietf(_dot_)org
https://www1.ietf.org/mailman/listinfo/cosmogol
_______________________________________________
Ietf mailing list
Ietf(_at_)ietf(_dot_)org
https://www1.ietf.org/mailman/listinfo/ietf