A Constraint is a specification for conditions and propositions that must be maintained as true for the system to be valid. Constraints are expressed as text within braces ({}) and may be written in a predefined language, such as Object Constraint Language (OCL) or in natural language.