OCL Specification v2.4.pdf

ThisclauseintroducestheObjectConstraintLanguage(OCL),aformallanguageusedtodescribeexpressionsonUML models.Theseexpressionstypicallyspecifyinvariantconditionsthatmustholdforthesystembeingmodeledorqueries overobjectsdescribedinamodel.NotethatwhentheOCLexp