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

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

  <datamodel>
    <data id="always_true" expr="true"/>
  </datamodel>

  <state id="off">
    <transition event="turn.on" target="on">
        <if cond='true'>
            <if cond='always_true == false'>
                <log label="INVALID" expr="'ON always_true is true!'"/>
            <elseif cond='true'/>
                <log label="VALID" expr="'ON elseif true'"/>
                <if cond='true'>
                    <log label="VALID" expr="'ON if elseif if true'"/>
                </if>
            <else/>
                <log label="INVALID" expr="'ON else'"/>
            </if>
        </if>
    </transition>
  </state>

  <state id="on">
    <transition event="turn.off" target="off">
        <if cond='true'>
            <if cond='always_true == true'>
                <log label="VALID" expr="'OFF always_true is true!'"/>
            <elseif cond='true'/>
                <log label="INVALID" expr="'OFF elseif true'"/>
            <else/>
                <log label="INVALID" expr="'OFF else'"/>
            </if>
        </if>
    </transition>
  </state>
</scxml>