test.sh modified, lots of changes in eval send, self and spawn to man…

…age processes

examples/airline/agent1_local_view.dot

@@ -5,6 +5,6 @@ digraph agent1 {
 	n_0 -> n_1 [arrowhead=none];
 	n_2 [id="2", shape=circle, label="2"];
 
-	n_1 -> n_2 [id="[$e|0]", label="send {sell,pid_self} to Pid2"];
 	n_2 -> n_1 [id="[$e|3]", label="receive {booked,_}"];
+	n_1 -> n_2 [id="[$e|0]", label="send {sell,pid_self} to Pid2"];
 }

examples/airline/main0_global_view.dot

@@ -6,6 +6,6 @@ digraph global {
 	n_2 [id="2", shape=circle, label="2"];
 	n_3 [id="3", shape=circle, label="3"];
 
-	n_1 -> n_2 [id="[$e|0]", label="main0Δagent1_0"];
-	n_2 -> n_3 [id="[$e|1]", label="main0Δagent1_1"];
+	n_2 -> n_3 [id="[$e|1]", label="main0/0Δagent1/1"];
+	n_1 -> n_2 [id="[$e|0]", label="main0/0Δagent1/0"];
 }

examples/airline/main0_local_view.dot

@@ -1,14 +1,14 @@
 digraph main0 {
 	rankdir="LR";
 	n_0 [label="main0", shape="plaintext"];
-	n_1 [id="5", shape=circle, label="4"];
-	n_2 [id="1", shape=circle, label="1"];
-	n_0 -> n_2 [arrowhead=none];
-	n_3 [id="2", shape=doublecircle, label="3"];
-	n_4 [id="4", shape=circle, label="2"];
+	n_1 [id="1", shape=circle, label="1"];
+	n_0 -> n_1 [arrowhead=none];
+	n_2 [id="2", shape=circle, label="2"];
+	n_3 [id="4", shape=circle, label="4"];
+	n_4 [id="3", shape=circle, label="3"];
 
-	n_1 -> n_3 [id="[$e|5]", label="send {booked,Num} to Pid1"];
-	n_4 -> n_3 [id="[$e|3]", label="spawn agent1_1"];
-	n_3 -> n_1 [id="[$e|2]", label="receive {sell,Pid1}"];
-	n_2 -> n_4 [id="[$e|1]", label="spawn agent1_0"];
+	n_1 -> n_2 [id="[$e|3]", label="spawn agent1/0"];
+	n_4 -> n_3 [id="[$e|2]", label="receive {sell,Pid1}"];
+	n_3 -> n_4 [id="[$e|5]", label="send {booked,Num} to Pid1"];
+	n_2 -> n_4 [id="[$e|0]", label="spawn agent1/1"];
 }

examples/async/dummy10_local_view.dot

@@ -0,0 +1,11 @@
+digraph dummy10 {
+	rankdir="LR";
+	n_0 [label="dummy10", shape="plaintext"];
+	n_1 [id="1", shape=circle, label="1"];
+	n_0 -> n_1 [arrowhead=none];
+	n_2 [id="2", shape=circle, label="2"];
+	n_3 [id="3", shape=doublecircle, label="3"];
+
+	n_1 -> n_2 [id="[$e|1]", label="send bello to dummy20/0"];
+	n_2 -> n_3 [id="[$e|0]", label="receive ciao"];
+}

examples/async/dummy20_local_view.dot

@@ -0,0 +1,11 @@
+digraph dummy20 {
+	rankdir="LR";
+	n_0 [label="dummy20", shape="plaintext"];
+	n_1 [id="1", shape=circle, label="1"];
+	n_0 -> n_1 [arrowhead=none];
+	n_2 [id="2", shape=circle, label="2"];
+	n_3 [id="3", shape=doublecircle, label="3"];
+
+	n_2 -> n_3 [id="[$e|1]", label="receive bello"];
+	n_1 -> n_2 [id="[$e|0]", label="send ciao to dummy10/0"];
+}

examples/async/main0_global_view.dot

@@ -0,0 +1,18 @@
+digraph global {
+	rankdir="LR";
+	n_0 [label="global", shape="plaintext"];
+	n_1 [id="5", shape=circle, label="6"];
+	n_2 [id="1", shape=circle, label="1"];
+	n_0 -> n_2 [arrowhead=none];
+	n_3 [id="2", shape=circle, label="2"];
+	n_4 [id="4", shape=circle, label="4"];
+	n_5 [id="7", shape=circle, label="5"];
+	n_6 [id="3", shape=circle, label="3"];
+
+	n_2 -> n_3 [id="[$e|3]", label="main0/0Δdummy10/0"];
+	n_3 -> n_6 [id="[$e|1]", label="main0/0Δdummy20/0"];
+	n_5 -> n_1 [id="[$e|6]", label="dummy10/0→dummy20/0:bello"];
+	n_4 -> n_1 [id="[$e|2]", label="dummy20/0→dummy10/0:ciao"];
+	n_6 -> n_5 [id="[$e|5]", label="dummy20/0→dummy10/0:ciao"];
+	n_6 -> n_4 [id="[$e|0]", label="dummy10/0→dummy20/0:bello"];
+}

