Formal State Machines (FSM) BOF
TUESDAY, March 20, 2007, 1740-1840 Afternoon Session III, Karlin I

Chairs: Stephane Bortzmeyer & Pete Resnick

Description: 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.

Cosmogol is a candidate language for such a description. It currently
has an Internet-Draft and a reference implementation, Shadok
(http://www.cosmogol.fr/).

The purpose of the BOF is to discuss wether the lack of a standard
language is or is not a serious limit for the development of IETF
protocols, to examine the Cosmogol language and its limitations and to
discuss wether or not we should ask for the creation of a WG.

Mailing list: http://www1.ietf.org/mail-archive/web/cosmogol/current/maillist.html

Internet-draft: draft-bortzmeyer-language-state-machines-01	

Proposed agenda:
Motivation and problem statement presentation  (10 min)
Discussion of motivation and problem statement (20 min)
Cosmogol presentation (10 min)
Discussion on Cosmogol (10 min)
General discussion and poll on the WG creation (10 min)