diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-02-06 18:28:18 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-02-19 19:18:25 +0100 |
| commit | 615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7 (patch) | |
| tree | 1c9fe0f4ae152d84152c8ff1cfb6366ec8b277e9 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore | |
| parent | [Stochastic] Fault tree transformation langauge (diff) | |
| download | VIATRA-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/ft.ecore')
| -rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore | 35 |
1 files changed, 35 insertions, 0 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 new file mode 100644 index 00000000..f1f410a7 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore | |||
| @@ -0,0 +1,35 @@ | |||
| 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="ft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft" | ||
| 4 | nsPrefix="ft"> | ||
| 5 | <eClassifiers xsi:type="ecore:EClass" name="FaultTree"> | ||
| 6 | <eStructuralFeatures xsi:type="ecore:EReference" name="events" upperBound="-1" | ||
| 7 | eType="#//Event" containment="true"/> | ||
| 8 | <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1" | ||
| 9 | eType="#//Event"/> | ||
| 10 | </eClassifiers> | ||
| 11 | <eClassifiers xsi:type="ecore:EClass" name="Event" abstract="true"> | ||
| 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="BasicEvent" eSuperTypes="#//Event"> | ||
| 15 | <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1" | ||
| 16 | eType="#//Distribution" containment="true"/> | ||
| 17 | </eClassifiers> | ||
| 18 | <eClassifiers xsi:type="ecore:EClass" name="Gate" abstract="true" eSuperTypes="#//Event"> | ||
| 19 | <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1" | ||
| 20 | eType="#//Event"/> | ||
| 21 | </eClassifiers> | ||
| 22 | <eClassifiers xsi:type="ecore:EClass" name="Distribution" abstract="true"/> | ||
| 23 | <eClassifiers xsi:type="ecore:EClass" name="ConstantDistribution" eSuperTypes="#//Distribution"> | ||
| 24 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="p" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/> | ||
| 25 | </eClassifiers> | ||
| 26 | <eClassifiers xsi:type="ecore:EClass" name="ExponentialDistribution" eSuperTypes="#//Distribution"> | ||
| 27 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="lambda" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/> | ||
| 28 | </eClassifiers> | ||
| 29 | <eClassifiers xsi:type="ecore:EClass" name="AndGate" eSuperTypes="#//Gate"/> | ||
| 30 | <eClassifiers xsi:type="ecore:EClass" name="OrGate" 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"/> | ||
| 33 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="m" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
| 34 | </eClassifiers> | ||
| 35 | </ecore:EPackage> | ||