Hi Andreas,
What do t & D stand for (they do not appear in Figure 2)? They don't seem to be necessary to implement the chart?You should also read the mini doc I included. I added them to make the problem a bit more interesting and show how to solve it with flags.
1) Is it possible to implement the transitions exactly as shown in the chart? It is not, again as explained in the mini doc. I see this as an UML goto and decided to implement superior tools instead. 2) If no, is this why you introduced two self-transitions to C, one with a guard to prevent transition from B?I didn't. They were there before, I just made them cleaner by using state flagging and a guard condition instead of crossing state boundaries. The UML diagram of the doc looks, in my opinion, cleaner now, less like spaghetti. Of course I could implement these entry and exit goto-like pseudo states if users want them. I just strongly doubt they are needed.
_________________________________________________________________ Explore the seven wonders of the world http://search.msn.com/results.aspx?q=7+wonders+world&mkt=en-US&form=QBRE