Re: Specifying a state machine: ASCII-based languages

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Stephane Bortzmeyer wrote:

On Wed, Jun 28, 2006 at 10:04:54AM -0400,
Henning Schulzrinne <hgs@xxxxxxxxxxxxxxx> 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@xxxxxxxx
https://www1.ietf.org/mailman/listinfo/ietf


_______________________________________________

Ietf@xxxxxxxx
https://www1.ietf.org/mailman/listinfo/ietf

[Index of Archives]     [IETF Annoucements]     [IETF]     [IP Storage]     [Yosemite News]     [Linux SCTP]     [Linux Newbies]     [Fedora Users]