Object Constraint Language


Object Constraint Language

(language)(OCL) A formal specification language extension toUML. The Object Constraint Language is a precise textlanguage that provides constraint and object queryexpressions on an object-oriented model that cannototherwise be expressed by diagrammatic notation.

OCL supplements UML by providing expressions that have neitherthe ambiguities of natural language nor the inherentdifficulty of using complex mathematics.

OCL is a descendent of Syntropy, a second-generationobject-oriented analysis and design method. The OCL 1.4definition specified a constraint language. In OCL 2.0, thedefinition has been extended to include general object querylanguage definitions.

OMG UML Home.

Rational UML Resource Center.

OCL 2.0 Submission to UML.