Cosmogol is a language to describe finite state machines, which are often found in protocol standards like the RFCs. Currently, there is no standard language to describe these state machines. Cosmogol was created to be this standard language, like ABNF is the standard language for describing grammars. Some examples are online.
Cosmogol is currently an IETF Internet Draft which may evolve into a RFC one day. To discuss this project, a mailing list has been set up. Interested people are welcome.
The current version of the draft is available as:
A reference implementation is available, under a free software licence.
See a list of related work or the rationale for some design choices.