1 files changed, 81 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore
new file mode 100644
index 00000000..bcf0ed99
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore
@@ -0,0 +1,81 @@
+<?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="cps" nsURI="http://www.example.org/cps" nsPrefix="cps">
+  <eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1"
+        eType="#//Request" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="applicationTypes" upperBound="-1"
+        eType="#//ApplicationType" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="hostTypes" upperBound="-1"
+        eType="#//HostType" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="hosts" upperBound="-1"
+        eType="#//HostInstance" changeable="false" volatile="true" transient="true"
+        derived="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1"
+        eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true"
+        derived="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="ApplicationType">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
+        eType="#//ApplicationInstance" containment="true" eOpposite="#//ApplicationInstance/type"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1"
+        eType="#//ResourceRequirement" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" upperBound="-1"
+        eType="#//ApplicationType"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="HostType">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultMemory" lowerBound="1"
+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultHdd" lowerBound="1"
+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
+        eType="#//HostInstance" containment="true" eOpposite="#//HostInstance/type"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="canConnectTo" upperBound="-1"
+        eType="#//HostType"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Request">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1"
+        eType="#//Requirement" containment="true" eOpposite="#//Requirement/request"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Requirement">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="request" lowerBound="1"
+        eType="#//Request" eOpposite="#//Request/requirements"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="count" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ApplicationType"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
+        eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/requirement"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="ApplicationInstance">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="requirement" upperBound="-1"
+        eType="#//Requirement" eOpposite="#//Requirement/instances"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ApplicationType"
+        eOpposite="#//ApplicationType/instances"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="allocatedTo" upperBound="-1"
+        eType="#//HostInstance" eOpposite="#//HostInstance/applications"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" eType="#//ApplicationInstance"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="ResourceRequirement">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredMemory" lowerBound="1"
+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredHdd" lowerBound="1"
+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="hostType" lowerBound="1"
+        eType="#//HostType"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="HostInstance">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType"
+        eOpposite="#//HostType/instances"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
+        changeable="false" volatile="true" transient="true" derived="true"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
+        changeable="false" volatile="true" transient="true" derived="true"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
+        changeable="false" volatile="true" transient="true" derived="true"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
+        changeable="false" volatile="true" transient="true" derived="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1"
+        eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="connectedTo" upperBound="-1"
+        eType="#//HostInstance"/>
+  </eClassifiers>
+</ecore:EPackage>

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore new file mode 100644 index 00000000..bcf0ed99 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore
@@ -0,0 +1,81 @@
	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="cps" nsURI="http://www.example.org/cps" nsPrefix="cps">
	4	<eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem">
	5	<eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1"
	6	eType="#//Request" containment="true"/>
	7	<eStructuralFeatures xsi:type="ecore:EReference" name="applicationTypes" upperBound="-1"
	8	eType="#//ApplicationType" containment="true"/>
	9	<eStructuralFeatures xsi:type="ecore:EReference" name="hostTypes" upperBound="-1"
	10	eType="#//HostType" containment="true"/>
	11	<eStructuralFeatures xsi:type="ecore:EReference" name="hosts" upperBound="-1"
	12	eType="#//HostInstance" changeable="false" volatile="true" transient="true"
	13	derived="true"/>
	14	<eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1"
	15	eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true"
	16	derived="true"/>
	17	</eClassifiers>
	18	<eClassifiers xsi:type="ecore:EClass" name="ApplicationType">
	19	<eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
	20	eType="#//ApplicationInstance" containment="true" eOpposite="#//ApplicationInstance/type"/>
	21	<eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1"
	22	eType="#//ResourceRequirement" containment="true"/>
	23	<eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" upperBound="-1"
	24	eType="#//ApplicationType"/>
	25	</eClassifiers>
	26	<eClassifiers xsi:type="ecore:EClass" name="HostType">
	27	<eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultMemory" lowerBound="1"
	28	eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
	29	<eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultHdd" lowerBound="1"
	30	eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
	31	<eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
	32	eType="#//HostInstance" containment="true" eOpposite="#//HostInstance/type"/>
	33	<eStructuralFeatures xsi:type="ecore:EReference" name="canConnectTo" upperBound="-1"
	34	eType="#//HostType"/>
	35	</eClassifiers>
	36	<eClassifiers xsi:type="ecore:EClass" name="Request">
	37	<eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1"
	38	eType="#//Requirement" containment="true" eOpposite="#//Requirement/request"/>
	39	</eClassifiers>
	40	<eClassifiers xsi:type="ecore:EClass" name="Requirement">
	41	<eStructuralFeatures xsi:type="ecore:EReference" name="request" lowerBound="1"
	42	eType="#//Request" eOpposite="#//Request/requirements"/>
	43	<eStructuralFeatures xsi:type="ecore:EAttribute" name="count" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
	44	<eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ApplicationType"/>
	45	<eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
	46	eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/requirement"/>
	47	</eClassifiers>
	48	<eClassifiers xsi:type="ecore:EClass" name="ApplicationInstance">
	49	<eStructuralFeatures xsi:type="ecore:EReference" name="requirement" upperBound="-1"
	50	eType="#//Requirement" eOpposite="#//Requirement/instances"/>
	51	<eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ApplicationType"
	52	eOpposite="#//ApplicationType/instances"/>
	53	<eStructuralFeatures xsi:type="ecore:EReference" name="allocatedTo" upperBound="-1"
	54	eType="#//HostInstance" eOpposite="#//HostInstance/applications"/>
	55	<eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" eType="#//ApplicationInstance"/>
	56	</eClassifiers>
	57	<eClassifiers xsi:type="ecore:EClass" name="ResourceRequirement">
	58	<eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredMemory" lowerBound="1"
	59	eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
	60	<eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredHdd" lowerBound="1"
	61	eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
	62	<eStructuralFeatures xsi:type="ecore:EReference" name="hostType" lowerBound="1"
	63	eType="#//HostType"/>
	64	</eClassifiers>
	65	<eClassifiers xsi:type="ecore:EClass" name="HostInstance">
	66	<eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType"
	67	eOpposite="#//HostType/instances"/>
	68	<eStructuralFeatures xsi:type="ecore:EAttribute" name="availableMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
	69	changeable="false" volatile="true" transient="true" derived="true"/>
	70	<eStructuralFeatures xsi:type="ecore:EAttribute" name="availableHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
	71	changeable="false" volatile="true" transient="true" derived="true"/>
	72	<eStructuralFeatures xsi:type="ecore:EAttribute" name="totalMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
	73	changeable="false" volatile="true" transient="true" derived="true"/>
	74	<eStructuralFeatures xsi:type="ecore:EAttribute" name="totalHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
	75	changeable="false" volatile="true" transient="true" derived="true"/>
	76	<eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1"
	77	eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/>
	78	<eStructuralFeatures xsi:type="ecore:EReference" name="connectedTo" upperBound="-1"
	79	eType="#//HostInstance"/>
	80	</eClassifiers>
	81	</ecore:EPackage>