OCL (Object Constraint Language)Object Constraint Language is used to specify invariants, conditions, or pre and postconditions of methods.