On Wed, Jun 28, 2006 at 10:04:54AM -0400,
Henning Schulzrinne <hgs(_at_)cs(_dot_)columbia(_dot_)edu> wrote
a message of 48 lines which said:
Having a more formal description of state machines is a natural next
step from having, say, a good syntax description in ABNF.
Unfortunately, unlike ABNF, none of these (except SDL) have a long-
term stable reference. If we worry about PDF not being around for
future RFC readers, I am a bit more worried about the authors of a
SourceForge volunteer project finding other things to do.
Thus, I think the first step would have to be to define a (subset)
of a suitable language as an IETF-stable document,
You are absolutely right and here is my first attempt:
http://www.ietf.org/internet-drafts/draft-bortzmeyer-language-state-machines-00.txt
See also http://www.cosmogol.fr/ if you want the HTML version.
Comments, flames, criticisms, patches, suggestions and running code
are highly appreciated.
_______________________________________________
Ietf mailing list
Ietf(_at_)ietf(_dot_)org
https://www1.ietf.org/mailman/listinfo/ietf