I'm also interested by this topic. Actually I was enable to check a SysML with OCL rules defined from SysML metamodel (http://www.topcased.org/2.0/sysML).
More precisely, I encounter the following problems :
* First, I have a strange behavior with OCL auto-completion.
As only SysML elements are directly accessible, I use the syntaxe
"package sysml::uml context UML_ELMT inv RULE_X : MY_RULE endpackage" in order
to accede at UML elements. Auto-completion works correctly but only on one of
my two boots. I explain me. I have a dual boot PC. When I editing OCL rules
with the first boot auto-completion is correct. UML elements are well proposed.
When I edit these same rules (same topcased.exe, same workspace...) with the
second boot auto-completion list only OCL operations and UML elements are not
listed.
Does anyone can explain this strange behavior ?
* Secondly, it seems there is a problem of parsing with the
syntaxe above. Even if auto-completion works, this not induces that rules can
be parsed (see ocl_rule_sysml.ocl <<ocl_rule_sysml.ocl>> ).
* Last, and may be the more problematic, even if rules concern
only SysML elements these rules cannot be evaluated through OCL evaluator nor
in an OCL check(see ocl_rule_sysml2.ocl <<ocl_rule2_sysml.ocl>> ).
As I not encounter problems for validate UML models with OCL rules, I ask me if
in current version (Topcased 3.1.0) SysML models can be validated ?
Are these problems specific to me ? Is there a way to apply OCL rules on SysML
model ?
Thanks for your help.
Samuel Rochet
Samuel Rochet
On behalf of TEUCHOS
Subcontractor for Avionics and Simulation Products - EDYYAI
' : +33 (5) 61 93 80 76
6 : +33 (5) 61 93 08 83
* : [email protected] <mailto:[email protected]>
The information in this e-mail is confidential. The contents may not be
disclosed or used by anyone other than the addressee. Access to this e-mail by
anyone else is unauthorised.
If you are not the intended recipient, please notify Airbus immediately and
delete this e-mail.
Airbus cannot accept any responsibility for the accuracy or completeness of
this e-mail as it has been sent over public networks. If you have any concerns
over the content of this message or its Accuracy or Integrity, please contact
Airbus immediately.
All outgoing e-mails from Airbus are checked using regularly updated virus
scanning software but you should take whatever measures you deem to be
appropriate to ensure that this message and any attachments are virus free.
ocl_rule_sysml.ocl
Description: ocl_rule_sysml.ocl
ocl_rule2_sysml.ocl
Description: ocl_rule2_sysml.ocl
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
