Re: BoF session in Prague "Formal State Machines"
Frank Ellermann <nobody@xyzzy.claranet.de> Thu, 08 February 2007 19:22 UTC
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1HFEqR-0002TR-AU; Thu, 08 Feb 2007 14:22:11 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1HFEqQ-0002TM-Gm for cosmogol@ietf.org; Thu, 08 Feb 2007 14:22:10 -0500
Received: from main.gmane.org ([80.91.229.2] helo=ciao.gmane.org) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1HFEqO-0005C7-1t for cosmogol@ietf.org; Thu, 08 Feb 2007 14:22:10 -0500
Received: from list by ciao.gmane.org with local (Exim 4.43) id 1HFEpM-0000Dm-HU for cosmogol@ietf.org; Thu, 08 Feb 2007 20:21:04 +0100
Received: from d255075.dialin.hansenet.de ([80.171.255.75]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for <cosmogol@ietf.org>; Thu, 08 Feb 2007 20:21:04 +0100
Received: from nobody by d255075.dialin.hansenet.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for <cosmogol@ietf.org>; Thu, 08 Feb 2007 20:21:04 +0100
X-Injected-Via-Gmane: http://gmane.org/
To: cosmogol@ietf.org
From: Frank Ellermann <nobody@xyzzy.claranet.de>
Date: Thu, 08 Feb 2007 20:15:21 +0100
Organization: <URL:http://purl.net/xyzzy>
Lines: 48
Message-ID: <45CB76C9.5E@xyzzy.claranet.de>
References: <20070205202703.GB1731@sources.org> <45C845B5.7050201@gmx.net> <20070206212438.GA23042@sources.org> <71C245A9-A53C-4E44-B944-55381FBFA8E7@cisco.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: usenet@sea.gmane.org
X-Gmane-NNTP-Posting-Host: d255075.dialin.hansenet.de
X-Mailer: Mozilla 3.0 (OS/2; U)
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 50a516d93fd399dc60588708fd9a3002
Subject: Re: BoF session in Prague "Formal State Machines"
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org
Fred Baker wrote: > Having written parsers for table-described state machines, I beg to > differ. Table-described state machines can in fact be machine- > readable if they are designed to be. It's just another way to write > the language. Makes sense. But it would be nice to have a common language for such simple cases, intuitively readable (without manual), and at the same time working as input for tools (validators and/or transformations into other formats). For something that's complex enough to _need_ SDL putting it into a plain text 69-columns format is most probably anyway hopeless. Any proposal has its own limitations, but that's no reason to offer no format suited for the publication in RFCs at all. > you might not *like* to write programs that recognize ascii-art > cells and find in them things like input names, new state names, > conditionals, actions, and side-effects. Maybe I would like it if a common format using ascii-art tables is defined. I won't like it if I have to tweak that program depending on peculiar features of any individual RFC using this format. > You might prefer token parsers like lex. But those are matters of > preference, not possibility. If the matter of preference starts with "you have perl / xerxes / ..." I'd say "no, not for the O/S on my box". Hannes Tschofenig wrote in another article: | If every working group suddenly has to write state machine | documents using the developed language then some folks could | get a bit nervous. IMO that can't be the goal, you're also not forced to use ABNF in cases where it's clearly unsuited. But if you use some form of "BNF" please don't roll your own like the horrorshow in RFC 2068, and stick to RFC 4234 with all minor warts it still has. Nobody is forced to use <CHAR>, <CTL>, or the dangerous <LWSP> with its "lines containing only trailing white space" vs. "empty lines". Frank _______________________________________________ Cosmogol mailing list Cosmogol@ietf.org https://www1.ietf.org/mailman/listinfo/cosmogol
- BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Hannes Tschofenig
- Re: BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Hannes Tschofenig
- Re: BoF session in Prague "Formal State Machines" Fred Baker
- Re: BoF session in Prague "Formal State Machines" Frank Ellermann
- Re: BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Fred Baker