digraph gr { rankdir = LR;
label = "States Description (version1-blue, version2-red)";
subgraph clusterContactEditor{
node [shape=box]
color=blue
label= "ContactEditor"
state1ContactEditor [shape=box , fillcolor=blue, style=filled label="state1" ,color=blue];
state2ContactEditor [shape=box , fillcolor=blue, style=filled label="state2" ,color=blue];
initContactEditor [shape=box , label="state 0", color=blue];
closeContactEditor [shape=doublecircle , label="close", color=blue];
startContactEditor [shape=point , fillcolor=gray, style=filled, color=blue];
initContactEditor -> state2ContactEditor [color=blue, label= "init/condInit1/[9,10,11,12,13,14,15,16,17]"];
initContactEditor -> state1ContactEditor [color=blue, label= "init/condInit2/[18,19,11,12,13,14,15,16,17]"];
state1ContactEditor -> state2ContactEditor [color=blue, label= "Add/cond1/[1,2]"];
state1ContactEditor -> closeContactEditor [color=blue, label= "Cancel/cond5/[7]"];
state1ContactEditor -> closeContactEditor [color=blue, label= "Ok/cond6/[8]"];
state2ContactEditor -> state2ContactEditor [color=blue, label= "Add/cond1/[1,2]"];
state2ContactEditor -> closeContactEditor [color=blue, label= "Cancel/cond5/[7]"];
state2ContactEditor -> state2ContactEditor [color=blue, label= "Edit/cond2/[]"];
state2ContactEditor -> closeContactEditor [color=blue, label= "Ok/cond6/[8]"];
state2ContactEditor -> state1ContactEditor [color=blue, label= "Remove/cond3/[3,4]"];
state2ContactEditor -> state2ContactEditor [color=blue, label= "Remove/cond4/[5,6]"];
startContactEditor -> initContactEditor [color=blue];
state1ContactEditor [shape=box , fillcolor=red, style=filled label="state1" ,color=red];
state2ContactEditor [shape=box , fillcolor=red, style=filled label="state2" ,color=red];
initContactEditor [shape=box , label="state 0", color=red];
startContactEditor [shape=point , fillcolor=gray, style=filled, color=red];
initContactEditor -> state2ContactEditor [color=red, label= "init/condInit1/[1,2,3,4,5,6,7,8,9]"];
initContactEditor -> state1ContactEditor [color=red, label= "init/condInit2/[10,11,3,4,5,6,7,8,9]"];
state1ContactEditor -> state1ContactEditor [color=red, label= "Cancel/cond1/[]"];
state1ContactEditor -> state1ContactEditor [color=red, label= "Ok/cond2/[]"];
state2ContactEditor -> state2ContactEditor [color=red, label= "Cancel/cond1/[]"];
state2ContactEditor -> state2ContactEditor [color=red, label= "Ok/cond2/[]"];
startContactEditor -> initContactEditor [color=red];
}
subgraph clusterFind{
node [shape=box]
color=blue
label= "Find"
state1Find [shape=box , fillcolor=blue, style=filled label="state1" ,color=blue];
initFind [shape=box , label="state 0", color=blue];
startFind [shape=point , fillcolor=gray, style=filled, color=blue];
initFind -> state1Find [color=blue, label= "init/condInit1/[1,2,3,4,5,6,7]"];
state1Find -> state1Find [color=blue, label= "Cancel/cond2/[]"];
state1Find -> state1Find [color=blue, label= "Search/cond1/[]"];
state1Find -> state1Find [color=blue, label= "Show/cond3/[]"];
startFind -> initFind [color=blue];
state1Find [shape=box , fillcolor=red, style=filled label="state1" ,color=red];
initFind [shape=box , label="state 0", color=red];
closeFind [shape=doublecircle , label="close", color=red];
startFind [shape=point , fillcolor=gray, style=filled, color=red];
initFind -> state1Find [color=red, label= "init/condInit1/[2,3,4,5,6,7,8]"];
state1Find -> closeFind [color=red, label= "Cancel/cond2/[1]"];
state1Find -> state1Find [color=red, label= "Search/cond1/[]"];
state1Find -> state1Find [color=red, label= "Show/cond3/[]"];
startFind -> initFind [color=red];
}
subgraph clusterLogin{
node [shape=box]
color=blue
label= "Login"
state1Login [shape=box , fillcolor=blue, style=filled label="state1" ,color=blue];
initLogin [shape=box , label="state 0", color=blue];
endLogin [shape=doublecircle , label="end", color=blue];
closeLogin [shape=doublecircle , label="close", color=blue];
startLogin [shape=point , fillcolor=gray, style=filled, color=blue];
initLogin -> state1Login [color=blue, label= "init/condInit1/[5,6,7,8,9]"];
state1Login -> endLogin [color=blue, label= "Cancel/cond1/[1]"];
state1Login -> closeLogin [color=blue, label= "Ok/cond2/[2,3]"];
state1Login -> state1Login [color=blue, label= "Ok/cond3/[4]"];
startLogin -> initLogin [color=blue];
state1Login [shape=box , fillcolor=red, style=filled label="state1" ,color=red];
initLogin [shape=box , label="state 0", color=red];
endLogin [shape=doublecircle , label="end", color=red];
closeLogin [shape=doublecircle , label="close", color=red];
startLogin [shape=point , fillcolor=gray, style=filled, color=red];
initLogin -> state1Login [color=red, label= "init/condInit1/[5,6,7,8,9]"];
state1Login -> endLogin [color=red, label= "Cancel/cond1/[1]"];
state1Login -> closeLogin [color=red, label= "Ok/cond2/[2,3]"];
state1Login -> state1Login [color=red, label= "Ok/cond3/[4]"];
startLogin -> initLogin [color=red];
}
subgraph clusterMainForm{
node [shape=box]
color=blue
label= "MainForm"
state1MainForm [shape=box , fillcolor=blue, style=filled label="state1" ,color=blue];
initMainForm [shape=box , label="state 0", color=blue];
endMainForm [shape=doublecircle , label="end", color=blue];
startMainForm [shape=point , fillcolor=gray, style=filled, color=blue];
initMainForm -> state1MainForm [color=blue, label= "init/condInit1/[6,7,8,9,10,11,12,13,14,15]"];
state1MainForm -> state1MainForm [color=blue, label= "Edit/cond2/[2]"];
state1MainForm -> state1MainForm [color=blue, label= "Edit/cond3/[3]"];
state1MainForm -> endMainForm [color=blue, label= "Exit/cond1/[1]"];
state1MainForm -> state1MainForm [color=blue, label= "Find/cond4/[4]"];
state1MainForm -> state1MainForm [color=blue, label= "Find/cond5/[5]"];
startMainForm -> initMainForm [color=blue];
state1MainForm [shape=box , fillcolor=red, style=filled label="state1" ,color=red];
initMainForm [shape=box , label="state 0", color=red];
endMainForm [shape=doublecircle , label="end", color=red];
startMainForm [shape=point , fillcolor=gray, style=filled, color=red];
initMainForm -> state1MainForm [color=red, label= "init/condInit1/[6,7,8,9,10,11,12,13,14,15]"];
state1MainForm -> state1MainForm [color=red, label= "Edit/cond2/[2]"];
state1MainForm -> state1MainForm [color=red, label= "Edit/cond3/[3]"];
state1MainForm -> endMainForm [color=red, label= "Exit/cond1/[1]"];
state1MainForm -> state1MainForm [color=red, label= "Find/cond4/[4]"];
state1MainForm -> state1MainForm [color=red, label= "Find/cond5/[5]"];
startMainForm -> initMainForm [color=red];
}
}