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
43
44
45
46
47
48
49
50
51
52
53
54
|
<?xml version="1.0"?>
<!--
This is an event tree example taken from the Open-PSA MEF description.
-->
<opsa-mef>
<define-event-tree name="my-first-event-tree">
<define-functional-event name="F"/>
<define-functional-event name="G"/>
<define-functional-event name="H"/>
<define-sequence name="S1"/>
<define-sequence name="S2"/>
<define-sequence name="S5"/>
<define-sequence name="S6"/>
<define-branch name="sub-tree7">
<fork functional-event="H">
<path state="success">
<sequence name="S1"/>
</path>
<path state="failure">
<sequence name="S2"/>
</path>
</fork>
</define-branch>
<initial-state>
<fork functional-event="F">
<path state="success">
<collect-formula> <not> <gate name="F"/> </not> </collect-formula>
<branch name="sub-tree7"/>
</path>
<path state="failure">
<collect-formula> <gate name="F"/> </collect-formula>
<fork functional-event="G">
<path state="success">
<collect-formula> <not> <gate name="G"/> </not> </collect-formula>
<branch name="sub-tree7"/>
</path>
<path state="failure">
<collect-formula> <gate name="G"/> </collect-formula>
<fork functional-event="H">
<path state="bypass"> <!-- here nothing is collected -->
<sequence name="S5"/>
</path>
<path state="failure">
<collect-formula> <gate name="H"/> </collect-formula>
<sequence name="S6"/>
</path>
</fork>
</path>
</fork>
</path>
</fork>
</initial-state>
</define-event-tree>
</opsa-mef>
|
