Need Help for Ocl Constraint [message #695258] |
Mon, 11 July 2011 11:44 |
Valerian Merkling Messages: 71 Registered: May 2011 |
Member |
|
|
Hi everyone !
My model look like this :
A state machine which can send Events.(with a eClass StateMachine, eClass State, eClasse Event, and a StateMachine's property canThrow:Event with a * cardinality)
A StateMachine contains some Transitions, who also have a property what:Event , at 0..1
My problem is that a Transition can have its 'what' property filled with any Event, not only those throwed by its StateMachine.
I'm Trying to use some OCL constraint( like self.owner.canThrow->oclInclude(self.what) on a transition, but it prevent me to create new Transition, and i can set any Event for the already placed Transition, even the supposed forbidden one.
My problem is not about OCL syntax (even if i'm not really used to it), but about which GMF item i'm supposed to use in my mapping to hold my constraint.
Thanks in advance for your help !
|
|
|
Powered by
FUDForum. Page generated in 0.03667 seconds