[Interest] Parallel state and local transactions issue

[Alessandro Lonardi]

Hi,
I'm having a trouble with a state machine particular case (using Qt 5.3).
My state machine has two parallel macro-states. One is meant to model the
GUI evolution, the other one is meant to model the controller evolution.
Since in both states there's a complex structure, for practicability, I use
a local transition to reach some important states from any other states.
I've provided a simplified schematic at http://gdurl.com/l9km. As you see
for both Controller and GUI sub-states, the first state is reachable from
any other state.
Using this state machine structure, whenever a local transition triggers,
it will cause an exit() from the Parallel-container state, "resetting" the
other independent parallel state. For instance, with reference to the
proposed example, suppose to be in Controller's Second state and in the GUI
Third state. If the GUI local transaction is triggered (to reach its First
state), even for the Controller parallel state that happens, since the
Parallel-Container for some reason exits and re-enters in itself (which
should not happen since the local transactions doesn't start from it).
In order to make the thing working anyway, I've made a "wrapper" state for
each parallel state (i.e. GUI-wrapper and Controller-wrapper), which
intercepts the "exit", without involving the other parallel states into a
reset a caused by a global Parallel-container exiting and re-entering.
I think that this is an issue worthy of discussion.

Hope that helps, and thanks in advance for any clearance.
Alessandro.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.qt-project.org/pipermail/interest/attachments/20141013/ebce9fa9/attachment.html>