[SCXML-162] internal transition in compound state implementation - SCXML spec

• Type: Improvement
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 0.9
• Fix Version/s: 2.0
• Assignee: Unassigned
• Reporter: vance huang
• Created: 07/Jun/11 15:36
• Updated: 03/Apr/14 09:19
• Resolved: 03/Apr/14 09:19

Description

According to the SCXML spec, the following was stated:
"The behavior of transitions with 'type' of "internal" is identical, except in
the case of a transition whose source state is a compound state and whose
target(s) is a descendant of the source. In such a case, an internal transition
will not exit and re-enter its source state, while an external one will, as
shown in the example below."

<state id="s1" initial="s11">
<onentry>
<log expr="entering S1"/>
</onentry>
<onexit>
<log expr="'leaving s1'"/>
</onexit>
<state id="s11">
<onentry>
<log expr="entering s11"/>
</onentry>
<onexit>
<log expr="'leaving s11'"/>
</onexit>
</state>

<state id="s12">
<onentry>
<log expr="entering s12"/>
</onentry>
<onexit>
<log expr="'leaving s12'"/>
</onexit>
</state>
<transition event="e" target="s12" type="internal">
<log expr="'executing transition'"/>
</transition>
</state>

Assuming we are in s11 when event e fired. The SM should not go out of s1 and enters s12.
This feature needs to be implemented.