The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models and is part of the UML standard. OCL is a...