examples/customer/main_local_view.dot → examples/async/main0_local_view.dot

@@ -1,11 +1,11 @@
-digraph main {
+digraph main0 {
 	rankdir="LR";
-	n_0 [label="main", shape="plaintext"];
+	n_0 [label="main0", shape="plaintext"];
 	n_1 [id="1", shape=circle, label="1"];
 	n_0 -> n_1 [arrowhead=none];
 	n_2 [id="2", shape=circle, label="2"];
 	n_3 [id="3", shape=doublecircle, label="3"];
 
-	n_2 -> n_3 [id="[$e|1]", label="spawn store_0"];
-	n_1 -> n_2 [id="[$e|0]", label="spawn customer_0"];
+	n_2 -> n_3 [id="[$e|1]", label="spawn dummy20/0"];
+	n_1 -> n_2 [id="[$e|0]", label="spawn dummy10/0"];
 }

examples/conditional-case/dummy1_local_view.dot

@@ -0,0 +1,11 @@
+digraph dummy1 {
+	rankdir="LR";
+	n_0 [label="dummy1", shape="plaintext"];
+	n_1 [id="1", shape=circle, label="1"];
+	n_0 -> n_1 [arrowhead=none];
+	n_2 [id="2", shape=circle, label="2"];
+	n_3 [id="3", shape=doublecircle, label="3"];
+
+	n_1 -> n_2 [id="[$e|0]", label="send {pid_self,integer} to Pid"];
+	n_2 -> n_3 [id="[$e|1]", label="receive Str"];
+}

examples/conditional-case/main0_global_view.dot

@@ -0,0 +1,15 @@
+digraph global {
+	rankdir="LR";
+	n_0 [label="global", shape="plaintext"];
+	n_1 [id="5", shape=circle, label="4"];
+	n_2 [id="1", shape=circle, label="1"];
+	n_0 -> n_2 [arrowhead=none];
+	n_3 [id="2", shape=circle, label="2"];
+	n_4 [id="4", shape=circle, label="5"];
+	n_5 [id="3", shape=circle, label="3"];
+
+	n_2 -> n_3 [id="[$e|0]", label="main0/0Δdummy1/0"];
+	n_1 -> n_4 [id="[$e|3]", label="main0/0Δdummy1/3"];
+	n_5 -> n_1 [id="[$e|2]", label="main0/0Δdummy1/2"];
+	n_3 -> n_5 [id="[$e|1]", label="main0/0Δdummy1/1"];
+}

examples/conditional-case/main0_local_view.dot

@@ -0,0 +1,25 @@
+digraph main0 {
+	rankdir="LR";
+	n_0 [label="main0", shape="plaintext"];
+	n_1 [id="11", shape=circle, label="3"];
+	n_2 [id="6", shape=circle, label="4"];
+	n_3 [id="10", shape=circle, label="5"];
+	n_4 [id="1", shape=circle, label="1"];
+	n_0 -> n_4 [arrowhead=none];
+	n_5 [id="2", shape=circle, label="7"];
+	n_6 [id="8", shape=doublecircle, label="8"];
+	n_7 [id="4", shape=circle, label="2"];
+	n_8 [id="3", shape=circle, label="6"];
+
+	n_8 -> n_5 [id="[$e|16]", label="send "Ciao A" to dummy1/0"];
+	n_8 -> n_5 [id="[$e|0]", label="send "Ciao C" to dummy1/2"];
+	n_8 -> n_6 [id="[$e|9]", label="receive Obj"];
+	n_8 -> n_5 [id="[$e|14]", label="send "Ciao D" to dummy1/3"];
+	n_1 -> n_2 [id="[$e|5]", label="spawn dummy1/2"];
+	n_5 -> n_6 [id="[$e|3]", label="receive Obj"];
+	n_3 -> n_8 [id="[$e|8]", label="receive {Process,_}"];
+	n_2 -> n_3 [id="[$e|6]", label="spawn dummy1/3"];
+	n_7 -> n_1 [id="[$e|11]", label="spawn dummy1/1"];
+	n_8 -> n_5 [id="[$e|15]", label="send "Ciao B" to dummy1/1"];
+	n_4 -> n_7 [id="[$e|4]", label="spawn dummy1/0"];
+}

examples/customer/customer0_local_view.dot

@@ -0,0 +1,17 @@
+digraph customer0 {
+	rankdir="LR";
+	n_0 [label="customer0", shape="plaintext"];
+	n_1 [id="5", shape=circle, label="2"];
+	n_2 [id="1", shape=circle, label="1"];
+	n_0 -> n_2 [arrowhead=none];
+	n_3 [id="2", shape=circle, label="3"];
+	n_4 [id="7", shape=doublecircle, label="5"];
+	n_5 [id="3", shape=circle, label="4"];
+
+	n_1 -> n_3 [id="[$e|4]", label="send buy to store0/0"];
+	n_5 -> n_4 [id="[$e|1]", label="receive accepted"];
+	n_1 -> n_2 [id="[$e|8]", label="send more to store0/0"];
+	n_5 -> n_3 [id="[$e|9]", label="receive reject"];
+	n_2 -> n_1 [id="[$e|7]", label="send item to store0/0"];
+	n_3 -> n_5 [id="[$e|2]", label="send payment to store0/0"];
+}

examples/customer/main0_global_view.dot

@@ -0,0 +1,21 @@
+digraph global {
+	rankdir="LR";
+	n_0 [label="global", shape="plaintext"];
+	n_1 [id="5", shape=circle, label="6"];
+	n_2 [id="6", shape=circle, label="7"];
+	n_3 [id="1", shape=circle, label="1"];
+	n_0 -> n_3 [arrowhead=none];
+	n_4 [id="2", shape=circle, label="2"];
+	n_5 [id="8", shape=circle, label="4"];
+	n_6 [id="4", shape=circle, label="5"];
+	n_7 [id="3", shape=circle, label="3"];
+
+	n_4 -> n_7 [id="[$e|4]", label="main0/0Δstore0/0"];
+	n_1 -> n_2 [id="[$e|1]", label="store0/0→customer0/0:accepted"];
+	n_1 -> n_6 [id="[$e|3]", label="store0/0→customer0/0:reject"];
+	n_5 -> n_7 [id="[$e|9]", label="customer0/0→store0/0:more"];
+	n_6 -> n_1 [id="[$e|6]", label="customer0/0→store0/0:payment"];
+	n_7 -> n_5 [id="[$e|0]", label="customer0/0→store0/0:item"];
+	n_5 -> n_6 [id="[$e|2]", label="customer0/0→store0/0:buy"];
+	n_3 -> n_4 [id="[$e|5]", label="main0/0Δcustomer0/0"];
+}

examples/async/main_local_view.dot → examples/customer/main0_local_view.dot

@@ -1,11 +1,11 @@
-digraph main {
+digraph main0 {
 	rankdir="LR";
-	n_0 [label="main", shape="plaintext"];
+	n_0 [label="main0", shape="plaintext"];
 	n_1 [id="1", shape=circle, label="1"];
 	n_0 -> n_1 [arrowhead=none];
 	n_2 [id="2", shape=circle, label="2"];
 	n_3 [id="3", shape=doublecircle, label="3"];
 
-	n_1 -> n_2 [id="[$e|1]", label="spawn dummy1_0"];
-	n_2 -> n_3 [id="[$e|0]", label="spawn dummy2_0"];
+	n_2 -> n_3 [id="[$e|1]", label="spawn store0/0"];
+	n_1 -> n_2 [id="[$e|0]", label="spawn customer0/0"];
 }

examples/customer/store0_local_view.dot

@@ -0,0 +1,17 @@
+digraph store0 {
+	rankdir="LR";
+	n_0 [label="store0", shape="plaintext"];
+	n_1 [id="6", shape=doublecircle, label="5"];
+	n_2 [id="1", shape=circle, label="1"];
+	n_0 -> n_2 [arrowhead=none];
+	n_3 [id="2", shape=circle, label="2"];
+	n_4 [id="7", shape=doublecircle, label="4"];
+	n_5 [id="3", shape=circle, label="3"];
+
+	n_5 -> n_4 [id="[$e|1]", label="receive payment"];
+	n_3 -> n_2 [id="[$e|8]", label="receive more"];
+	n_3 -> n_5 [id="[$e|9]", label="receive buy"];
+	n_2 -> n_3 [id="[$e|6]", label="receive item"];
+	n_4 -> n_1 [id="[$e|7]", label="send accepted to customer0/0"];
+	n_4 -> n_5 [id="[$e|5]", label="send reject to customer0/0"];
+}