diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-21 17:00:01 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-21 17:00:01 -0400 |
commit | fd3684b5440dacca0c4bf4be15930555a79e2100 (patch) | |
tree | 24120a5c7fdae1532529fa0c4687dc1078cd1cde /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | |
parent | Interval hull aggregation operator (diff) | |
download | VIATRA-Generator-fd3684b5440dacca0c4bf4be15930555a79e2100.tar.gz VIATRA-Generator-fd3684b5440dacca0c4bf4be15930555a79e2100.tar.zst VIATRA-Generator-fd3684b5440dacca0c4bf4be15930555a79e2100.zip |
VIATRA DSE and COIN-OR CBC implementations of CPS case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | 41 |
1 files changed, 0 insertions, 41 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 index 36db23be..0f52d8ee 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | |||
@@ -1,9 +1,6 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 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" | 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"> | 3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cps" nsURI="http://www.example.org/cps" nsPrefix="cps"> |
4 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
5 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
6 | </eAnnotations> | ||
7 | <eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem"> | 4 | <eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem"> |
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1" | 5 | <eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1" |
9 | eType="#//Request" containment="true"/> | 6 | eType="#//Request" containment="true"/> |
@@ -11,20 +8,6 @@ | |||
11 | eType="#//ApplicationType" containment="true"/> | 8 | eType="#//ApplicationType" containment="true"/> |
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="hostTypes" upperBound="-1" | 9 | <eStructuralFeatures xsi:type="ecore:EReference" name="hostTypes" upperBound="-1" |
13 | eType="#//HostType" containment="true"/> | 10 | eType="#//HostType" containment="true"/> |
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="hosts" upperBound="-1" | ||
15 | eType="#//HostInstance" changeable="false" volatile="true" transient="true" | ||
16 | derived="true"> | ||
17 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
18 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsHosts"/> | ||
19 | </eAnnotations> | ||
20 | </eStructuralFeatures> | ||
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" | ||
22 | eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true" | ||
23 | derived="true"> | ||
24 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
25 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsApplications"/> | ||
26 | </eAnnotations> | ||
27 | </eStructuralFeatures> | ||
28 | </eClassifiers> | 11 | </eClassifiers> |
29 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationType"> | 12 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationType"> |
30 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | 13 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" |
@@ -72,30 +55,6 @@ | |||
72 | <eClassifiers xsi:type="ecore:EClass" name="HostInstance"> | 55 | <eClassifiers xsi:type="ecore:EClass" name="HostInstance"> |
73 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType" | 56 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType" |
74 | eOpposite="#//HostType/instances"/> | 57 | eOpposite="#//HostType/instances"/> |
75 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | ||
76 | changeable="false" volatile="true" transient="true" derived="true"> | ||
77 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
78 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableMemory"/> | ||
79 | </eAnnotations> | ||
80 | </eStructuralFeatures> | ||
81 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | ||
82 | changeable="false" volatile="true" transient="true" derived="true"> | ||
83 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
84 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableHdd"/> | ||
85 | </eAnnotations> | ||
86 | </eStructuralFeatures> | ||
87 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | ||
88 | changeable="false" volatile="true" transient="true" derived="true"> | ||
89 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
90 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalMemory"/> | ||
91 | </eAnnotations> | ||
92 | </eStructuralFeatures> | ||
93 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | ||
94 | changeable="false" volatile="true" transient="true" derived="true"> | ||
95 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
96 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalHdd"/> | ||
97 | </eAnnotations> | ||
98 | </eStructuralFeatures> | ||
99 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" | 58 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" |
100 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/> | 59 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/> |
101 | </eClassifiers> | 60 | </eClassifiers> |