Object Constraint Language (OCL)

Die OCL ist eine standardisierte, formale Spezifikationssprache innerhalb der UML, die auf Prädikatenlogik erster Ordnung und Mengenlehre basiert. Sie dient dazu, Invarianten, Vor-/Nachbedingungen und Navigationspfade präzise zu definieren, die grafisch im UML-Modell nicht ausdrückbar sind. Sie ist rein deklarativ und seiteneffektfrei.