test_parallel.xml 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556
  1. <test>
  2. <statechart>
  3. <inport name="in">
  4. <event name="start"/>
  5. </inport>
  6. <outport name="out">
  7. <event name="s1"/>
  8. <event name="s2"/>
  9. <event name="s3"/>
  10. <event name="s4"/>
  11. </outport>
  12. <root initial="outer">
  13. <state id="outer">
  14. <transition target="/p/region2/s4"/>
  15. </state>
  16. <parallel id="p">
  17. <state id="region1" initial="s1">
  18. <state id="s1">
  19. <onentry>
  20. <raise event="s1"/>
  21. </onentry>
  22. </state>
  23. <state id="s2">
  24. <onentry>
  25. <raise event="s2"/>
  26. </onentry>
  27. </state>
  28. </state>
  29. <state id="region2" initial="s3">
  30. <state id="s3">
  31. <onentry>
  32. <raise event="s3"/>
  33. </onentry>
  34. </state>
  35. <state id="s4">
  36. <onentry>
  37. <raise event="s4"/>
  38. </onentry>
  39. </state>
  40. </state>
  41. </parallel>
  42. </root>
  43. </statechart>
  44. <input>
  45. <event port="in" name="start" time="1 s"/>
  46. </input>
  47. <output>
  48. <big_step>
  49. <event port="out" name="s1"/>
  50. <event port="out" name="s4"/>
  51. </big_step>
  52. </output>
  53. </test>