To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called “synch states”. Synch states insure that one region leaves a particular state or states before another region can enter a particular state or states. For some application areas, it is beneficial to synchronize not only regions but also state machines. For example, in data ...
