diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-15 13:46:38 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-15 13:46:38 -0400 |
commit | e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef (patch) | |
tree | 42cb23ff8839308345c0859cdf99469c930af03b /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.gz VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.zst VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.zip |
Formalize CPS case study for optimization
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 | 53 |
1 files changed, 37 insertions, 16 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 bcf0ed99..36db23be 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,6 +1,9 @@ | |||
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> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem"> | 7 | <eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem"> |
5 | <eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1" | 8 | <eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1" |
6 | eType="#//Request" containment="true"/> | 9 | eType="#//Request" containment="true"/> |
@@ -10,18 +13,24 @@ | |||
10 | eType="#//HostType" containment="true"/> | 13 | eType="#//HostType" containment="true"/> |
11 | <eStructuralFeatures xsi:type="ecore:EReference" name="hosts" upperBound="-1" | 14 | <eStructuralFeatures xsi:type="ecore:EReference" name="hosts" upperBound="-1" |
12 | eType="#//HostInstance" changeable="false" volatile="true" transient="true" | 15 | eType="#//HostInstance" changeable="false" volatile="true" transient="true" |
13 | derived="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> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" | 21 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" |
15 | eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true" | 22 | eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true" |
16 | derived="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> | ||
17 | </eClassifiers> | 28 | </eClassifiers> |
18 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationType"> | 29 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationType"> |
19 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | 30 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" |
20 | eType="#//ApplicationInstance" containment="true" eOpposite="#//ApplicationInstance/type"/> | 31 | eType="#//ApplicationInstance" containment="true" eOpposite="#//ApplicationInstance/type"/> |
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" | 32 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" |
22 | eType="#//ResourceRequirement" containment="true"/> | 33 | eType="#//ResourceRequirement" containment="true"/> |
23 | <eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" upperBound="-1" | ||
24 | eType="#//ApplicationType"/> | ||
25 | </eClassifiers> | 34 | </eClassifiers> |
26 | <eClassifiers xsi:type="ecore:EClass" name="HostType"> | 35 | <eClassifiers xsi:type="ecore:EClass" name="HostType"> |
27 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultMemory" lowerBound="1" | 36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultMemory" lowerBound="1" |
@@ -30,8 +39,7 @@ | |||
30 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 39 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
31 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | 40 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" |
32 | eType="#//HostInstance" containment="true" eOpposite="#//HostInstance/type"/> | 41 | eType="#//HostInstance" containment="true" eOpposite="#//HostInstance/type"/> |
33 | <eStructuralFeatures xsi:type="ecore:EReference" name="canConnectTo" upperBound="-1" | 42 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="cost" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
34 | eType="#//HostType"/> | ||
35 | </eClassifiers> | 43 | </eClassifiers> |
36 | <eClassifiers xsi:type="ecore:EClass" name="Request"> | 44 | <eClassifiers xsi:type="ecore:EClass" name="Request"> |
37 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" | 45 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" |
@@ -46,13 +54,12 @@ | |||
46 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/requirement"/> | 54 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/requirement"/> |
47 | </eClassifiers> | 55 | </eClassifiers> |
48 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationInstance"> | 56 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationInstance"> |
49 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirement" upperBound="-1" | 57 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirement" eType="#//Requirement" |
50 | eType="#//Requirement" eOpposite="#//Requirement/instances"/> | 58 | eOpposite="#//Requirement/instances"/> |
51 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ApplicationType" | 59 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ApplicationType" |
52 | eOpposite="#//ApplicationType/instances"/> | 60 | eOpposite="#//ApplicationType/instances"/> |
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="allocatedTo" upperBound="-1" | 61 | <eStructuralFeatures xsi:type="ecore:EReference" name="allocatedTo" lowerBound="1" |
54 | eType="#//HostInstance" eOpposite="#//HostInstance/applications"/> | 62 | eType="#//HostInstance" eOpposite="#//HostInstance/applications"/> |
55 | <eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" eType="#//ApplicationInstance"/> | ||
56 | </eClassifiers> | 63 | </eClassifiers> |
57 | <eClassifiers xsi:type="ecore:EClass" name="ResourceRequirement"> | 64 | <eClassifiers xsi:type="ecore:EClass" name="ResourceRequirement"> |
58 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredMemory" lowerBound="1" | 65 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredMemory" lowerBound="1" |
@@ -66,16 +73,30 @@ | |||
66 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType" | 73 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType" |
67 | eOpposite="#//HostType/instances"/> | 74 | eOpposite="#//HostType/instances"/> |
68 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 75 | <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"/> | 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> | ||
70 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 81 | <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"/> | 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> | ||
72 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 87 | <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"/> | 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> | ||
74 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 93 | <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"/> | 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> | ||
76 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" | 99 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" |
77 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/> | 100 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/> |
78 | <eStructuralFeatures xsi:type="ecore:EReference" name="connectedTo" upperBound="-1" | ||
79 | eType="#//HostInstance"/> | ||
80 | </eClassifiers> | 101 | </eClassifiers> |
81 | </ecore:EPackage> | 102 | </ecore:EPackage> |