// Code generated by Umple 1.30.2.5248.dba0a5744 digraph "ActLess5Transition" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s2 [ label = "e1 / doTransition();", tooltip = "From s1 to s2 on e1 Transition Action: doTransition();" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "Act5Transition" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s2 [ label = "e1 / {...}", tooltip = "From s1 to s2 on e1 Transition Action: doTransition1(); doTransition2(); doTransition3(); doTransition4(); doTransition5();" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "GuardTransition" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s2 [ label = "e1 [guard()]", tooltip = "From s1 to s2 on e1 Guard: [guard()]" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "HideActionTransition" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s2 [ label = "e1", tooltip = "From s1 to s2 on e1" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "HideGuardTransition" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s2 [ label = "e1", tooltip = "From s1 to s2 on e1" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "ActivityMore5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Activity: doThisContinuouslyWhileOn1(); doThisContinuouslyWhileOn2(); doThisContinuouslyWhileOn3(); doThisContinuouslyWhileOn4(); doThisContinuouslyWhileOn5(); ..."]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "ExitMore5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Exit: doEntry1(); doEntry2(); doEntry3(); doEntry4(); doEntry5(); ..."]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "NormalState" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "ActivityLess5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Activity: doThisContinuouslyWhileOn();"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "ActMore5Transition" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s2 [ label = "e1 / {...}", tooltip = "From s1 to s2 on e1 Transition Action: doTransition1(); doTransition2(); doTransition3(); doTransition4(); doTransition5(); ..." ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "ExitLess5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Exit: doEntry();"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "NestedTransition" { compound = true; size="80,10" // Class: A // Top Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 subgraph clusterA_sm_s2 { label = "s2"; style = rounded; // Bottom Level StateMachine: s2 // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_smS2 [ tooltip = "Class A, SM sm, State s2.start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2a A_smS2_s2a [label = s2a, tooltip = "Class A, SM sm, State s2.s2a"]; // End State: s2a // State: s2b A_smS2_s2b [label = s2b, tooltip = "Class A, SM sm, State s2.s2b"]; // End State: s2b // End Bottom Level StateMachine: s2 } // End State: s2 // End Top Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_smS2_s2a -> A_sm_s1 [ ltail=clusterA_sm_s2, label = "e1", tooltip = "From s2 to s1 on e1" ] ; A_sm_s1 -> A_smS2_s2a [ lhead=clusterA_sm_s2, label = "e1", tooltip = "From s1 to s2 on e1" ] ; start_A_smS2 -> A_smS2_s2a [ tooltip = "start to s2.s2a" ] ; A_smS2_s2b -> A_smS2_s2a [ label = "e3", tooltip = "From s2.s2b to s2.s2a on e3" ] ; A_sm_s1 -> A_smS2_s2b [ label = "e2", tooltip = "From s1 to s2.s2b on e2" ] ; A_smS2_s2a -> A_smS2_s2b [ label = "e3", tooltip = "From s2.s2a to s2.s2b on e3" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "NestedState" { compound = true; size="80,10" // Class: A // Top Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 subgraph clusterA_sm_s2 { label = "s2"; style = rounded; // Bottom Level StateMachine: s2 // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_smS2 [ tooltip = "Class A, SM sm, State s2.start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2a A_smS2_s2a [label = s2a, tooltip = "Class A, SM sm, State s2.s2a"]; // End State: s2a // End Bottom Level StateMachine: s2 } // End State: s2 // End Top Level StateMachine: sm // All transitions start_A_sm -> A_smS2_s2a [ lhead=clusterA_sm_s2, tooltip = "start to s2" ] ; start_A_smS2 -> A_smS2_s2a [ tooltip = "start to s2.s2a" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "Transition" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s2 [ label = "e1", tooltip = "From s1 to s2 on e1" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "Exit5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Exit: doEntry1(); doEntry2(); doEntry3(); doEntry4(); doEntry5();"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "HideActionState" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "Activity5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Activity: doThisContinuouslyWhileOn1(); doThisContinuouslyWhileOn2(); doThisContinuouslyWhileOn3(); doThisContinuouslyWhileOn4(); doThisContinuouslyWhileOn5();"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "GuardedAutoTransition" { compound = true; size="80,10" // Class: X // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_X_sm [ tooltip = "Class X, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 X_sm_s1 [label = s1, tooltip = "Class X, SM sm, State s1 Entry: System.out.println("Starting first sleep"); Activity: Thread.sleep(2000); System.out.println("Ending first sleep");"]; // End State: s1 // State: s2 X_sm_s2 [label = s2, tooltip = "Class X, SM sm, State s2 Entry: System.out.println("Starting second sleep"); Activity: Thread.sleep(2000); System.out.println("Ending second sleep");"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_X_sm -> X_sm_s1 [ tooltip = "start to s1" ] ; X_sm_s1 -> X_sm_s2 [ label = "[guard]", tooltip = "From s1 to s2 automatically Guard: [guard]" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "ParameterTransition" { compound = true; size="80,10" // Class: X // Top and Bottom Level StateMachine: stateMachine1 subgraph clusterX_stateMachine1 { label = "sm X stateMachine1"; penwidth=0.5; // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_X_stateMachine1 [ tooltip = "Class X, SM stateMachine1, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1a X_stateMachine1_s1a [label = s1a, tooltip = "Class X, SM stateMachine1, State s1a Activity: // This do activity sends events to stateMachine1 e(5); Thread.sleep(1000); e(6); Thread.sleep(1000); ..."]; // End State: s1a // State: s1b X_stateMachine1_s1b [label = s1b, tooltip = "Class X, SM stateMachine1, State s1b"]; // End State: s1b // End Top and Bottom Level StateMachine: stateMachine1 } // Top and Bottom Level StateMachine: stateMachine2 subgraph clusterX_stateMachine2 { label = "sm X stateMachine2"; penwidth=0.5; // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_X_stateMachine2 [ tooltip = "Class X, SM stateMachine2, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2a X_stateMachine2_s2a [label = s2a, tooltip = "Class X, SM stateMachine2, State s2a Entry: System.out.println("s2a");"]; // End State: s2a // State: s2b X_stateMachine2_s2b [label = s2b, tooltip = "Class X, SM stateMachine2, State s2b Entry: System.out.println("s2b");"]; // End State: s2b // End Top and Bottom Level StateMachine: stateMachine2 } // All transitions start_X_stateMachine1 -> X_stateMachine1_s1a [ tooltip = "start to s1a" ] ; X_stateMachine1_s1a -> X_stateMachine1_s1b [ tooltip = "From s1a to s1b automatically" ] ; start_X_stateMachine2 -> X_stateMachine2_s2a [ tooltip = "start to s2a" ] ; X_stateMachine2_s2b -> X_stateMachine2_s2a [ label = "e(int a) / {...}", tooltip = "From s2b to s2a on e(int a) Transition Action: System.out.println("e"+a);" ] ; X_stateMachine2_s2a -> X_stateMachine2_s2b [ label = "e(int a) [a > 6] / {...}", tooltip = "From s2a to s2b on e(int a) Guard: [a > 6] Transition Action: System.out.println("e"+a);" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "EntryMore5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Entry: doEntry1(); doEntry2(); doEntry3(); doEntry4(); doEntry5(); ..."]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "Entry5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Entry: doEntry1(); doEntry2(); doEntry3(); doEntry4(); doEntry5();"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "EntryLess5State" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s2 A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2 Entry: doEntry();"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s2 [ tooltip = "start to s2" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "TimedTransition" { compound = true; size="80,10" // Class: X // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_X_sm [ tooltip = "Class X, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: a X_sm_a [label = a, tooltip = "Class X, SM sm, State a Entry: System.out.println("entering a");"]; // End State: a // State: b X_sm_b [label = b, tooltip = "Class X, SM sm, State b Entry: System.out.println("entering b");"]; // End State: b // End Top and Bottom Level StateMachine: sm // All transitions start_X_sm -> X_sm_a [ tooltip = "start to a" ] ; X_sm_a -> X_sm_b [ label = "after(1)", tooltip = "From a to b after(1)" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "AutoTransition" { compound = true; size="80,10" // Class: X // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_X_sm [ tooltip = "Class X, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 X_sm_s1 [label = s1, tooltip = "Class X, SM sm, State s1 Entry: System.out.println("Starting first sleep"); Activity: Thread.sleep(2000); System.out.println("Ending first sleep");"]; // End State: s1 // State: s2 X_sm_s2 [label = s2, tooltip = "Class X, SM sm, State s2 Entry: System.out.println("Starting second sleep"); Activity: Thread.sleep(2000); System.out.println("Ending second sleep");"]; // End State: s2 // End Top and Bottom Level StateMachine: sm // All transitions start_X_sm -> X_sm_s1 [ tooltip = "start to s1" ] ; X_sm_s1 -> X_sm_s2 [ tooltip = "From s1 to s2 automatically" ] ; } // Code generated by Umple 1.30.2.5248.dba0a5744 digraph "TransitionSelf" { compound = true; size="80,10" // Class: A // Top and Bottom Level StateMachine: sm // Start states are shown as a black circle node [shape = point, fillcolor="black", width=0.2 ]; start_A_sm [ tooltip = "Class A, SM sm, State start" ]; // Format for normal states node [shape = rectangle, width=1,style=rounded]; // State: s1 A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"]; // End State: s1 // End Top and Bottom Level StateMachine: sm // All transitions start_A_sm -> A_sm_s1 [ tooltip = "start to s1" ] ; A_sm_s1 -> A_sm_s1 [ label = "e1", tooltip = "From s1 to s1 on e1" ] ; }