Hi,
Loading of profiles are not managed by the OCL checker and may certainly
break a lot of things.
Have you got a stack trace in your Error Log ?
Feel free to open a feature request concerning this case.
Regards,
Sébastien
[email protected] a écrit :
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
------------------------------------------------------------------------
------------------------------------------------------------------------
------------------------------------------------------------------------
_______________________________________________
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
