Hi, I think I found the problem. When I did the SysML model again it worked. But I did a sysml profile in which I defined a requirement stereotype. If I load the profile in the SysML model the OCL check works, if I apply the profile it works but when I apply the stereotype on the requirement it doesn't work anymore. In fact, when I chose the .sysml to check OCL, nothing happens (no window opens), only for .sysmldi the window opens (and here I could not see the OCL file: the problem in the emails sent before) . So, it is possible to use an OCL rule file on the sysml model with some profile applied? Or I have to create an OCL rule file for my profile (how can I do that?) ?
Regards, =========== Dragos DOBRE Doctorant ATER Université Henri Poincaré, Nancy 1 Centre de Recherche en Automatique de Nancy (CRAN) Nancy-Université, CNRS UMR 7039 2010/2/23 <[email protected]>: > Hi, > > I have repeated your example and do you have something like shown into the > snapshot ? > My SysML model contains only one Requirement. > Regards, > > > [email protected] a écrit : >> >> Hello, >> >> I've use at least the requirement element. For example, I can do an >> OCL Evaluator on my model for a requirement rule like >> "self.verifiedBy->notEmpty()". But if I do an OCL rule file, I could >> not use it on my model. >> >> Thanks, >> >> =========== >> Dragos DOBRE >> Doctorant ATER >> Université Henri Poincaré, Nancy 1 >> Centre de Recherche en Automatique de Nancy (CRAN) >> Nancy-Université, CNRS UMR 7039 >> >> >> >> 2010/2/23 <[email protected]>: >> >>> >>> Hi, >>> >>> Did you really use elements coming from SysML metamodel or just element >>> coming from UML2 metamodel. >>> While you don't use at least one specific SysML element in your model, >>> the >>> OCL resources selection detects your model as UML and not as SysML. >>> Could you check this point ? >>> Regards, >>> >>> Sebastien >>> >>> [email protected] a écrit : >>> >>>> >>>> Hello, >>>> >>>> I've created an OCL rule file for "http://www.topcased.org/2.0/sysML"; >>>> models and I wanted to check it on a SysML model. But when chose the >>>> OCL rule file for my model it doesn't show me in the OCL resources >>>> selection. What I've done wrong? Should I see the OCL rule file from >>>> the SysML plugin in the OCL resources selection? I've tried it on >>>> Topcased 3.2.0. >>>> >>>> Regards, >>>> >>>> =========== >>>> Dragos DOBRE >>>> Doctorant ATER >>>> Université Henri Poincaré, Nancy 1 >>>> Centre de Recherche en Automatique de Nancy (CRAN) >>>> Nancy-Université, CNRS UMR 7039 >>>> >>>> _______________________________________________ >>>> Topcased-users mailing list >>>> [email protected] >>>> http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users >>>> >>>> >>>> >>>> >>> >>> -- >>> Sébastien GABEL >>> MDA/MDE Engineer >>> Département Systèmes d'Information >>> Division Aéronautique Energie Industrie >>> Communication & Systèmes ZAC de la Grande Plaine. Rue Brindejonc de >>> Moulinais >>> F-31506 Toulouse Cedex 5 >>> +33 (0)5.61.39.46.16 >>> >>> >>> >>> _______________________________________________ >>> Topcased-users mailing list >>> [email protected] >>> http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users >>> >>> >> >> _______________________________________________ >> Topcased-users mailing list >> [email protected] >> http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users >> >> >> > > > -- > Sébastien GABEL > MDA/MDE Engineer > Département Systèmes d'Information > Division Aéronautique Energie Industrie > Communication & Systèmes ZAC de la Grande Plaine. Rue Brindejonc de > Moulinais > F-31506 Toulouse Cedex 5 > +33 (0)5.61.39.46.16 > > > > _______________________________________________ > Topcased-users mailing list > [email protected] > http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users >
<<attachment: prof.jpg>>
<<attachment: req.jpg>>
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
