smc_scan_scxml 0.1.0

SCXML frontend for the Scan model checker.
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

<scxml 
  version="1.0"
  xmlns="http://www.w3.org/2005/07/scxml"
  datamodel="ecmascript"
  name="fsm"
  initial="idle">

  <datamodel>
    <!-- TYPE state:TickResponse -->
    <data id="state" expr="FAILURE"/>
  </datamodel>

  <state id="idle">
	  <transition target="loop" cond="state == RUNNING"/>
	  <transition target="loop" cond="state == SUCCESS"/>
	  <transition target="running" cond="state == FAILURE"/>
	  <transition target="loop"/>
  </state>

	<state id="running">
	  <onentry>
	    <assign location="state" expr="RUNNING"/>
	  </onentry>
	  <transition target="loop" cond="state == SUCCESS"/>
	  <transition target="loop" cond="state == FAILURE"/>
	  <transition target="finished" cond="state == RUNNING"/>
	  <transition target="loop"/>
	  <onexit>
	    <assign location="state" expr="SUCCESS"/>
	  </onexit>
  </state>

  <state id="finished">
	  <transition target="loop" cond="state == RUNNING"/>
	  <transition target="loop" cond="state == FAILURE"/>
  </state>
	
  <state id="loop">
	  <transition target="loop"/>
  </state>
</scxml>