Dear Topcased Members, I would like to do some type checking on a UML model using OCL. For some reason, although Topcased's OCL checker does seem to work perfectly and reports all kinds of errors within my model, it never reports type-related errors (... at least the one I tried to make). I added an AddStructuralFeatureValueAction in an activity diagram with an input typed as an A, and a structural feature typed as a B. Considering that A and B don't have any kind of relation between them, I was hoping to have a warning from the OCL checker pointing out that my model doesn't comply with the constraint #1 on WriteStructuralFeatureValueActions (UML Superstructure, p.292) ... but I didn't. I also connected the output of a ReadStructuralFeatureAction, typed as an A, to the input of an AddStructuralFeatureValueAction, typed as a B. This time, I was hoping to have a warning because my model doesn't comply with the constraint #2 on ObjectFlows (UML Superstructure, p.387) ... I still didn't. Does this mean that not all OCL rules defined in UML's standard are checked, or am I missing something ? Is there a way to make the OCL checker check these type-related constraints ? Regards, Martin
Martin NEIDERT Agence 104 - STIE Sopra group. 1 Avenue André Marie Ampère BP 10134 - 31772 Colomiers Cedex Phone : +33 (0)5 34 56 73 18 Mob : +33 (0)6 82 57 37 25 [email protected] - www.sopragroup.com <http://www.sopragroup.com/> This message may contain confidential and proprietary material for the sole use of the intended recipient. Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. P Before printing, think about the environment.
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
