Vous
pouvez vérifier vos modèles et diagrammes UML pour garantir qu'ils satisfont aux contraintes
définies par la langage UML. Vous pouvez également vérifier la conformité avec les contraintes que vous avez définies ou qui
proviennent d'autres applications.