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
