Wenn Sie mit UML-Modellen arbeiten, können Sie mit dem OCL-Editer (OCL = Object Constraint Language) die Merkmale von Modellelementen untersuchen. Sie können beispielsweise eine OCL-Anweisung schreiben, um eine Liste der Attribute abzufragen, deren Eigner alle Klassen in einem UML-Modell sind. Außerdem können Sie sicherstellen, dass eine OCL-Anweisung eine gültige Syntax hat, ohne sie in einer Integritätsbedingung definieren zu müssen.