Io-6-wyk-Slajd29
OCL
OCL jest formalnym językiem wyrażania wszelkiego rodzaju ograniczeń obecnych w UMLu. Choć użycie jego nie jest obowiązkowe (ograniczenia można równie dobrze specyfikować w języku naturalnym), jednak jego rola w dobie narzędzi generujących kod z diagramów, będzie stale rosła.
Warto pamiętać, że OCL jest językiem potrafiącym jedynie weryfikować elementy modelu, ale nie mogącym na ten model w żaden sposób wpływać. Ewaluacja wyrażeń OCL następuje w sposób atomiczny (niepodzielny), nie powodując nigdy zmiany stanu jakiegokolwiek obiektu.
OCL posiada zestaw wbudowanych operatorów, predykatów, ma możliwość definiowania własnych funkcji, warunków i niezmienników. Dzięki nim możliwe jest użycie go przy niemal wszystkich elementach występujących w UML
