aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-06 18:28:18 +0100
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-19 19:18:25 +0100
commit615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7 (patch)
tree1c9fe0f4ae152d84152c8ff1cfb6366ec8b277e9 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
parent[Stochastic] Fault tree transformation langauge (diff)
downloadVIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.gz
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.zst
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.zip
Extract component fault tree model
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore71
1 files changed, 71 insertions, 0 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
new file mode 100644
index 00000000..f9bad301
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
@@ -0,0 +1,71 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
3 xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/cft"
4 nsPrefix="cft">
5 <eClassifiers xsi:type="ecore:EClass" name="ComponentDefinition">
6 <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
7 eType="#//IntputEvent" containment="true"/>
8 <eStructuralFeatures xsi:type="ecore:EReference" name="eventDefinitions" upperBound="-1"
9 eType="#//EventDefinition" containment="true"/>
10 <eStructuralFeatures xsi:type="ecore:EReference" name="outputEvents" upperBound="-1"
11 eType="#//EventDeclaration"/>
12 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
13 </eClassifiers>
14 <eClassifiers xsi:type="ecore:EClass" name="EventDefinition" abstract="true" eSuperTypes="#//EventDeclaration"/>
15 <eClassifiers xsi:type="ecore:EClass" name="GateDefinition" abstract="true" eSuperTypes="#//EventDefinition">
16 <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
17 eType="#//EventDeclaration"/>
18 </eClassifiers>
19 <eClassifiers xsi:type="ecore:EClass" name="BasicEventDefinition" eSuperTypes="#//EventDefinition">
20 <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1"
21 eType="ecore:EClass ft.ecore#//Distribution" containment="true"/>
22 </eClassifiers>
23 <eClassifiers xsi:type="ecore:EClass" name="IntputEvent" eSuperTypes="#//EventDeclaration">
24 <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiple" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
25 </eClassifiers>
26 <eClassifiers xsi:type="ecore:EClass" name="EventDeclaration" abstract="true">
27 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
28 </eClassifiers>
29 <eClassifiers xsi:type="ecore:EClass" name="AndGateDefinition" eSuperTypes="#//GateDefinition"/>
30 <eClassifiers xsi:type="ecore:EClass" name="OrGateDefinition" eSuperTypes="#//GateDefinition"/>
31 <eClassifiers xsi:type="ecore:EClass" name="KOfMGateDefinition" eSuperTypes="#//GateDefinition">
32 <eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
33 <eStructuralFeatures xsi:type="ecore:EAttribute" name="m" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
34 </eClassifiers>
35 <eClassifiers xsi:type="ecore:EClass" name="ComponentFaultTree">
36 <eStructuralFeatures xsi:type="ecore:EReference" name="components" upperBound="-1"
37 eType="#//Component" containment="true"/>
38 <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
39 eType="#//Output"/>
40 </eClassifiers>
41 <eClassifiers xsi:type="ecore:EClass" name="Component">
42 <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
43 eType="#//Input" containment="true" eOpposite="#//Input/component"/>
44 <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1"
45 eType="#//Output" containment="true" eOpposite="#//Output/component"/>
46 <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1"
47 eType="#//ComponentDefinition"/>
48 </eClassifiers>
49 <eClassifiers xsi:type="ecore:EClass" name="Input">
50 <eStructuralFeatures xsi:type="ecore:EReference" name="intputEvent" lowerBound="1"
51 eType="#//IntputEvent"/>
52 <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
53 eType="#//Component" eOpposite="#//Component/inputs"/>
54 <eStructuralFeatures xsi:type="ecore:EReference" name="incomingConnections" upperBound="-1"
55 eType="#//Connection" containment="true" eOpposite="#//Connection/input"/>
56 </eClassifiers>
57 <eClassifiers xsi:type="ecore:EClass" name="Output">
58 <eStructuralFeatures xsi:type="ecore:EReference" name="eventDeclaration" lowerBound="1"
59 eType="#//EventDeclaration"/>
60 <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingConnections" upperBound="-1"
61 eType="#//Connection" eOpposite="#//Connection/output"/>
62 <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
63 eType="#//Component" eOpposite="#//Component/outputs"/>
64 </eClassifiers>
65 <eClassifiers xsi:type="ecore:EClass" name="Connection">
66 <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input"
67 eOpposite="#//Input/incomingConnections"/>
68 <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1"
69 eType="#//Output" eOpposite="#//Output/outgoingConnections"/>
70 </eClassifiers>
71</ecore:EPackage>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-11 09:13:27 +0000