UML state machine: How to exit orthogonal child regions?
Base on Wikipedia , I can have a hierarchical state decomposition, where I have multiple orthogonal regions, which can change state independently. The diagram shows how the orthogonal regions are entered. I assume that the entry happens in parallel in all regions. What I want to know is, how do you express the exit? If each region has an exit, does the global parent state exits when the first child region exit, or when they have all exited? I want to express that the exit happens when they have all exited. And how do you express that the global parent state transitions to the next global state