l'OCL, c'est comme les tests unitaires, t'écris 2 fois le code différemment et tu prétends que ça permet de détecter les bugs, et l'UML ça sert à combler ce vide qu'est l'orienté objet
:D