|Need Help for Ocl Constraint [message #695258]
||Mon, 11 July 2011 11:44
| Valerian Merkling
Registered: May 2011
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.01511 seconds