Community
Participate
Working Groups
validation rules are defined in natural language in the FormalML reference Specification (see sections "Constraints")