Proper noun
OCL (computing, design) Initialism of Object Constraint Language (declarative language developed at IBM that is now part of the UML standard)