Lorsque vous travaillez sur des modèles UML, vous pouvez utiliser l'éditeur OCL (Object Constraint Language) pour explorer les caractéristiques des éléments de modèle. Par exemple, vous pouvez écrire une instruction OCL pour obtenir la liste des attributs appartenant à toutes les classes dans un modèle UML. Vous pouvez également vérifier qu'une instruction OCL est syntaxiquement valide sans avoir à la spécifier dans une définition de contrainte.