blob: 36db23be7bb414efb6d086943565328ebc7243e0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
<?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">
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
</eAnnotations>
<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">
<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsHosts"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1"
eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true"
derived="true">
<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsApplications"/>
</eAnnotations>
</eStructuralFeatures>
</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"/>
</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:EAttribute" name="cost" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
</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" 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" lowerBound="1"
eType="#//HostInstance" eOpposite="#//HostInstance/applications"/>
</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">
<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableMemory"/>
</eAnnotations>
</eStructuralFeatures>
<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">
<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableHdd"/>
</eAnnotations>
</eStructuralFeatures>
<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">
<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalMemory"/>
</eAnnotations>
</eStructuralFeatures>
<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">
<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalHdd"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1"
eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/>
</eClassifiers>
</ecore:EPackage>
|
