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
|
<?xml version="1.0"?>
<opsa-mef>
<define-initiating-event name="Trigger" event-tree="SetHouseEvent-EventTree"/>
<define-event-tree name="SetHouseEvent-EventTree">
<define-functional-event name="F"/>
<define-sequence name="S"/>
<initial-state>
<fork functional-event="F">
<path state="on">
<set-house-event name="H">
<constant value="true"/>
</set-house-event>
<collect-formula>
<house-event name="H"/>
</collect-formula>
<sequence name="S"/>
</path>
</fork>
</initial-state>
</define-event-tree>
<model-data>
<define-house-event name="H"/>
</model-data>
</opsa-mef>
|
