Constraint Language
A constraint language provides a formal model and a syntax for defining specific constraints for validating instances of a given markup language. Constraint languages (CL) can be subdivided into grammar-based CL and rule-based CL.
Standards dealing with this topic: