These are the requirements and design goals for the Mensurae system.  These are derived from the use cases for the framework.

The actual design of the system will be expressed using notation that was explicitly designed for describing computation.