12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273 |
- <single_instance_cd>
- <!-- "Syntactic"-variant with "Choice" state, modeled as non-stable state -->
- <delta>1 ms</delta>
- <statechart>
- <semantics
- big_step_maximality="syntactic"
- input_event_lifeline="whole"
- same_source_priority="explicit"
- />
- <datamodel>
- time = 0;
- checkStartTime = func {
- if (time == 0) time = 30;
- };
- </datamodel>
- <inport name="in">
- <event name="start"/>
- <event name="stop"/>
- <event name="increase_time"/>
- <event name="door_opened"/>
- <event name="door_closed"/>
- </inport>
- <outport name="out">
- <event name="micro_on"/>
- <event name="micro_off"/>
- <event name="set_time"/>
- <event name="ping"/>
- </outport>
- <root initial="NotRunning">
- <state id="Running" stable="true">
- <onentry> <raise port="out" event="micro_on"/> </onentry>
- <onexit> <raise port="out" event="micro_off"/> </onexit>
- <transition port="in" event="stop" target="../NotRunning"/>
- <transition after="1 s" target="../Choice">
- <code> time -= 1; </code>
- <raise port="out" event="set_time">
- <param expr="time"/>
- </raise>
- </transition>
- <transition port="in" event="increase_time" target=".">
- <code> time += 10; </code>
- <raise port="out" event="set_time">
- <param expr="time"/>
- </raise>
- </transition>
- </state>
- <state id="Choice">
- <transition cond="time > 0" target="../Running"/>
- <transition cond="time == 0" target="../NotRunning"/>
- </state>
- <state id="NotRunning" stable="true">
- <transition port="in" event="start" target="../Running">
- <code> checkStartTime(); </code>
- <raise port="out" event="set_time">
- <param expr="time"/>
- </raise>
- </transition>
- <transition port="in" event="stop" target=".">
- <code> time = 0; </code>
- <raise port="out" event="set_time">
- <param expr="time"/>
- </raise>
- </transition>
- <transition port="in" event="increase_time" target=".">
- <code> time += 10; </code>
- <raise port="out" event="set_time">
- <param expr="time"/>
- </raise>
- </transition>
- </state>
- </root>
- </statechart>
- </single_instance_cd>
|