Hello Jean-Pierre, Regarding the display par, this bug was corrected 1 week ago. If you update your platform you should normally has a working display mechanism. Regarding the second part, the way you have described is correct. However, I have heard about a profile which would give you operation on based type but I am not sure if it is available yet. I will ask our expert on this topic and go back to you as soon as I have got the information.
Regards, Arthur Daussy ________________________________ De : [email protected] [mailto:[email protected]] De la part de Topcased user list where issues are discussed Envoyé : lundi 21 novembre 2011 11:04 À : [email protected] Objet : [Topcased-users] State machines simulation 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 ________________________________ Ce message et les pièces jointes sont confidentiels et réservés à l'usage exclusif de ses destinataires. Il peut également être protégé par le secret professionnel. Si vous recevez ce message par erreur, merci d'en avertir immédiatement l'expéditeur et de le détruire. L'intégrité du message ne pouvant être assurée sur Internet, la responsabilité du groupe Atos ne pourra être engagée quant au contenu de ce message. Bien que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout virus, l'expéditeur ne donne aucune garantie à cet égard et sa responsabilité ne saurait être engagée pour tout dommage résultant d'un virus transmis. This e-mail and the documents attached are confidential and intended solely for the addressee; it may also be privileged. If you receive this e-mail in error, please notify the sender immediately and destroy it. As its integrity cannot be secured on the Internet, the Atos group liability cannot be triggered for the message content. Although the sender endeavors to maintain a computer virus-free network, the sender does not warrant that this transmission is virus-free and will not be liable for any damages resulting from any virus transmitted.
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
