PAPYRUS! comment faire fonctionner la vérification de contraintes OCL portant sur des stéréotypes!

bonjour

En utilisant PAPYRUS, comment faire fonctionner la vérification de contraintes OCL portant sur des stéréotypes!!

j'utilise :
- Eclipse Modeling Tools (galileo) Build id: 20100218-1602

- papyrus UML Modeler 1.12.3.200912231359

et j'ai voulu tester ce simple exemple:

http://www.papyrusuml.org/scripts/ho...L=EN&ITEMID=29


Toutes les étapes ont été bien suivies et tout fonctionne bien; mais arrivant à la dernière étape (Validation -> Validate OCL constraints defined in Stereotypes), le contrôle passe avec succès pourtant la contrainte est bien violée (voir l'exemple)!!

j'ai refais plusieurs fois cet exemple et même sur deux machines différentes mais le contrôle de la contrainte OCL passe toujours avec succès!!

Au fait, au nivau de mon environnement Eclipse/PAPYRUS, j'ai le menu "Validate OCL constraints defined in Profile" et non "Validate OCL constraints defined in Stereotypes" comme dans l'exemple.

Merci de votre aide