Extract component fault tree model

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
parent: [Stochastic] Fault tree transformation langauge (diff)
download: VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.gz
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.zst
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.zip
4 files changed, 202 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 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/cft"
+    nsPrefix="cft">
+  <eClassifiers xsi:type="ecore:EClass" name="ComponentDefinition">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
+        eType="#//IntputEvent" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="eventDefinitions" upperBound="-1"
+        eType="#//EventDefinition" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="outputEvents" upperBound="-1"
+        eType="#//EventDeclaration"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="EventDefinition" abstract="true" eSuperTypes="#//EventDeclaration"/>
+  <eClassifiers xsi:type="ecore:EClass" name="GateDefinition" abstract="true" eSuperTypes="#//EventDefinition">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
+        eType="#//EventDeclaration"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="BasicEventDefinition" eSuperTypes="#//EventDefinition">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1"
+        eType="ecore:EClass ft.ecore#//Distribution" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="IntputEvent" eSuperTypes="#//EventDeclaration">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiple" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="EventDeclaration" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="AndGateDefinition" eSuperTypes="#//GateDefinition"/>
+  <eClassifiers xsi:type="ecore:EClass" name="OrGateDefinition" eSuperTypes="#//GateDefinition"/>
+  <eClassifiers xsi:type="ecore:EClass" name="KOfMGateDefinition" eSuperTypes="#//GateDefinition">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="m" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="ComponentFaultTree">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="components" upperBound="-1"
+        eType="#//Component" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
+        eType="#//Output"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Component">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
+        eType="#//Input" containment="true" eOpposite="#//Input/component"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1"
+        eType="#//Output" containment="true" eOpposite="#//Output/component"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1"
+        eType="#//ComponentDefinition"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Input">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="intputEvent" lowerBound="1"
+        eType="#//IntputEvent"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
+        eType="#//Component" eOpposite="#//Component/inputs"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="incomingConnections" upperBound="-1"
+        eType="#//Connection" containment="true" eOpposite="#//Connection/input"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Output">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="eventDeclaration" lowerBound="1"
+        eType="#//EventDeclaration"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingConnections" upperBound="-1"
+        eType="#//Connection" eOpposite="#//Connection/output"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
+        eType="#//Component" eOpposite="#//Component/outputs"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Connection">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input"
+        eOpposite="#//Input/incomingConnections"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1"
+        eType="#//Output" eOpposite="#//Output/outgoingConnections"/>
+  </eClassifiers>
+</ecore:EPackage>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel
new file mode 100644
index 00000000..25b3cd39
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel
@@ -0,0 +1,59 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
+    modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Cft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
+    importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
+    usedGenPackages="ft.genmodel#//ft" operationReflection="true" importOrganizing="true">
+  <foreignModel>cft.ecore</foreignModel>
+  <genPackages prefix="Cft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
+      disposableProviderFactory="true" ecorePackage="cft.ecore#/">
+    <genClasses ecoreClass="cft.ecore#//ComponentDefinition">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/inputEvents"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/eventDefinitions"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/outputEvents"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ComponentDefinition/name"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="cft.ecore#//EventDefinition"/>
+    <genClasses image="false" ecoreClass="cft.ecore#//GateDefinition">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//GateDefinition/inputEvents"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//BasicEventDefinition">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//BasicEventDefinition/distribution"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//IntputEvent">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//IntputEvent/multiple"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="cft.ecore#//EventDeclaration">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//EventDeclaration/name"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//AndGateDefinition"/>
+    <genClasses ecoreClass="cft.ecore#//OrGateDefinition"/>
+    <genClasses ecoreClass="cft.ecore#//KOfMGateDefinition">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/k"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/m"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//ComponentFaultTree">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/components"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/topEvent"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//Component">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/inputs"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/outputs"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Component/componentDefinition"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//Input">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Input/intputEvent"/>
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Input/component"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Input/incomingConnections"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//Output">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/eventDeclaration"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/outgoingConnections"/>
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Output/component"/>
+    </genClasses>
+    <genClasses ecoreClass="cft.ecore#//Connection">
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Connection/input"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Connection/output"/>
+    </genClasses>
+  </genPackages>
+</genmodel:GenModel>
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 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft"
+    nsPrefix="ft">
+  <eClassifiers xsi:type="ecore:EClass" name="FaultTree">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="events" upperBound="-1"
+        eType="#//Event" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
+        eType="#//Event"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Event" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="BasicEvent" eSuperTypes="#//Event">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1"
+        eType="#//Distribution" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Gate" abstract="true" eSuperTypes="#//Event">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
+        eType="#//Event"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Distribution" abstract="true"/>
+  <eClassifiers xsi:type="ecore:EClass" name="ConstantDistribution" eSuperTypes="#//Distribution">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="p" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="ExponentialDistribution" eSuperTypes="#//Distribution">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="lambda" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="AndGate" eSuperTypes="#//Gate"/>
+  <eClassifiers xsi:type="ecore:EClass" name="OrGate" eSuperTypes="#//Gate"/>
+  <eClassifiers xsi:type="ecore:EClass" name="KOfMGate" eSuperTypes="#//Gate">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="m" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+  </eClassifiers>
+</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
new file mode 100644
index 00000000..b5f63c34
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
+    modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Ft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
+    importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
+    operationReflection="true" importOrganizing="true">
+  <foreignModel>ft.ecore</foreignModel>
+  <genPackages prefix="Ft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
+      disposableProviderFactory="true" ecorePackage="ft.ecore#/">
+    <genClasses ecoreClass="ft.ecore#//FaultTree">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="ft.ecore#//Event">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//Event/name"/>
+    </genClasses>
+    <genClasses ecoreClass="ft.ecore#//BasicEvent">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="ft.ecore#//Gate">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//Gate/inputEvents"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="ft.ecore#//Distribution"/>
+    <genClasses ecoreClass="ft.ecore#//ConstantDistribution">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantDistribution/p"/>
+    </genClasses>
+    <genClasses ecoreClass="ft.ecore#//ExponentialDistribution">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ExponentialDistribution/lambda"/>
+    </genClasses>
+    <genClasses ecoreClass="ft.ecore#//AndGate"/>
+    <genClasses ecoreClass="ft.ecore#//OrGate"/>
+    <genClasses ecoreClass="ft.ecore#//KOfMGate">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/m"/>
+    </genClasses>
+  </genPackages>
+</genmodel:GenModel>
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
parent	[Stochastic] Fault tree transformation langauge (diff)
download	VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.gz VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.zst VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.zip

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>


diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel new file mode 100644 index 00000000..25b3cd39 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel
@@ -0,0 +1,59 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
	3	xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
	4	modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Cft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
	5	importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
	6	usedGenPackages="ft.genmodel#//ft" operationReflection="true" importOrganizing="true">
	7	<foreignModel>cft.ecore</foreignModel>
	8	<genPackages prefix="Cft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
	9	disposableProviderFactory="true" ecorePackage="cft.ecore#/">
	10	<genClasses ecoreClass="cft.ecore#//ComponentDefinition">
	11	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/inputEvents"/>
	12	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/eventDefinitions"/>
	13	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/outputEvents"/>
	14	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ComponentDefinition/name"/>
	15	</genClasses>
	16	<genClasses image="false" ecoreClass="cft.ecore#//EventDefinition"/>
	17	<genClasses image="false" ecoreClass="cft.ecore#//GateDefinition">
	18	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//GateDefinition/inputEvents"/>
	19	</genClasses>
	20	<genClasses ecoreClass="cft.ecore#//BasicEventDefinition">
	21	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//BasicEventDefinition/distribution"/>
	22	</genClasses>
	23	<genClasses ecoreClass="cft.ecore#//IntputEvent">
	24	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//IntputEvent/multiple"/>
	25	</genClasses>
	26	<genClasses image="false" ecoreClass="cft.ecore#//EventDeclaration">
	27	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//EventDeclaration/name"/>
	28	</genClasses>
	29	<genClasses ecoreClass="cft.ecore#//AndGateDefinition"/>
	30	<genClasses ecoreClass="cft.ecore#//OrGateDefinition"/>
	31	<genClasses ecoreClass="cft.ecore#//KOfMGateDefinition">
	32	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/k"/>
	33	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/m"/>
	34	</genClasses>
	35	<genClasses ecoreClass="cft.ecore#//ComponentFaultTree">
	36	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/components"/>
	37	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/topEvent"/>
	38	</genClasses>
	39	<genClasses ecoreClass="cft.ecore#//Component">
	40	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/inputs"/>
	41	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/outputs"/>
	42	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Component/componentDefinition"/>
	43	</genClasses>
	44	<genClasses ecoreClass="cft.ecore#//Input">
	45	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Input/intputEvent"/>
	46	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Input/component"/>
	47	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Input/incomingConnections"/>
	48	</genClasses>
	49	<genClasses ecoreClass="cft.ecore#//Output">
	50	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/eventDeclaration"/>
	51	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/outgoingConnections"/>
	52	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Output/component"/>
	53	</genClasses>
	54	<genClasses ecoreClass="cft.ecore#//Connection">
	55	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Connection/input"/>
	56	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Connection/output"/>
	57	</genClasses>
	58	</genPackages>
	59	</genmodel:GenModel>


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>


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 new file mode 100644 index 00000000..b5f63c34 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
@@ -0,0 +1,37 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
	3	xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
	4	modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Ft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
	5	importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
	6	operationReflection="true" importOrganizing="true">
	7	<foreignModel>ft.ecore</foreignModel>
	8	<genPackages prefix="Ft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
	9	disposableProviderFactory="true" ecorePackage="ft.ecore#/">
	10	<genClasses ecoreClass="ft.ecore#//FaultTree">
	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"/>
	13	</genClasses>
	14	<genClasses image="false" ecoreClass="ft.ecore#//Event">
	15	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//Event/name"/>
	16	</genClasses>
	17	<genClasses ecoreClass="ft.ecore#//BasicEvent">
	18	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/>
	19	</genClasses>
	20	<genClasses image="false" ecoreClass="ft.ecore#//Gate">
	21	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//Gate/inputEvents"/>
	22	</genClasses>
	23	<genClasses image="false" ecoreClass="ft.ecore#//Distribution"/>
	24	<genClasses ecoreClass="ft.ecore#//ConstantDistribution">
	25	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantDistribution/p"/>
	26	</genClasses>
	27	<genClasses ecoreClass="ft.ecore#//ExponentialDistribution">
	28	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ExponentialDistribution/lambda"/>
	29	</genClasses>
	30	<genClasses ecoreClass="ft.ecore#//AndGate"/>
	31	<genClasses ecoreClass="ft.ecore#//OrGate"/>
	32	<genClasses ecoreClass="ft.ecore#//KOfMGate">
	33	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/>
	34	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/m"/>
	35	</genClasses>
	36	</genPackages>
	37	</genmodel:GenModel>