Object Constraint Language

A formal language used to describe expressions on UML that typically specify invariant conditions that must hold for the system being modeled or queries over objects described in a model.