Hi Tim
Ok, I misunderstood how local transitions work. An innermost state where any of its direct *or* *indirect* outer states define local transitions behaves as if all those local transitions originated at the state itself. I guess we'll have to go the sc::local_transition / sc::simple_state::transit_locally route then...
It seems I'm the one who misunderstood. I've dug a little deeper and your are right that the difference between local and external is just one level of entry/exit actions. So your approach of adding an intermediate state does work.
From the UML specs it's hard to extract the exact definition of a local transition.
I'm still unsure which interpretation is the correct one. The one you had in the beginning would make more sense to me. It would be nice to hear a clarification from some UML guru on this one. Regards, Andreas