diff options
author | 2020-06-25 19:55:10 +0200 | |
---|---|---|
committer | 2020-06-25 19:55:10 +0200 | |
commit | c3a6d4b9cf3657070d180aa65ddbf0459e880329 (patch) | |
tree | 780c4fc61578dcb309af53fb0c164c7627e51676 /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | |
parent | New configuration language parser WIP (diff) | |
parent | Scope unsat benchmarks (diff) | |
download | VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.gz VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.zst VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.zip |
Merge branch 'kris'
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 | 61 |
1 files changed, 61 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..0f52d8ee --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | |||
@@ -0,0 +1,61 @@ | |||
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 | </eClassifiers> | ||
12 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationType"> | ||
13 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | ||
14 | eType="#//ApplicationInstance" containment="true" eOpposite="#//ApplicationInstance/type"/> | ||
15 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" | ||
16 | eType="#//ResourceRequirement" containment="true"/> | ||
17 | </eClassifiers> | ||
18 | <eClassifiers xsi:type="ecore:EClass" name="HostType"> | ||
19 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultMemory" lowerBound="1" | ||
20 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
21 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultHdd" lowerBound="1" | ||
22 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
23 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | ||
24 | eType="#//HostInstance" containment="true" eOpposite="#//HostInstance/type"/> | ||
25 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="cost" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
26 | </eClassifiers> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="Request"> | ||
28 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" | ||
29 | eType="#//Requirement" containment="true" eOpposite="#//Requirement/request"/> | ||
30 | </eClassifiers> | ||
31 | <eClassifiers xsi:type="ecore:EClass" name="Requirement"> | ||
32 | <eStructuralFeatures xsi:type="ecore:EReference" name="request" lowerBound="1" | ||
33 | eType="#//Request" eOpposite="#//Request/requirements"/> | ||
34 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="count" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
35 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ApplicationType"/> | ||
36 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | ||
37 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/requirement"/> | ||
38 | </eClassifiers> | ||
39 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationInstance"> | ||
40 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirement" eType="#//Requirement" | ||
41 | eOpposite="#//Requirement/instances"/> | ||
42 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ApplicationType" | ||
43 | eOpposite="#//ApplicationType/instances"/> | ||
44 | <eStructuralFeatures xsi:type="ecore:EReference" name="allocatedTo" lowerBound="1" | ||
45 | eType="#//HostInstance" eOpposite="#//HostInstance/applications"/> | ||
46 | </eClassifiers> | ||
47 | <eClassifiers xsi:type="ecore:EClass" name="ResourceRequirement"> | ||
48 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredMemory" lowerBound="1" | ||
49 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
50 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredHdd" lowerBound="1" | ||
51 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
52 | <eStructuralFeatures xsi:type="ecore:EReference" name="hostType" lowerBound="1" | ||
53 | eType="#//HostType"/> | ||
54 | </eClassifiers> | ||
55 | <eClassifiers xsi:type="ecore:EClass" name="HostInstance"> | ||
56 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType" | ||
57 | eOpposite="#//HostType/instances"/> | ||
58 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" | ||
59 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/> | ||
60 | </eClassifiers> | ||
61 | </ecore:EPackage> | ||