diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-02-16 00:43:11 +0100 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-02-19 19:18:25 +0100 |
commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
tree | 3631e27854b40de3bce7606f60113054c77bd391 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model | |
parent | Ecore2Cft transformation (diff) | |
download | VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.gz VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.zst VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.zip |
Two-valued fault tree analyzer WIP
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore | 25 | ||||
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel | 13 |
2 files changed, 26 insertions, 12 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore index f1f410a7..afe9395e 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore | |||
@@ -2,22 +2,22 @@ | |||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | 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="ft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft" | 3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft" |
4 | nsPrefix="ft"> | 4 | nsPrefix="ft"> |
5 | <eClassifiers xsi:type="ecore:EClass" name="FaultTree"> | 5 | <eClassifiers xsi:type="ecore:EClass" name="FaultTree" eSuperTypes="#//ReliabilityModel"> |
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="events" upperBound="-1" | 6 | <eStructuralFeatures xsi:type="ecore:EReference" name="events" upperBound="-1" |
7 | eType="#//Event" containment="true"/> | 7 | eType="#//RandomEvent" containment="true"/> |
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1" | 8 | <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1" |
9 | eType="#//Event"/> | 9 | eType="#//RandomEvent"/> |
10 | </eClassifiers> | 10 | </eClassifiers> |
11 | <eClassifiers xsi:type="ecore:EClass" name="Event" abstract="true"> | 11 | <eClassifiers xsi:type="ecore:EClass" name="RandomEvent" abstract="true" eSuperTypes="#//Event"> |
12 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 12 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
13 | </eClassifiers> | 13 | </eClassifiers> |
14 | <eClassifiers xsi:type="ecore:EClass" name="BasicEvent" eSuperTypes="#//Event"> | 14 | <eClassifiers xsi:type="ecore:EClass" name="BasicEvent" eSuperTypes="#//RandomEvent"> |
15 | <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1" | 15 | <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1" |
16 | eType="#//Distribution" containment="true"/> | 16 | eType="#//Distribution" containment="true"/> |
17 | </eClassifiers> | 17 | </eClassifiers> |
18 | <eClassifiers xsi:type="ecore:EClass" name="Gate" abstract="true" eSuperTypes="#//Event"> | 18 | <eClassifiers xsi:type="ecore:EClass" name="Gate" abstract="true" eSuperTypes="#//RandomEvent"> |
19 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1" | 19 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" lowerBound="2" |
20 | eType="#//Event"/> | 20 | upperBound="-1" eType="#//RandomEvent"/> |
21 | </eClassifiers> | 21 | </eClassifiers> |
22 | <eClassifiers xsi:type="ecore:EClass" name="Distribution" abstract="true"/> | 22 | <eClassifiers xsi:type="ecore:EClass" name="Distribution" abstract="true"/> |
23 | <eClassifiers xsi:type="ecore:EClass" name="ConstantDistribution" eSuperTypes="#//Distribution"> | 23 | <eClassifiers xsi:type="ecore:EClass" name="ConstantDistribution" eSuperTypes="#//Distribution"> |
@@ -30,6 +30,13 @@ | |||
30 | <eClassifiers xsi:type="ecore:EClass" name="OrGate" eSuperTypes="#//Gate"/> | 30 | <eClassifiers xsi:type="ecore:EClass" name="OrGate" eSuperTypes="#//Gate"/> |
31 | <eClassifiers xsi:type="ecore:EClass" name="KOfMGate" eSuperTypes="#//Gate"> | 31 | <eClassifiers xsi:type="ecore:EClass" name="KOfMGate" eSuperTypes="#//Gate"> |
32 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 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"/> | 33 | </eClassifiers> |
34 | <eClassifiers xsi:type="ecore:EClass" name="ReliabilityModel" abstract="true"/> | ||
35 | <eClassifiers xsi:type="ecore:EClass" name="ConstantModel" eSuperTypes="#//ReliabilityModel"> | ||
36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="failed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
37 | </eClassifiers> | ||
38 | <eClassifiers xsi:type="ecore:EClass" name="Event" abstract="true"/> | ||
39 | <eClassifiers xsi:type="ecore:EClass" name="ConstantEvent" eSuperTypes="#//Event"> | ||
40 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="failed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
34 | </eClassifiers> | 41 | </eClassifiers> |
35 | </ecore:EPackage> | 42 | </ecore:EPackage> |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel index b5f63c34..7dcd0ae7 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel | |||
@@ -11,8 +11,8 @@ | |||
11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/> | 11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/> |
12 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/> | 12 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/> |
13 | </genClasses> | 13 | </genClasses> |
14 | <genClasses image="false" ecoreClass="ft.ecore#//Event"> | 14 | <genClasses image="false" ecoreClass="ft.ecore#//RandomEvent"> |
15 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//Event/name"/> | 15 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//RandomEvent/name"/> |
16 | </genClasses> | 16 | </genClasses> |
17 | <genClasses ecoreClass="ft.ecore#//BasicEvent"> | 17 | <genClasses ecoreClass="ft.ecore#//BasicEvent"> |
18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/> | 18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/> |
@@ -31,7 +31,14 @@ | |||
31 | <genClasses ecoreClass="ft.ecore#//OrGate"/> | 31 | <genClasses ecoreClass="ft.ecore#//OrGate"/> |
32 | <genClasses ecoreClass="ft.ecore#//KOfMGate"> | 32 | <genClasses ecoreClass="ft.ecore#//KOfMGate"> |
33 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/> | 33 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/> |
34 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/m"/> | 34 | </genClasses> |
35 | <genClasses ecoreClass="ft.ecore#//ReliabilityModel"/> | ||
36 | <genClasses ecoreClass="ft.ecore#//ConstantModel"> | ||
37 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantModel/failed"/> | ||
38 | </genClasses> | ||
39 | <genClasses ecoreClass="ft.ecore#//Event"/> | ||
40 | <genClasses ecoreClass="ft.ecore#//ConstantEvent"> | ||
41 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantEvent/failed"/> | ||
35 | </genClasses> | 42 | </genClasses> |
36 | </genPackages> | 43 | </genPackages> |
37 | </genmodel:GenModel> | 44 | </genmodel:GenModel> |