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

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

  <datamodel>
    <data id="cook_time" expr="5"/>
    <data expr="true"/> <!-- ERROR: data missing 'id' attribute -->
    <data id="timer" expr="0"/>
  </datamodel>

  <state id="off">
    <transition event="turn.on" target="on"/>
  </state>
  
  <state id="on">
    <transition event="turn.off" target="off"/>
  </state>
  
</scxml>