fsm_sample.dia 9.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
  3. <dia:diagramdata>
  4. <dia:attribute name="background">
  5. <dia:color val="#ffffff"/>
  6. </dia:attribute>
  7. <dia:attribute name="pagebreak">
  8. <dia:color val="#000099"/>
  9. </dia:attribute>
  10. <dia:attribute name="paper">
  11. <dia:composite type="paper">
  12. <dia:attribute name="name">
  13. <dia:string>#Letter#</dia:string>
  14. </dia:attribute>
  15. <dia:attribute name="tmargin">
  16. <dia:real val="2.5399999618530273"/>
  17. </dia:attribute>
  18. <dia:attribute name="bmargin">
  19. <dia:real val="2.5399999618530273"/>
  20. </dia:attribute>
  21. <dia:attribute name="lmargin">
  22. <dia:real val="2.5399999618530273"/>
  23. </dia:attribute>
  24. <dia:attribute name="rmargin">
  25. <dia:real val="2.5399999618530273"/>
  26. </dia:attribute>
  27. <dia:attribute name="is_portrait">
  28. <dia:boolean val="true"/>
  29. </dia:attribute>
  30. <dia:attribute name="scaling">
  31. <dia:real val="1"/>
  32. </dia:attribute>
  33. <dia:attribute name="fitto">
  34. <dia:boolean val="false"/>
  35. </dia:attribute>
  36. </dia:composite>
  37. </dia:attribute>
  38. <dia:attribute name="grid">
  39. <dia:composite type="grid">
  40. <dia:attribute name="width_x">
  41. <dia:real val="1"/>
  42. </dia:attribute>
  43. <dia:attribute name="width_y">
  44. <dia:real val="1"/>
  45. </dia:attribute>
  46. <dia:attribute name="visible_x">
  47. <dia:int val="1"/>
  48. </dia:attribute>
  49. <dia:attribute name="visible_y">
  50. <dia:int val="1"/>
  51. </dia:attribute>
  52. <dia:composite type="color"/>
  53. </dia:composite>
  54. </dia:attribute>
  55. <dia:attribute name="color">
  56. <dia:color val="#d8e5e5"/>
  57. </dia:attribute>
  58. <dia:attribute name="guides">
  59. <dia:composite type="guides">
  60. <dia:attribute name="hguides"/>
  61. <dia:attribute name="vguides"/>
  62. </dia:composite>
  63. </dia:attribute>
  64. </dia:diagramdata>
  65. <dia:layer name="Arrière-plan" visible="true" active="true">
  66. <dia:object type="UML - State" version="0" id="O0">
  67. <dia:attribute name="obj_pos">
  68. <dia:point val="2.7,7.9"/>
  69. </dia:attribute>
  70. <dia:attribute name="obj_bb">
  71. <dia:rectangle val="2.65,7.85;7.97,12.15"/>
  72. </dia:attribute>
  73. <dia:attribute name="meta">
  74. <dia:composite type="dict"/>
  75. </dia:attribute>
  76. <dia:attribute name="elem_corner">
  77. <dia:point val="2.7,7.9"/>
  78. </dia:attribute>
  79. <dia:attribute name="elem_width">
  80. <dia:real val="5.2200000000000006"/>
  81. </dia:attribute>
  82. <dia:attribute name="elem_height">
  83. <dia:real val="4.2000000000000002"/>
  84. </dia:attribute>
  85. <dia:attribute name="line_colour">
  86. <dia:color val="#000000"/>
  87. </dia:attribute>
  88. <dia:attribute name="fill_colour">
  89. <dia:color val="#ffffff"/>
  90. </dia:attribute>
  91. <dia:attribute name="text">
  92. <dia:composite type="text">
  93. <dia:attribute name="string">
  94. <dia:string>#State 1#</dia:string>
  95. </dia:attribute>
  96. <dia:attribute name="font">
  97. <dia:font family="sans" style="0" name="Helvetica"/>
  98. </dia:attribute>
  99. <dia:attribute name="height">
  100. <dia:real val="0.80000000000000004"/>
  101. </dia:attribute>
  102. <dia:attribute name="pos">
  103. <dia:point val="5.31,8.995"/>
  104. </dia:attribute>
  105. <dia:attribute name="color">
  106. <dia:color val="#000000"/>
  107. </dia:attribute>
  108. <dia:attribute name="alignment">
  109. <dia:enum val="1"/>
  110. </dia:attribute>
  111. </dia:composite>
  112. </dia:attribute>
  113. <dia:attribute name="entry_action">
  114. <dia:string>#Entry1#</dia:string>
  115. </dia:attribute>
  116. <dia:attribute name="do_action">
  117. <dia:string>#Action1#</dia:string>
  118. </dia:attribute>
  119. <dia:attribute name="exit_action">
  120. <dia:string>#Exit1#</dia:string>
  121. </dia:attribute>
  122. </dia:object>
  123. <dia:object type="UML - State Term" version="0" id="O1">
  124. <dia:attribute name="obj_pos">
  125. <dia:point val="9.6,2"/>
  126. </dia:attribute>
  127. <dia:attribute name="obj_bb">
  128. <dia:rectangle val="9.55,1.95;10.65,3.05"/>
  129. </dia:attribute>
  130. <dia:attribute name="meta">
  131. <dia:composite type="dict"/>
  132. </dia:attribute>
  133. <dia:attribute name="elem_corner">
  134. <dia:point val="9.6,2"/>
  135. </dia:attribute>
  136. <dia:attribute name="elem_width">
  137. <dia:real val="1"/>
  138. </dia:attribute>
  139. <dia:attribute name="elem_height">
  140. <dia:real val="1"/>
  141. </dia:attribute>
  142. <dia:attribute name="line_colour">
  143. <dia:color val="#000000"/>
  144. </dia:attribute>
  145. <dia:attribute name="fill_colour">
  146. <dia:color val="#ffffff"/>
  147. </dia:attribute>
  148. <dia:attribute name="is_final">
  149. <dia:boolean val="false"/>
  150. </dia:attribute>
  151. </dia:object>
  152. <dia:object type="UML - State Term" version="0" id="O2">
  153. <dia:attribute name="obj_pos">
  154. <dia:point val="8.2,20.4"/>
  155. </dia:attribute>
  156. <dia:attribute name="obj_bb">
  157. <dia:rectangle val="8.15,20.35;9.75,21.95"/>
  158. </dia:attribute>
  159. <dia:attribute name="meta">
  160. <dia:composite type="dict"/>
  161. </dia:attribute>
  162. <dia:attribute name="elem_corner">
  163. <dia:point val="8.2,20.4"/>
  164. </dia:attribute>
  165. <dia:attribute name="elem_width">
  166. <dia:real val="1.5"/>
  167. </dia:attribute>
  168. <dia:attribute name="elem_height">
  169. <dia:real val="1.5"/>
  170. </dia:attribute>
  171. <dia:attribute name="line_colour">
  172. <dia:color val="#000000"/>
  173. </dia:attribute>
  174. <dia:attribute name="fill_colour">
  175. <dia:color val="#ffffff"/>
  176. </dia:attribute>
  177. <dia:attribute name="is_final">
  178. <dia:boolean val="true"/>
  179. </dia:attribute>
  180. </dia:object>
  181. <dia:object type="UML - Transition" version="2" id="O3">
  182. <dia:attribute name="obj_pos">
  183. <dia:point val="10.1,3.05027"/>
  184. </dia:attribute>
  185. <dia:attribute name="obj_bb">
  186. <dia:rectangle val="4.81,3.00027;10.6,7.95"/>
  187. </dia:attribute>
  188. <dia:attribute name="meta">
  189. <dia:composite type="dict"/>
  190. </dia:attribute>
  191. <dia:attribute name="orth_points">
  192. <dia:point val="10.1,3.05027"/>
  193. <dia:point val="10.1,5.47513"/>
  194. <dia:point val="5.31,5.47513"/>
  195. <dia:point val="5.31,7.9"/>
  196. </dia:attribute>
  197. <dia:attribute name="orth_orient">
  198. <dia:enum val="1"/>
  199. <dia:enum val="0"/>
  200. <dia:enum val="1"/>
  201. </dia:attribute>
  202. <dia:attribute name="orth_autoroute">
  203. <dia:boolean val="true"/>
  204. </dia:attribute>
  205. <dia:attribute name="text_colour">
  206. <dia:color val="#000000"/>
  207. </dia:attribute>
  208. <dia:attribute name="line_colour">
  209. <dia:color val="#000000"/>
  210. </dia:attribute>
  211. <dia:attribute name="trigger">
  212. <dia:string>##</dia:string>
  213. </dia:attribute>
  214. <dia:attribute name="action">
  215. <dia:string>##</dia:string>
  216. </dia:attribute>
  217. <dia:attribute name="guard">
  218. <dia:string>##</dia:string>
  219. </dia:attribute>
  220. <dia:attribute name="trigger_text_pos">
  221. <dia:point val="7.205,3.97513"/>
  222. </dia:attribute>
  223. <dia:attribute name="guard_text_pos">
  224. <dia:point val="7.205,4.97513"/>
  225. </dia:attribute>
  226. <dia:attribute name="direction_inverted">
  227. <dia:boolean val="false"/>
  228. </dia:attribute>
  229. <dia:connections>
  230. <dia:connection handle="0" to="O1" connection="8"/>
  231. <dia:connection handle="1" to="O0" connection="1"/>
  232. </dia:connections>
  233. </dia:object>
  234. <dia:object type="UML - Transition" version="2" id="O4">
  235. <dia:attribute name="obj_pos">
  236. <dia:point val="5.31,12.1"/>
  237. </dia:attribute>
  238. <dia:attribute name="obj_bb">
  239. <dia:rectangle val="4.81,12.05;9.45,20.45"/>
  240. </dia:attribute>
  241. <dia:attribute name="meta">
  242. <dia:composite type="dict"/>
  243. </dia:attribute>
  244. <dia:attribute name="orth_points">
  245. <dia:point val="5.31,12.1"/>
  246. <dia:point val="5.31,16.25"/>
  247. <dia:point val="8.95,16.25"/>
  248. <dia:point val="8.95,20.4"/>
  249. </dia:attribute>
  250. <dia:attribute name="orth_orient">
  251. <dia:enum val="1"/>
  252. <dia:enum val="0"/>
  253. <dia:enum val="1"/>
  254. </dia:attribute>
  255. <dia:attribute name="orth_autoroute">
  256. <dia:boolean val="true"/>
  257. </dia:attribute>
  258. <dia:attribute name="text_colour">
  259. <dia:color val="#000000"/>
  260. </dia:attribute>
  261. <dia:attribute name="line_colour">
  262. <dia:color val="#000000"/>
  263. </dia:attribute>
  264. <dia:attribute name="trigger">
  265. <dia:string>##</dia:string>
  266. </dia:attribute>
  267. <dia:attribute name="action">
  268. <dia:string>##</dia:string>
  269. </dia:attribute>
  270. <dia:attribute name="guard">
  271. <dia:string>##</dia:string>
  272. </dia:attribute>
  273. <dia:attribute name="trigger_text_pos">
  274. <dia:point val="6.63,14.75"/>
  275. </dia:attribute>
  276. <dia:attribute name="guard_text_pos">
  277. <dia:point val="6.63,15.75"/>
  278. </dia:attribute>
  279. <dia:attribute name="direction_inverted">
  280. <dia:boolean val="false"/>
  281. </dia:attribute>
  282. <dia:connections>
  283. <dia:connection handle="0" to="O0" connection="6"/>
  284. <dia:connection handle="1" to="O2" connection="1"/>
  285. </dia:connections>
  286. </dia:object>
  287. </dia:layer>
  288. </dia:diagram>