Hi everyone,
I'm looking at using SysML to model an application and I'm thinking about using
the TOPCASED OCL checker to do some analysis on my SysML model.
For example, say my SysML model has blocks which have propositional logic
expressions associated with them and I'd like to check whether the set of
propositional logic expressions in my model is consistent or not. That is, the
conjunction of these expressions if always true.
Can I use the OCL checker in TOPCASED to do this analysis?
Suppose I coded up all the propositional expressions of interest in my model as
OCL rules and put them in the "OwnedRules" for a block. I could define an
invariant ('inv') as the conjunction of these OCL expressions.
Would the OCL checker be able to tell me if the invariant is true?
>From what I understand, the OCL checker cannot be used for anything like the
>above because the "Context" that the OCL rules can refer to can only be
>concepts in the meta-model. In the case of a SysML model in TOPCASED the
>metamodel is UML. Is this right?
Thanks for any comments.
Best.
Rajesh
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
