ietf
[Top] [All Lists]

Re: Specifying a state machine: ASCII-based languages

2006-09-14 09:01:33
Stephane Bortzmeyer wrote:

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.
Isn't there a suitable text based state description language published by the
CCITT that we can use rather than invent our own from scratch? There
was a lot of work done on this back in the days of Chill to describe the
operation of SPC telephone exchanges.

- Stewart



_______________________________________________
Ietf mailing list
Ietf(_at_)ietf(_dot_)org
https://www1.ietf.org/mailman/listinfo/ietf


_______________________________________________
Ietf mailing list
Ietf(_at_)ietf(_dot_)org
https://www1.ietf.org/mailman/listinfo/ietf

<Prev in Thread] Current Thread [Next in Thread>