OCL In Brief
Object Constraint Language is a query and constraint language. The specification for the language is published by the OMG. OCL has many uses, is supported in a range of UML modelling products, and is the foundation for many modelling transformation languages. The Nomos RuleX product is based on OCL.