diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 2019-08-01 14:49:53 +0200 | |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
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.ecore | 83 |
1 files changed, 0 insertions, 83 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 deleted file mode 100644 index a843aeed..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore +++ /dev/null | |||
@@ -1,83 +0,0 @@ | |||
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="#//InputEvent" 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="InputEvent" 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" eSuperTypes="#//ModalElement"> | ||
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 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
49 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="multipleAllowed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" | ||
50 | defaultValueLiteral="false"/> | ||
51 | </eClassifiers> | ||
52 | <eClassifiers xsi:type="ecore:EClass" name="Input"> | ||
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvent" lowerBound="1" | ||
54 | eType="#//InputEvent"/> | ||
55 | <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1" | ||
56 | eType="#//Component" eOpposite="#//Component/inputs"/> | ||
57 | <eStructuralFeatures xsi:type="ecore:EReference" name="incomingConnections" upperBound="-1" | ||
58 | eType="#//Connection" containment="true" eOpposite="#//Connection/input"/> | ||
59 | </eClassifiers> | ||
60 | <eClassifiers xsi:type="ecore:EClass" name="Output"> | ||
61 | <eStructuralFeatures xsi:type="ecore:EReference" name="eventDeclaration" lowerBound="1" | ||
62 | eType="#//EventDeclaration"/> | ||
63 | <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingConnections" upperBound="-1" | ||
64 | eType="#//Connection" eOpposite="#//Connection/output"/> | ||
65 | <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1" | ||
66 | eType="#//Component" eOpposite="#//Component/outputs"/> | ||
67 | </eClassifiers> | ||
68 | <eClassifiers xsi:type="ecore:EClass" name="Connection" eSuperTypes="#//ModalElement"> | ||
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input" | ||
70 | eOpposite="#//Input/incomingConnections"/> | ||
71 | <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1" | ||
72 | eType="#//Output" eOpposite="#//Output/outgoingConnections"/> | ||
73 | </eClassifiers> | ||
74 | <eClassifiers xsi:type="ecore:EEnum" name="Modality"> | ||
75 | <eLiterals name="MAY"/> | ||
76 | <eLiterals name="CURRENT" value="1"/> | ||
77 | <eLiterals name="MUST" value="2"/> | ||
78 | </eClassifiers> | ||
79 | <eClassifiers xsi:type="ecore:EClass" name="ModalElement" abstract="true" interface="true"> | ||
80 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exists" eType="#//Modality" | ||
81 | defaultValueLiteral="MUST"/> | ||
82 | </eClassifiers> | ||
83 | </ecore:EPackage> | ||