Permalink
Browse files

case study toegevoegd

  • Loading branch information...
unknown unknown
unknown authored and unknown committed Apr 26, 2012
1 parent 8628f96 commit 4163e6eb96f216bf4341cb716b699220be7c8193
@@ -0,0 +1,119 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
+ <graph edgemode="directed" edgeids="false" role="rule" id="1 - initialize-account">
+ <attr name="transitionLabel">
+ <string>init</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <node id="n1">
+ <attr name="layout">
+ <string>83 22 36 34</string>
+ </attr>
+ </node>
+ <node id="n2">
+ <attr name="layout">
+ <string>237 20 41 38</string>
+ </attr>
+ </node>
+ <node id="n5">
+ <attr name="layout">
+ <string>198 137 41 38</string>
+ </attr>
+ </node>
+ <node id="n0">
+ <attr name="layout">
+ <string>68 135 70 52</string>
+ </attr>
+ </node>
+ <node id="n3">
+ <attr name="layout">
+ <string>266 85 43 43</string>
+ </attr>
+ </node>
+ <node id="n4">
+ <attr name="layout">
+ <string>393 88 27 38</string>
+ </attr>
+ </node>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>new:</string>
+ </attr>
+ </edge>
+ <edge to="n5" from="n0">
+ <attr name="label">
+ <string>id</string>
+ </attr>
+ </edge>
+ <edge to="n5" from="n1">
+ <attr name="label">
+ <string>new:highest_id</string>
+ </attr>
+ </edge>
+ <edge to="n2" from="n2">
+ <attr name="label">
+ <string>int:</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n1">
+ <attr name="label">
+ <string>has</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>flag:AS_IDLE</string>
+ </attr>
+ </edge>
+ <edge to="n2" from="n1">
+ <attr name="label">
+ <string>del:highest_id</string>
+ </attr>
+ </edge>
+ <edge to="n4" from="n3">
+ <attr name="label">
+ <string>arg:1</string>
+ </attr>
+ </edge>
+ <edge to="n3" from="n3">
+ <attr name="label">
+ <string>prod:</string>
+ </attr>
+ </edge>
+ <edge to="n5" from="n5">
+ <attr name="label">
+ <string>int:</string>
+ </attr>
+ </edge>
+ <edge to="n2" from="n3">
+ <attr name="label">
+ <string>arg:0</string>
+ </attr>
+ </edge>
+ <edge to="n1" from="n1">
+ <attr name="label">
+ <string>type:CR</string>
+ </attr>
+ </edge>
+ <edge to="n4" from="n4">
+ <attr name="label">
+ <string>int:1</string>
+ </attr>
+ </edge>
+ <edge to="n5" from="n3">
+ <attr name="label">
+ <string>int:add</string>
+ </attr>
+ </edge>
+ </graph>
+</gxl>
@@ -0,0 +1,51 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
+ <graph edgemode="directed" edgeids="false" role="rule" id="2 - open-account">
+ <attr name="transitionLabel">
+ <string>?OPEN</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <node id="n1">
+ <attr name="layout">
+ <string>210 66 72 52</string>
+ </attr>
+ </node>
+ <node id="n0">
+ <attr name="layout">
+ <string>63 60 85 70</string>
+ </attr>
+ </node>
+ <edge to="n1" from="n1">
+ <attr name="label">
+ <string>not:</string>
+ </attr>
+ </edge>
+ <edge to="n1" from="n1">
+ <attr name="label">
+ <string>flag:AS_OPEN</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>new:flag:AS_OPEN</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>del:flag:AS_IDLE</string>
+ </attr>
+ </edge>
+ <edge to="n1" from="n1">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ </graph>
+</gxl>
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
+ <graph edgemode="directed" edgeids="false" role="rule" id="3 - close-account">
+ <attr name="transitionLabel">
+ <string>?CLOSE</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <node id="n0">
+ <attr name="layout">
+ <string>173 121 97 70</string>
+ </attr>
+ </node>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>del:flag:AS_OPEN</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>new:flag:AS_CLOSED</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ </graph>
+</gxl>
@@ -0,0 +1,89 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
+ <graph edgemode="directed" edgeids="false" role="rule" id="4 - do-transfer">
+ <attr name="transitionLabel">
+ <string>?TRANS</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <node id="n1">
+ <attr name="layout">
+ <string>302 99 100 52</string>
+ </attr>
+ </node>
+ <node id="n2">
+ <attr name="layout">
+ <string>308 178 86 52</string>
+ </attr>
+ </node>
+ <node id="n0">
+ <attr name="layout">
+ <string>103 91 113 70</string>
+ </attr>
+ </node>
+ <node id="n3">
+ <attr name="layout">
+ <string>136 213 41 38</string>
+ </attr>
+ </node>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>new:flag:AS_TRANSING</string>
+ </attr>
+ </edge>
+ <edge to="n3" from="n3">
+ <attr name="label">
+ <string>int:</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>del:flag:AS_CLOSED</string>
+ </attr>
+ </edge>
+ <edge to="n1" from="n1">
+ <attr name="label">
+ <string>flag:AS_TRANSING</string>
+ </attr>
+ </edge>
+ <edge to="n2" from="n2">
+ <attr name="label">
+ <string>not:</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ <edge to="n2" from="n2">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ <edge to="n2" from="n2">
+ <attr name="label">
+ <string>flag:AS_ENDING</string>
+ </attr>
+ </edge>
+ <edge to="n3" from="n0">
+ <attr name="label">
+ <string>id</string>
+ </attr>
+ </edge>
+ <edge to="n1" from="n1">
+ <attr name="label">
+ <string>not:</string>
+ </attr>
+ </edge>
+ <edge to="n1" from="n1">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ </graph>
+</gxl>
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
+ <graph edgemode="directed" edgeids="false" role="rule" id="4a - transfer-fail">
+ <attr name="transitionLabel">
+ <string>!fail</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <node id="n0">
+ <attr name="layout">
+ <string>83 63 109 70</string>
+ </attr>
+ </node>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>new:flag:AS_CLOSED</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>del:flag:AS_TRANSING</string>
+ </attr>
+ </edge>
+ </graph>
+</gxl>
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
+ <graph edgemode="directed" edgeids="false" role="rule" id="4b - transfer-success">
+ <attr name="transitionLabel">
+ <string>!success</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <node id="n0">
+ <attr name="layout">
+ <string>61 125 109 70</string>
+ </attr>
+ </node>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>new:flag:AS_ENDING</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>del:flag:AS_TRANSING</string>
+ </attr>
+ </edge>
+ </graph>
+</gxl>
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
+ <graph edgemode="directed" edgeids="false" role="rule" id="5 - end-account">
+ <attr name="transitionLabel">
+ <string>?IDLE</string>
+ </attr>
+ <attr name="$version">
+ <string>curly</string>
+ </attr>
+ <node id="n0">
+ <attr name="layout">
+ <string>135 146 95 70</string>
+ </attr>
+ </node>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>new:flag:AS_IDLE</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>del:flag:AS_ENDING</string>
+ </attr>
+ </edge>
+ <edge to="n0" from="n0">
+ <attr name="label">
+ <string>type:Account</string>
+ </attr>
+ </edge>
+ </graph>
+</gxl>
Oops, something went wrong.

0 comments on commit 4163e6e

Please sign in to comment.