Hello all, I'm working with Topcased 5.1.0 and Papyrus. I would like to use the simulation on state machines. I have investigated the two examples I found on the Topcased documentation web site and I have tried simple state machines including composite states and it works very well.
Now I would like to test more complicated SM and I have few questions My first attempt is SM with guards. I have 1)created a guard on a transition 2)defined a constraint on it 3)associated a simple OpaqueExpresssion in OCL (like 'self.myAttribute > 4') to this constraint the simulation works but the guard does not appear on the SM diagram (I see only [""] close to en transition name). How can I show the guard expresssion on the SM diagram (if it's possible)? After that, I would like to add an effect on that transition for incrementing the attribute value by 1 when the transition is fired. But I haven't found how to do (I'm able to add an effect for sending a signal to another SM by using an activity) More in details, 1)should I define a specific activity to do that by using ReadSelfAction, ReadStructuralFeatureAction and AddStructuralFeatureValueAction. But in that case how to specify the assignment looking as seld.myAttributr <- self.myAttribute + 1 2)is there another way I don't know to do it? Many thanks in advance for any help best regards Jean-Pierre
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
