(In topic `Tools, Methods & Processes`) OCL (The Object Constraint Language) is a subset of the Unified Modeling Language. . As its name implies, it is the expression language for the UML that allows software developers to specify all types of constraints over the objects in the model. (see UML) Found on http://www.encyclo.co.uk/local/20477