Object Constraint Language

**Semantic type:** Language

**Definition:** An extension to UML that provides constraint and object query expressions on an object-oriented model that cannot otherwise be expressed by diagrammatic notation, providing expressions that have neither the ambiguities of natural language nor the inherent difficulty of using complex mathematics.