Hello, I'm having some issues using OCL checking with a UML model that has a profile applied. Here's what I have done:
I defined a Profile in order to add some stereotypes to UML models. In my case, I've added stereotypes to the Package and the Class elements from UML. Using the Topcased tutorials, I've been able to load my profile in a different model (using load resource) in order to be able to apply my stereotypes on different classes and packages (using apply profile). This works correctly. I also need to apply some OCL constraints that take into account those new stereotypes I've added. In order to do that, I've written an OCL file. This file works correctly: I can use the OCL check on my models in order to see if my models respect my constraints. If the profile is not applied, OCL check works correctly and only inspects that elements I've added to my model. However, if I apply my profile of UML to this model, the OCL check inspects not only the elements from my model, but also every element in my profile. Since my profile includes elements from the UML metamodel (in this case Package and Class), this leads the OCL check to evaluate my constraints on the entire UML metamodel, which is obviously not what I want to do. Is there any solution to that problem? It seems like I can't remove the references to UML in my profile (since it's a profile of UML), but since this profile is referenced in my model, it is evaluated by OCL. Maybe there is a way that I'm not aware of to tell OCL to ignore some elements from a profile? Thanks for your help! I can provide more information if needed. Maxime Ouellet Master's student, École Polytechnique de Montréal
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
