OCL is an implementation of the Object Constraint Language (OCL) OMG standard for EMF-based models.