Formal executable descriptions of biological systems