New mailing list: language for IETF state machines
Stephane Bortzmeyer <bortzmeyer@nic.fr> Sat, 06 January 2007 15:03 UTC
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com)
by megatron.ietf.org with esmtp (Exim 4.43)
id 1H3D4t-0007aL-Kv; Sat, 06 Jan 2007 10:03:23 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org)
by megatron.ietf.org with esmtp (Exim 4.43) id 1H3ArE-0006gy-Qn
for discuss@ietf.org; Sat, 06 Jan 2007 07:41:08 -0500
Received: from mx2.nic.fr ([192.134.4.11])
by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H3AmT-0005iF-1Q
for discuss@ietf.org; Sat, 06 Jan 2007 07:36:18 -0500
Received: from localhost (localhost.localdomain [127.0.0.1])
by mx2.nic.fr (Postfix) with ESMTP id 7340326C0B6
for <discuss@ietf.org>; Sat, 6 Jan 2007 13:36:03 +0100 (CET)
X-Virus-Scanned: by amavisd-new at mx2.nic.fr
Received: from relay2.nic.fr (relay2.nic.fr [192.134.4.163])
by mx2.nic.fr (Postfix) with ESMTP id C00DC26C156
for <discuss@ietf.org>; Sat, 6 Jan 2007 13:36:00 +0100 (CET)
Received: from bortzmeyer.nic.fr (batilda.nic.fr [192.134.4.69])
by relay2.nic.fr (Postfix) with ESMTP id B385358EBC3
for <discuss@ietf.org>; Sat, 6 Jan 2007 13:36:00 +0100 (CET)
Date: Sat, 6 Jan 2007 13:36:00 +0100
From: Stephane Bortzmeyer <bortzmeyer@nic.fr>
To: discuss@ietf.org
Subject: New mailing list: language for IETF state machines
Message-ID: <20070106123600.GA29785@nic.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Operating-System: Debian GNU/Linux 4.0
X-Kernel: Linux 2.6.17-2-686 i686
Organization: NIC France
X-URL: http://www.nic.fr/
User-Agent: Mutt/1.5.13 (2006-08-11)
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 79899194edc4f33a41f49410777972f8
X-Mailman-Approved-At: Sat, 06 Jan 2007 10:03:22 -0500
Cc:
X-BeenThere: discuss@apps.ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: general discussion of application-layer protocols
<discuss.apps.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/discuss>,
<mailto:discuss-request@apps.ietf.org?subject=unsubscribe>
List-Post: <mailto:discuss@apps.ietf.org>
List-Help: <mailto:discuss-request@apps.ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/discuss>,
<mailto:discuss-request@apps.ietf.org?subject=subscribe>
Errors-To: discuss-bounces@apps.ietf.org
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@ietf.org https://www1.ietf.org/mailman/listinfo/cosmogol
- Fwd: New mailing list: language for IETF state ma… Lisa Dusseault
- New mailing list: language for IETF state machines Stephane Bortzmeyer