<style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from nestedStateTable.ump</h1> <h2>Class RemoteControl state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">power</td> <td class="event-header">push</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"><span>Off</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Play</td> <td class="event-entry"><span class="derived">Off</span></td> <td class="event-entry"><span>Pause</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Pause</td> <td class="event-entry"><span class="derived">Off</span></td> <td class="event-entry"><span>Play</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"><span>On</span></td> <td class="event-entry"> </td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">Play</td> <td class="state-header">Pause</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Play</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>push</span></td> <td class="state-entry"><span class="derived">power</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Pause</td> <td class="state-entry"> </td> <td class="state-entry"><span>push</span></td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">power</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from guardedTransitionNestedStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- OnOn</td> <td class="event-entry"><span>[getStayOn()] Sleep</span><br><span>[!getStayOn()] Off</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Sleep</td> <td class="event-entry"><span>OnOn</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"><span>On</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">OnOn</td> <td class="state-header">Sleep</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- OnOn</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power [getStayOn()]</span></td> <td class="state-entry"><span>power [!getStayOn()]</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Sleep</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentTimerTransitionStateTableSameTimer.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">after(1)</td> <td class="event-header">power</td> <td class="event-header">test</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- On</td> <td class="event-entry"><span>Off</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Off</td> <td class="event-entry"> </td> <td class="event-entry"><span>On</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Yes</td> <td class="event-entry"><span>No</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- No</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>Yes</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState</td> <td class="state-header">On</td> <td class="state-header">Off</td> <td class="state-header">Yes</td> <td class="state-header">No</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- On</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Off</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Yes</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr> <tr> <td class="state-header" data-parent="0">- No</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">after(1)</td> <td class="event-header">test</td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">OverState (Yes || On)</td> <td class="event-entry"><span>OverState (No || On)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On)</td> <td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"><span>OverState (Yes || On)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes || Off)</td> <td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || On)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || Off)</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || Off)</span></td> <td class="event-entry"><span>OverState (No || On)</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState (Yes || On)</td> <td class="state-header">OverState (No || On)</td> <td class="state-header">OverState (Yes || Off)</td> <td class="state-header">OverState (No || Off)</td> </tr> <tr> <td class="state-header" data-parent="">OverState (Yes || On)</td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On)</td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes || Off)</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || Off)</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from autoTransitionStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">(auto)</td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"><span>Off</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"> </td> <td class="event-entry"><span>On</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"><span>(auto)</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentSelfTransition.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">changeParent</td> <td class="event-header">event1</td> <td class="event-header">event2</td> <td class="event-header">event3</td> <td class="event-header">selfTransition</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span>ChildState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span>ChildState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="event-entry"><span>ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState4</span></td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ParentState2</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState3</span></td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ParentState2</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState6</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState5</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1</td> <td class="state-header">ChildState1</td> <td class="state-header">ChildState2</td> <td class="state-header">ParentState2</td> <td class="state-header">ChildState3</td> <td class="state-header">ChildState4</td> <td class="state-header">ChildState5</td> <td class="state-header">ChildState6</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">selfTransition</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">selfTransition</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">selfTransition</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">selfTransition</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">event1</td> <td class="event-header">selfTransition</td> <td class="event-header">event3</td> <td class="event-header">changeParent</td> <td class="event-header">event2</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1 (ChildState1)</td> <td class="state-header">ParentState1 (ChildState2)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState4)</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition<br>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition<br>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>selfTransition</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentWithTransitionsBetweenLocallyNestedStates.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">action</td> <td class="event-header">awayAction</td> <td class="event-header">back</td> <td class="event-header">concurrentAction</td> <td class="event-header">down</td> <td class="event-header">forward</td> <td class="event-header">otherAction</td> <td class="event-header">up</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState1</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState2</span></td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState1</td> <td class="event-entry"><span>ChildState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ChildState2</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState2</td> <td class="event-entry"><span>ChildState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ChildState2</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1</span></td> </tr> <tr> <td class="state-header" data-parent="1">- - OtherChildState1</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ChildState2</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span>OtherChildState2</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - OtherChildState2</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ChildState2</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span>OtherChildState1</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState2</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="6">- - AwayChildState1</td> <td class="event-entry"> </td> <td class="event-entry"><span>AwayChildState2</span></td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="6">- - AwayChildState2</td> <td class="event-entry"> </td> <td class="event-entry"><span>AwayChildState1</span></td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ConcurrentParentState1</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ConcurrentParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ConcurrentParentState2</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ConcurrentParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState</td> <td class="state-header">ParentState1</td> <td class="state-header">ChildState1</td> <td class="state-header">ChildState2</td> <td class="state-header">OtherChildState1</td> <td class="state-header">OtherChildState2</td> <td class="state-header">ParentState2</td> <td class="state-header">AwayChildState1</td> <td class="state-header">AwayChildState2</td> <td class="state-header">ConcurrentParentState1</td> <td class="state-header">ConcurrentParentState2</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>down</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>action</span><br><span class="derived">down</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>up</span></td> <td class="state-entry"><span>action</span></td> <td class="state-entry"><span class="derived">down</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - OtherChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"><span class="derived">forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - OtherChildState2</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">down</span></td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="6">- - AwayChildState1</td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="6">- - AwayChildState2</td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ConcurrentParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> </tr> <tr> <td class="state-header" data-parent="0">- ConcurrentParentState2</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">concurrentAction</td> <td class="event-header">forward</td> <td class="event-header">back</td> <td class="event-header">action</td> <td class="event-header">otherAction</td> <td class="event-header">up</td> <td class="event-header">down</td> <td class="event-header">awayAction</td> </tr> <tr> <td class="state-header" data-parent="">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</td> <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</td> <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</td> <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</td> <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</td> <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</td> <td class="state-header">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</td> <td class="state-header">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</td> <td class="state-header">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</td> <td class="state-header">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</td> <td class="state-header">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</td> <td class="state-header">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</td> </tr> <tr> <td class="state-header" data-parent="">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState1) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState1) )</td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState1) )</td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState1) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState1 || ChildState2) )</td> <td class="state-entry"><span>action<br>up</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>down</span></td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState1 || ChildState2) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>action<br>up</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState1 (OtherChildState2 || ChildState2) )</td> <td class="state-entry"><span>up</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>action</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>down</span></td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState1 (OtherChildState2 || ChildState2) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>up</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>action</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>otherAction</span></td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>down</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>forward</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState1) )</td> <td class="state-entry"><span>back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState1) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>awayAction</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState1 || ParentState2 (AwayChildState2) )</td> <td class="state-entry"><span>back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentAction</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentParentState2 || ParentState2 (AwayChildState2) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>back</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>awayAction</span></td> <td class="state-entry"><span>concurrentAction</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from transitionWithActionStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"><span data-action="/ someAction();">Off</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"><span>On</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentCrossAnd.ump</h1> <h2>Class Lock state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">changeParent</td> <td class="event-header">concurrentEvent</td> <td class="event-header">crossAnd</td> <td class="event-header">event1</td> <td class="event-header">event2</td> <td class="event-header">event3</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState1</td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState1</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState2</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState2</td> <td class="event-entry"><span>ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState3</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState4</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState4</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState3</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState5</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState6</span></td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState6</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState5</span></td> </tr> <tr> <td class="state-header" data-parent="0">- ConcurrentState</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState6</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="9">- - ConcurrentChildState1</td> <td class="event-entry"> </td> <td class="event-entry"><span>ConcurrentChildState2</span></td> <td class="event-entry"><span class="derived">ChildState6</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="9">- - ConcurrentChildState2</td> <td class="event-entry"> </td> <td class="event-entry"><span>ConcurrentChildState1</span></td> <td class="event-entry"><span class="derived">ChildState6</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState</td> <td class="state-header">ParentState1</td> <td class="state-header">ChildState1</td> <td class="state-header">ChildState2</td> <td class="state-header">ParentState2</td> <td class="state-header">ChildState3</td> <td class="state-header">ChildState4</td> <td class="state-header">ChildState5</td> <td class="state-header">ChildState6</td> <td class="state-header">ConcurrentState</td> <td class="state-header">ConcurrentChildState1</td> <td class="state-header">ConcurrentChildState2</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - ChildState2</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ParentState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState3</td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState4</td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState5</td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="4">- - ChildState6</td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ConcurrentState</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="9">- - ConcurrentChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> </tr> <tr> <td class="state-header" data-parent="9">- - ConcurrentChildState2</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">event1</td> <td class="event-header">concurrentEvent</td> <td class="event-header">crossAnd</td> <td class="event-header">event3</td> <td class="event-header">changeParent</td> <td class="event-header">event2</td> </tr> <tr> <td class="state-header" data-parent="">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</span></td> <td class="event-entry"><span>OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</td> <td class="state-header">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</td> </tr> <tr> <td class="state-header" data-parent="">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState1) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState1) )</td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState1 (ChildState2) )</td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState1 (ChildState2) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState3) )</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>crossAnd<br>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState3) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd<br>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState3) )</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState3) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState5 || ChildState4) )</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>crossAnd<br>event3</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState5 || ChildState4) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd<br>event3</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState1) || ParentState2 (ChildState6 || ChildState4) )</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossAnd</span></td> <td class="state-entry"><span>concurrentEvent</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (ConcurrentState (ConcurrentChildState2) || ParentState2 (ChildState6 || ChildState4) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>concurrentEvent</span></td> <td class="state-entry"><span>crossAnd</span></td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentTransitionWithActionNestedStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">otherButton</td> <td class="event-header">power</td> <td class="event-header">sleepButton</td> <td class="event-header">test</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- On</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - OnOn</td> <td class="event-entry"> </td> <td class="event-entry"><span>Off</span></td> <td class="event-entry"><span data-action="/ someAction();">Sleep</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - Sleep</td> <td class="event-entry"> </td> <td class="event-entry"><span>OnOn</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Off</td> <td class="event-entry"> </td> <td class="event-entry"><span>On</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Yes</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="5">- - YesYes</td> <td class="event-entry"><span data-action="/ anotherAction();">Slumber</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>No</span></td> </tr> <tr> <td class="state-header" data-parent="5">- - Slumber</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>Yes</span></td> </tr> <tr> <td class="state-header" data-parent="0">- No</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>Yes</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState</td> <td class="state-header">On</td> <td class="state-header">OnOn</td> <td class="state-header">Sleep</td> <td class="state-header">Off</td> <td class="state-header">Yes</td> <td class="state-header">YesYes</td> <td class="state-header">Slumber</td> <td class="state-header">No</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- On</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - OnOn</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - Sleep</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Off</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Yes</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="5">- - YesYes</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>otherButton</span></td> <td class="state-entry"><span>test</span></td> </tr> <tr> <td class="state-header" data-parent="5">- - Slumber</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- No</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">otherButton</td> <td class="event-header">test</td> <td class="event-header">sleepButton</td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">OverState (Yes (YesYes) || On (OnOn) )</td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (No || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (Yes (YesYes) || Off)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (OnOn) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (Yes (Slumber) || Off)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On (OnOn) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> <td class="event-entry"><span>OverState (No || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (No || Off)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (YesYes) || On (Sleep) )</td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (Sleep) )</span></td> <td class="event-entry"><span>OverState (No || On (Sleep) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (Sleep) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (Sleep) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (OnOn) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On (Sleep) )</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (Sleep) )</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (No || On (OnOn) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (YesYes) || Off)</td> <td class="event-entry"><span>OverState (Yes (Slumber) || Off)</span></td> <td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || On (OnOn) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (Slumber) || Off)</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (Slumber) || On (OnOn) )</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || Off)</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes (YesYes) || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (No || On (OnOn) )</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState (Yes (YesYes) || On (OnOn) )</td> <td class="state-header">OverState (Yes (Slumber) || On (OnOn) )</td> <td class="state-header">OverState (No || On (OnOn) )</td> <td class="state-header">OverState (Yes (YesYes) || On (Sleep) )</td> <td class="state-header">OverState (Yes (Slumber) || On (Sleep) )</td> <td class="state-header">OverState (No || On (Sleep) )</td> <td class="state-header">OverState (Yes (YesYes) || Off)</td> <td class="state-header">OverState (Yes (Slumber) || Off)</td> <td class="state-header">OverState (No || Off)</td> </tr> <tr> <td class="state-header" data-parent="">OverState (Yes (YesYes) || On (OnOn) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>otherButton</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (OnOn) )</td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On (OnOn) )</td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (YesYes) || On (Sleep) )</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>otherButton</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (Slumber) || On (Sleep) )</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On (Sleep) )</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (YesYes) || Off)</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>otherButton</span></td> <td class="state-entry"><span>test</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes (Slumber) || Off)</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || Off)</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from guardedTransitionStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"><span>[getStayOn()] Sleep</span><br><span>[!getStayOn()] Off</span></td> </tr> <tr> <td class="state-header" data-parent="">Sleep</td> <td class="event-entry"><span>On</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"><span>On</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">Sleep</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"><span>power [getStayOn()]</span></td> <td class="state-entry"><span>power [!getStayOn()]</span></td> </tr> <tr> <td class="state-header" data-parent="">Sleep</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentCrossDown.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">changeParent</td> <td class="event-header">crossDown</td> <td class="event-header">event1</td> <td class="event-header">event2</td> <td class="event-header">event3</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"><span>ChildState6</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span class="derived">ChildState6</span></td> <td class="event-entry"><span>ChildState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span class="derived">ChildState6</span></td> <td class="event-entry"><span>ChildState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="event-entry"><span>ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState4</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState3</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState6</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState5</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1</td> <td class="state-header">ChildState1</td> <td class="state-header">ChildState2</td> <td class="state-header">ParentState2</td> <td class="state-header">ChildState3</td> <td class="state-header">ChildState4</td> <td class="state-header">ChildState5</td> <td class="state-header">ChildState6</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>crossDown</span></td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">crossDown</span></td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">crossDown</span></td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">event1</td> <td class="event-header">crossDown</td> <td class="event-header">event3</td> <td class="event-header">changeParent</td> <td class="event-header">event2</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1 (ChildState1)</td> <td class="state-header">ParentState1 (ChildState2)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState4)</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"><span>crossDown</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"><span>crossDown</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentCrossSide.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">changeParent</td> <td class="event-header">crossSide</td> <td class="event-header">event1</td> <td class="event-header">event2</td> <td class="event-header">event3</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span>ChildState6</span></td> <td class="event-entry"><span>ChildState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="event-entry"><span>ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState4</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState3</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState6</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState5</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1</td> <td class="state-header">ChildState1</td> <td class="state-header">ChildState2</td> <td class="state-header">ParentState2</td> <td class="state-header">ChildState3</td> <td class="state-header">ChildState4</td> <td class="state-header">ChildState5</td> <td class="state-header">ChildState6</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>crossSide</span></td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">event1</td> <td class="event-header">crossSide</td> <td class="event-header">event3</td> <td class="event-header">changeParent</td> <td class="event-header">event2</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1 (ChildState1)</td> <td class="state-header">ParentState1 (ChildState2)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState4)</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"><span>crossSide</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from guardedTransitionDoublyNestedStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- OnOn</td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - OnOnOn</td> <td class="event-entry"><span>[getStayOn()] Sleep</span><br><span>[!getStayOn()] Off</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Sleep</td> <td class="event-entry"><span>OnOn</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"><span>On</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">OnOn</td> <td class="state-header">OnOnOn</td> <td class="state-header">Sleep</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- OnOn</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="1">- - OnOnOn</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>power [getStayOn()]</span></td> <td class="state-entry"><span>power [!getStayOn()]</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Sleep</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from simple.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"><span>Off</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"><span>On</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from timerTransitionStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">after(1)</td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"><span>Off</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"> </td> <td class="event-entry"><span>On</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentAlongsideNonConcurrentMultipleTransitionToSameStateWithGuardTransition.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">change1</td> <td class="event-header">changeNonCon</td> <td class="event-header">changeParent</td> <td class="event-header">double1</td> <td class="event-header">double2</td> <td class="event-header">guarded</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- NonConcurrentSubState1</td> <td class="event-entry"> </td> <td class="event-entry"><span>NonConcurrentSubState2</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- NonConcurrentSubState2</td> <td class="event-entry"> </td> <td class="event-entry"><span>NonConcurrentSubState1</span></td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ConcurrentSubState1</td> <td class="event-entry"><span>ConcurrentSubState2</span></td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ConcurrentSubState2</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"><span>ConcurrentSubState1</span></td> <td class="event-entry"><span>ConcurrentSubState1</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- Css1</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>[getGuard()] Css2</span><br><span>[!getGuard()] Css3</span></td> </tr> <tr> <td class="state-header" data-parent="3">- Css2</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>Css1</span></td> </tr> <tr> <td class="state-header" data-parent="3">- Css3</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>Css1</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1</td> <td class="state-header">NonConcurrentSubState1</td> <td class="state-header">NonConcurrentSubState2</td> <td class="state-header">ParentState2</td> <td class="state-header">ConcurrentSubState1</td> <td class="state-header">ConcurrentSubState2</td> <td class="state-header">Css1</td> <td class="state-header">Css2</td> <td class="state-header">Css3</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- NonConcurrentSubState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeNonCon</span></td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- NonConcurrentSubState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>changeNonCon</span></td> <td class="state-entry"> </td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ConcurrentSubState1</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>change1</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ConcurrentSubState2</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>double1</span><br><span>double2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- Css1</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded [getGuard()]</span></td> <td class="state-entry"><span>guarded [!getGuard()]</span></td> </tr> <tr> <td class="state-header" data-parent="3">- Css2</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- Css3</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">guarded</td> <td class="event-header">double2</td> <td class="event-header">double1</td> <td class="event-header">change1</td> <td class="event-header">changeNonCon</td> <td class="event-header">changeParent</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (NonConcurrentSubState1)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState2)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (NonConcurrentSubState2)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ConcurrentSubState1 || Css1)</td> <td class="event-entry"><span>[getGuard()] ParentState2 (ConcurrentSubState1 || Css2)<br>[!getGuard()] ParentState2 (Css3 || ConcurrentSubState1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState1 || Css2)</td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css2)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState1)</td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (Css3 || ConcurrentSubState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css1)</td> <td class="event-entry"><span>[getGuard()] ParentState2 (ConcurrentSubState2 || Css2)<br>[!getGuard()] ParentState2 (Css3 || ConcurrentSubState2)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css2)</td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css1)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css2)</span></td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState1 || Css2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState2)</td> <td class="event-entry"><span>ParentState2 (ConcurrentSubState2 || Css1)</span></td> <td class="event-entry"><span>ParentState2 (Css3 || ConcurrentSubState1)</span></td> <td class="event-entry"><span>ParentState2 (Css3 || ConcurrentSubState1)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState1 (NonConcurrentSubState1)</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1 (NonConcurrentSubState1)</td> <td class="state-header">ParentState1 (NonConcurrentSubState2)</td> <td class="state-header">ParentState2 (ConcurrentSubState1 || Css1)</td> <td class="state-header">ParentState2 (ConcurrentSubState1 || Css2)</td> <td class="state-header">ParentState2 (Css3 || ConcurrentSubState1)</td> <td class="state-header">ParentState2 (ConcurrentSubState2 || Css1)</td> <td class="state-header">ParentState2 (ConcurrentSubState2 || Css2)</td> <td class="state-header">ParentState2 (Css3 || ConcurrentSubState2)</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (NonConcurrentSubState1)</td> <td class="state-entry"> </td> <td class="state-entry"><span>changeNonCon</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (NonConcurrentSubState2)</td> <td class="state-entry"><span>changeNonCon</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ConcurrentSubState1 || Css1)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded [getGuard()]</span></td> <td class="state-entry"><span>guarded [!getGuard()]</span></td> <td class="state-entry"><span>change1</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState1 || Css2)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>change1</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState1)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>change1</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css1)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>double2<br>double1</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded [getGuard()]</span></td> <td class="state-entry"><span>guarded [!getGuard()]</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ConcurrentSubState2 || Css2)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>double2<br>double1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (Css3 || ConcurrentSubState2)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>double2<br>double1</span></td> <td class="state-entry"><span>guarded</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentCrossUp.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">changeParent</td> <td class="event-header">crossUp</td> <td class="event-header">event1</td> <td class="event-header">event2</td> <td class="event-header">event3</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState2</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="event-entry"><span class="derived">ParentState2</span></td> <td class="event-entry"><span>ParentState2</span></td> <td class="event-entry"><span>ChildState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="event-entry"><span>ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState4</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState3</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState6</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="event-entry"><span class="derived">ParentState1</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ChildState5</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1</td> <td class="state-header">ChildState1</td> <td class="state-header">ChildState2</td> <td class="state-header">ParentState2</td> <td class="state-header">ChildState3</td> <td class="state-header">ChildState4</td> <td class="state-header">ChildState5</td> <td class="state-header">ChildState6</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState1</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- ChildState2</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossUp</span><br><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState3</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState4</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState5</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="3">- ChildState6</td> <td class="state-entry"><span class="derived">changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">event1</td> <td class="event-header">crossUp</td> <td class="event-header">event3</td> <td class="event-header">changeParent</td> <td class="event-header">event2</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="event-entry"><span>ParentState1 (ChildState2)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState3)</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>ParentState2 (ChildState5 || ChildState4)</span></td> <td class="event-entry"><span>ParentState1 (ChildState1)</span></td> <td class="event-entry"><span>ParentState2 (ChildState6 || ChildState3)</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">ParentState1 (ChildState1)</td> <td class="state-header">ParentState1 (ChildState2)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-header">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-header">ParentState2 (ChildState6 || ChildState4)</td> </tr> <tr> <td class="state-header" data-parent="">ParentState1 (ChildState1)</td> <td class="state-entry"> </td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">ParentState1 (ChildState2)</td> <td class="state-entry"><span>event1</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>crossUp<br>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">ParentState2 (ChildState5 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState3)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState5 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event3</span></td> </tr> <tr> <td class="state-header" data-parent="2">ParentState2 (ChildState6 || ChildState4)</td> <td class="state-entry"><span>changeParent</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>event2</span></td> <td class="state-entry"><span>event3</span></td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from transitionWithActionNestedStateTable.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">power</td> <td class="event-header">sleepButton</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- OnOn</td> <td class="event-entry"><span>Off</span></td> <td class="event-entry"><span data-action="/ someAction();">Sleep</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Sleep</td> <td class="event-entry"><span>OnOn</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="event-entry"><span>On</span></td> <td class="event-entry"> </td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">On</td> <td class="state-header">OnOn</td> <td class="state-header">Sleep</td> <td class="state-header">Off</td> </tr> <tr> <td class="state-header" data-parent="">On</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- OnOn</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>sleepButton</span></td> <td class="state-entry"><span>power</span></td> </tr> <tr> <td class="state-header" data-parent="0">- Sleep</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="">Off</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> </table> </div> <style> .statetable { border-collapse: collapse; } .statetable td { border: 1px solid black; padding: 2px 10px 2px 10px; white-space: nowrap; } .statetable .state-header, .statetable .event-header { font-weight: bold; background-color: #ecf0f1; border: 2px solid black; } .statetable .derived { font-style: italic; } .statetable-container { overflow-x: auto; } </style> <h1>State tables generated by Umple from concurrentTimerTransitionStateTableDifferentTimer.ump</h1> <h2>Class Student state machine status</h2> <h3>State-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">after(1)</td> <td class="event-header">after(2)</td> <td class="event-header">power</td> <td class="event-header">test</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- On</td> <td class="event-entry"><span>Off</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Off</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>On</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Yes</td> <td class="event-entry"> </td> <td class="event-entry"><span>No</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- No</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>Yes</span></td> </tr> </table> </div> <h3>State-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState</td> <td class="state-header">On</td> <td class="state-header">Off</td> <td class="state-header">Yes</td> <td class="state-header">No</td> </tr> <tr> <td class="state-header" data-parent="">OverState</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- On</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Off</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">- Yes</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(2)</span></td> </tr> <tr> <td class="state-header" data-parent="0">- No</td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> </tr> </table> </div> <h3>Composite state-event table</h3> <div class="statetable-container"> <table class="statetable event-statetable"> <tr> <td class="event-header"> </td> <td class="event-header">after(2)</td> <td class="event-header">after(1)</td> <td class="event-header">test</td> <td class="event-header">power</td> </tr> <tr> <td class="state-header" data-parent="">OverState (Yes || On)</td> <td class="event-entry"><span>OverState (No || On)</span></td> <td class="event-entry"><span>OverState (Yes || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On)</td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"><span>OverState (Yes || On)</span></td> <td class="event-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes || Off)</td> <td class="event-entry"><span>OverState (No || Off)</span></td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || On)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || Off)</td> <td class="event-entry"> </td> <td class="event-entry"> </td> <td class="event-entry"><span>OverState (Yes || Off)</span></td> <td class="event-entry"><span>OverState (No || On)</span></td> </tr> </table> </div> <h3>Composite state-state table</h3> <div class="statetable-container"> <table class="statetable state-statetable"> <tr> <td class="state-header"> </td> <td class="state-header">OverState (Yes || On)</td> <td class="state-header">OverState (No || On)</td> <td class="state-header">OverState (Yes || Off)</td> <td class="state-header">OverState (No || Off)</td> </tr> <tr> <td class="state-header" data-parent="">OverState (Yes || On)</td> <td class="state-entry"> </td> <td class="state-entry"><span>after(2)</span></td> <td class="state-entry"><span>after(1)</span></td> <td class="state-entry"> </td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || On)</td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(1)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (Yes || Off)</td> <td class="state-entry"><span>power</span></td> <td class="state-entry"> </td> <td class="state-entry"> </td> <td class="state-entry"><span>after(2)</span></td> </tr> <tr> <td class="state-header" data-parent="0">OverState (No || Off)</td> <td class="state-entry"> </td> <td class="state-entry"><span>power</span></td> <td class="state-entry"><span>test</span></td> <td class="state-entry"> </td> </tr> </table> </div>