Hi, Le samedi 16 mai 2009 à 22:23 +0000, [email protected] a écrit :
> Hi! > I need some help with model simulation. > I'm trying to model the behaviour of some C functions and I would like to > simulate the model so that i can compare it with the real code execution. > I had a look at the TestGuard example, which shows that it is possible to > check the value of a parameter to allow or not a transition. Howerver, in > the example, the parameter belongs to the same class described by the > state machine and is thus accessed by means of the keyword "Self". Is it > possible to access parameters of other classes, and if so, how? Unfortunatly, it is not yet possible. But we ought to to that and we will think about that very strongly. This feature is now in its first version and there is some limitation... > Parameters can only be read during the simulation, or is it possible to > make a transition or a state change its value? YES. It is possible and you can find how to do this in the same example of the TestGuard model. Look at the activities in the effects with the action "AddStructuralµFeatureValueAction". The value is defined in an OCL expression. > Functions have local variables which don't belong to any class, is there > a way to simulate such a thing? -not now. regards, Stephane [email protected] > > Thanks for your help! > taedium > > > _______________________________________________ > Topcased-users mailing list > [email protected] > http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users >
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
