Fwd: New mailing list: language for IETF state machines

Lisa Dusseault <lisa@osafoundation.org> Sat, 06 January 2007 03:06 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H31tR-00088T-Ux; Fri, 05 Jan 2007 22:06:49 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H31tQ-00088K-M2 for discuss@apps.ietf.org; Fri, 05 Jan 2007 22:06:48 -0500
Received: from laweleka.osafoundation.org ([204.152.186.98]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H31tP-0003xh-40 for discuss@apps.ietf.org; Fri, 05 Jan 2007 22:06:48 -0500
Received: from localhost (localhost [127.0.0.1]) by laweleka.osafoundation.org (Postfix) with ESMTP id 82914142267 for <discuss@apps.ietf.org>; Fri, 5 Jan 2007 19:06:44 -0800 (PST)
Received: from laweleka.osafoundation.org ([127.0.0.1]) by localhost (laweleka.osafoundation.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 15139-07 for <discuss@apps.ietf.org>; Fri, 5 Jan 2007 19:06:43 -0800 (PST)
Received: from [192.168.1.101] (c-69-181-78-47.hsd1.ca.comcast.net [69.181.78.47]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by laweleka.osafoundation.org (Postfix) with ESMTP id D28A4142266 for <discuss@apps.ietf.org>; Fri, 5 Jan 2007 19:06:42 -0800 (PST)
Mime-Version: 1.0 (Apple Message framework v752.2)
To: Apps Discuss <discuss@apps.ietf.org>
Message-Id: <09D1FD62-D1E0-4310-B4B2-D73DA2B59B11@osafoundation.org>
Content-Type: multipart/alternative; boundary=Apple-Mail-30-767038995
References: <20070105202532.GA24058@sources.org>
From: Lisa Dusseault <lisa@osafoundation.org>
Subject: Fwd: New mailing list: language for IETF state machines
Date: Fri, 5 Jan 2007 19:06:39 -0800
X-Mailer: Apple Mail (2.752.2)
X-Virus-Scanned: by amavisd-new and clamav at osafoundation.org
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 932cba6e0228cc603da43d861a7e09d8
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

FYI

Lisa

Begin forwarded message:

> From: Stephane Bortzmeyer <bortzmeyer@nic.fr>
> Date: January 5, 2007 12:25:32 PM PST
> To: ietf@ietf.org
> Subject: New mailing list: language for IETF state machines
>
> 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
>
>
>
>
> _______________________________________________
> Ietf mailing list
> Ietf@ietf.org
> https://www1.ietf.org/mailman/listinfo/ietf