dd_statechart 0.7.0

A Data-Driven implementation of Harel Statecharts designed for high-reliability systems.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

<?xml version="1.0"?>
<scxml xmlns="http://www.w3.org/2005/07/scxml"
       name="microwave"
       version="1.0"
       datamodel="ecmascript"
       initial="off">

  <!--  trivial 5 second microwave oven example -->
  <datamodel>
    <data id="cook_time" expr="5"/>
    <data id="door_closed" expr="true"/>
    <data id="timer" expr="0"/>
  </datamodel>

  <state id="off">
    <!-- off state -->
    <transition event="turn.on" target="on">
      <log label="EVENT" expr="'Powering on'"/>
    </transition>
  </state>

  <state id="on">
    <initial>
        <transition target="idle">
          <log expr="'Idling'"/>
        </transition>
    </initial>
    <!-- on/pause state -->

    <transition event="turn.off" target="off">
      <log label="EVENT" expr="'Powering off'"/>
    </transition>
    <transition cond="timer >= cook_time" target="off">
      <log label="COND" expr="'Powering off'"/>
    </transition>

    <state id="idle">
      <!-- default immediate transition if door is shut -->
      <transition cond="door_closed" target="cooking">
          <log label="COND" expr="'Cooking'"/>
        </transition>
      <transition event="door.close" target="cooking">
        <assign location="door_closed" expr="true"/>
        <log label="EVENT" expr="'Door Closed'"/>
        <log expr="'Door Closed Status: ' + door_closed"/>
        <!-- start cooking -->
      </transition>
    </state>

    <state id="cooking">
      <transition event="door.open" target="idle">
        <assign location="door_closed" expr="false"/>
        <log label="EVENT" expr="'Door Opened'"/>
        <log expr="'Door Closed Status: ' + door_closed"/>
      </transition>

      <!-- a 'time' event is seen once a second -->
      <transition event="time">
        <assign location="timer" expr="timer + 1"/>
        <log label="EVENT" expr="'Tick: ' + timer"/>
      </transition>
    </state>

  </state>

</scxml>