Differences

This shows you the differences between two versions of the page.

--- doc:rfc_kadaver [2014/11/10 04:21] – [UI Requirements] admin
+++ doc:rfc_kadaver [2014/11/10 05:20] – [UI Requirements] admin
@@ Line 75: / Line 75: @@
-FIXME to be defined
+<graphviz dot>
+digraph finite_state_machine {
+	node [shape = box];
+        n1  [ label = "Start\n(Display rotating Busy Symbol)" ];
+        n3  [ label = "Connect to Webserver" ];
+        n4  [ label = "Display Server settings\nfor correction & Retry" ];
+        n5  [ label = "Check Bluetooth\nSocket Availability" ];
+        n6  [ label = "Inform User & Retry" ];
+        n7  [ label = "Do Bluetooth\nDongle Discovery" ];
+        n8  [ label = "Any Dongle found?" ];
+        n9  [ label = "Inform User & Retry" ];
+        n10 [ label = "more as 1 Dongle found?" ];
+        n11 [ label = "Dongle selection & Retry" ];
+        n12 [ label = "Paring Dongle" ];
+        n13  [ label = "Inform User & Retry" ];
+        n14  [ label = "Display Channel" ];
+        n15  [ label = "Normal Operation" ];
+        n16  [ label = "End (Close Window)" ];
+	n1 -> n3 [ color ="green" ];
+        n3 -> n4   [ label = "Error"  ];
+        n3 -> n5   [ label = "Ok" color ="green" ];
+        n4 -> n3   [ label = "Retry" ];
+        n4 -> n16  [ label = "End" ];
+        n5 -> n6   [ label = "Error" ];
+        n5 -> n7   [ label = "Ok" color ="green" ];
+        n6 -> n5   [ label = "Retry" ];
+        n6 -> n16  [ label = "End" ];
+        n7 -> n8 [ color ="green" ] ;
+        n8 -> n9   [ label = "No" ];
+        n8 -> n10   [ label = "Yes" color ="green" ];
+        n9 -> n7   [ label = "Retry" ];
+        n10 -> n16  [ label = "End" ];
+        n10 -> n11   [ label = "Yes" color ="green" ];
+        n10 -> n12   [ label = "No" ];
+        n11 -> n12   [ label = "Pair" color ="green" ];
+        n11 -> n16  [ label = "End" ];
+        n12 -> n13   [ label = "Error" ];
+        n12 -> n14   [ label = "Ok" color ="green" ];
+        n13 -> n12   [ label = "Retry" ];
+        n13 -> n16  [ label = "End" ];
+        n14 -> n15 -> n16 [ color ="green" ];
+          n20  [ label = "User Settings" ];
+          n21  [ label = "Webserver URL" ];
+          n22  [ label = "Language" ];
+     n20 -> n21 ; n20 -> n22 ;
+}
+</graphviz>
 ==== Errors ====