protocole statemachine semantics



Date view Thread view Subject view Author view

GERARD Sebastien 166342 (GERARD@ortolan.cea.fr)
Fri, 14 Jan 2000 13:33:01 +0100


Hello, happy new year to every one. So, I have a question about the execution semantics of the transitions in a protocole statemachine. I wonder how to apply the RTC conept on this type of transition. For example, if one has class owning a protocole statechart with two states S1 et S2, and a transiton connecting both states. This transition is labeled with the method name, m1. If an instance of my classe C1 receives an operation call to the method m1 whereas it is in the state S1, 1) either the objet reaches the state S2 at the end of the execution of the method m1, 2) or the object reaches the state S2 as soon as the execution of the method m1 is started. What do you think about that? According to you what is the semantics adopted inUML, 1 or 2? Thank you, yours, Sébastien.


Date view Thread view Subject view Author view