Skip to main content

Cosmogol: a language to describe finite state machines

Document Type Expired Internet-Draft (individual)
Expired & archived
Author Stéphane Bortzmeyer
Last updated 2006-11-13
RFC stream (None)
Intended RFC status (None)
Stream Stream state (No stream defined)
Consensus boilerplate Unknown
RFC Editor Note (None)
IESG IESG state Expired
Telechat date (None)
Responsible AD (None)
Send notices to (None)

This Internet-Draft is no longer active. A copy of the expired Internet-Draft is available in these formats:


Several RFCs contain a state machine to describe a protocol. There is no standard way of describing such a machine, the most common way being an ASCII-art diagram. This document specifies an other solution: a domain-specific language for finite state machines. It allows state machine descriptions to be automatically checked and may be translated into other formats. Its purpose is to provide a stable reference for RFCs which use this mini-language.


Stéphane Bortzmeyer

(Note: The e-mail addresses provided for the authors of this Internet-Draft may no longer be valid.)