diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-15 16:23:19 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-15 16:23:19 +0200 |
commit | 2531cfb60d747c261a20201415728beb0e24ab9b (patch) | |
tree | 0d7a242c674d735879e8c017bda7212e7ad02df2 /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | |
parent | Make diversity checking work with optimization (diff) | |
download | VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.tar.gz VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.tar.zst VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.zip |
Satellite constellation case study WIP
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 | 81 |
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 @@ | |||
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> | ||