Definition :
The Object Constraint Language is a declarative language describing rules applying to Unified Modeling Language models developed at IBM and is now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML.
Further Reading :
Book : Applying UML and Patterns by Craig Larman.