model_03_orthogonal.xml 2.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677
  1. <single_instance_cd>
  2. <!-- Cleaner implementation of "time increase" with orthogonal regions -->
  3. <delta>1 ms</delta>
  4. <statechart>
  5. <semantics
  6. big_step_maximality="take_many"
  7. combo_step_maximality="take_one"
  8. input_event_lifeline="first_combo_step"
  9. hierarchical_priority="source_parent"
  10. orthogonal_priority="explicit"
  11. same_source_priority="explicit"
  12. />
  13. <datamodel>
  14. import GUI;
  15. time = 0;
  16. checkStartTime = func {
  17. if (time == 0) {
  18. time = 30;
  19. display_time(time);
  20. }
  21. };
  22. </datamodel>
  23. <inport name="in">
  24. <event name="start"/>
  25. <event name="stop"/>
  26. <event name="increase_time"/>
  27. <event name="door_opened"/>
  28. <event name="door_closed"/>
  29. </inport>
  30. <outport name="out">
  31. <event name="micro_on"/>
  32. <event name="micro_off"/>
  33. <event name="display_time"/>
  34. <event name="bell"/>
  35. </outport>
  36. <root>
  37. <parallel id="P">
  38. <state id="Main" initial="DoorClosed">
  39. <state id="DoorClosed" initial="NotRunning">
  40. <transition port="in" event="door_opened" target="../DoorOpen"/>
  41. <state id="Running">
  42. <onentry> <raise port="out" event="micro_on"/> </onentry>
  43. <onexit> <raise port="out" event="micro_off"/> </onexit>
  44. <transition port="in" event="stop" target="../NotRunning"/>
  45. <state id="Inner">
  46. <transition after="1 s" target=".">
  47. <code> time -= 1; display_time(time); </code>
  48. </transition>
  49. </state>
  50. <transition cond="time == 0" target="../NotRunning">
  51. <raise port="out" event="bell"/>
  52. </transition>
  53. </state>
  54. <state id="NotRunning">
  55. <transition port="in" event="start" target="../Running">
  56. <code> checkStartTime(); </code>
  57. </transition>
  58. <transition port="in" event="stop" target=".">
  59. <code> time = 0; display_time(time); </code>
  60. </transition>
  61. </state>
  62. </state>
  63. <state id="DoorOpen">
  64. <transition port="in" event="door_closed" target="../DoorClosed"/>
  65. </state>
  66. </state>
  67. <state id="TimeIncrease">
  68. <state id="Default">
  69. <transition port="in" event="increase_time" target=".">
  70. <code> time += 10; display_time(time); </code>
  71. </transition>
  72. </state>
  73. </state>
  74. </parallel>
  75. </root>
  76. </statechart>
  77. </single_instance_cd>