diff options
author | 2019-03-20 16:09:09 +0100 | |
---|---|---|
committer | 2019-03-20 16:09:09 +0100 | |
commit | 3f5aaab5025b8eb243f414b1c789085327df04f4 (patch) | |
tree | 156d9d95888fce6b003d73f509b9155e6b24555f /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore | |
parent | Fix ParseUtil to avoid breaking the .vql editor in Eclipse (diff) | |
download | VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.gz VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.zst VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.zip |
Fault tree transformation for partial models WIP
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 | 15 |
1 files changed, 13 insertions, 2 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 index 2fc15d94..a843aeed 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore | |||
@@ -38,7 +38,7 @@ | |||
38 | <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1" | 38 | <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1" |
39 | eType="#//Output"/> | 39 | eType="#//Output"/> |
40 | </eClassifiers> | 40 | </eClassifiers> |
41 | <eClassifiers xsi:type="ecore:EClass" name="Component"> | 41 | <eClassifiers xsi:type="ecore:EClass" name="Component" eSuperTypes="#//ModalElement"> |
42 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1" | 42 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1" |
43 | eType="#//Input" containment="true" eOpposite="#//Input/component"/> | 43 | eType="#//Input" containment="true" eOpposite="#//Input/component"/> |
44 | <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1" | 44 | <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1" |
@@ -46,6 +46,8 @@ | |||
46 | <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1" | 46 | <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1" |
47 | eType="#//ComponentDefinition"/> | 47 | eType="#//ComponentDefinition"/> |
48 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 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"/> | ||
49 | </eClassifiers> | 51 | </eClassifiers> |
50 | <eClassifiers xsi:type="ecore:EClass" name="Input"> | 52 | <eClassifiers xsi:type="ecore:EClass" name="Input"> |
51 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvent" lowerBound="1" | 53 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvent" lowerBound="1" |
@@ -63,10 +65,19 @@ | |||
63 | <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1" | 65 | <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1" |
64 | eType="#//Component" eOpposite="#//Component/outputs"/> | 66 | eType="#//Component" eOpposite="#//Component/outputs"/> |
65 | </eClassifiers> | 67 | </eClassifiers> |
66 | <eClassifiers xsi:type="ecore:EClass" name="Connection"> | 68 | <eClassifiers xsi:type="ecore:EClass" name="Connection" eSuperTypes="#//ModalElement"> |
67 | <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input" | 69 | <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input" |
68 | eOpposite="#//Input/incomingConnections"/> | 70 | eOpposite="#//Input/incomingConnections"/> |
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1" | 71 | <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1" |
70 | eType="#//Output" eOpposite="#//Output/outgoingConnections"/> | 72 | eType="#//Output" eOpposite="#//Output/outgoingConnections"/> |
71 | </eClassifiers> | 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> | ||
72 | </ecore:EPackage> | 83 | </ecore:EPackage> |