diff options
author | 2020-05-11 02:22:52 +0200 | |
---|---|---|
committer | 2020-05-11 02:22:52 +0200 | |
commit | 24f172f86601ae255dbfee265155ddc433338914 (patch) | |
tree | 123fbc0872701b7fd9f8f50cee32cf0f28db9eaf /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | |
parent | separated must and current UP rules to support non-prop neg finds (diff) | |
download | VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.tar.gz VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.tar.zst VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.zip |
Satelite case study update for Models-Attribute paper
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | 68 |
1 files changed, 36 insertions, 32 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore index 9f17d43c..362df382 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | |||
@@ -1,32 +1,36 @@ | |||
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="satellite" nsURI="http://www.example.org/satellite" nsPrefix="satellite"> | 3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="satellite" nsURI="http://www.example.org/satellite" nsPrefix="satellite"> |
4 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> | 4 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> |
5 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" | 5 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" |
6 | eType="#//GroundStationNetwork" containment="true"/> | 6 | eType="#//GroundStationNetwork" containment="true"/> |
7 | <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2" | 7 | <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2" |
8 | upperBound="-1" eType="#//Spacecraft" containment="true"/> | 8 | upperBound="-1" eType="#//Spacecraft" containment="true"/> |
9 | </eClassifiers> | 9 | </eClassifiers> |
10 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="#//ConstellationMission"/> | 10 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="#//ConstellationMission"/> |
11 | <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> | 11 | <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> |
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" | 12 | <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" |
13 | upperBound="2" eType="#//CommSubsystem" containment="true"/> | 13 | upperBound="2" eType="#//CommSubsystem" containment="true"/> |
14 | </eClassifiers> | 14 | </eClassifiers> |
15 | <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/> | 15 | <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/> |
16 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> | 16 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> |
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" | 17 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" |
18 | containment="true"/> | 18 | containment="true"/> |
19 | </eClassifiers> | 19 | </eClassifiers> |
20 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true"> | 20 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true"> |
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//CommSubsystem"/> | 21 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//CommSubsystem"/> |
22 | </eClassifiers> | 22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="frequency" lowerBound="1" |
23 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> | 23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
24 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> | 24 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="pathLength" lowerBound="1" |
25 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> | 25 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
26 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> | 26 | </eClassifiers> |
27 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> | 27 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> |
28 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> | 28 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> |
29 | <eClassifiers xsi:type="ecore:EClass" name="UHFCommSubsystem" eSuperTypes="#//CommSubsystem"/> | 29 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> |
30 | <eClassifiers xsi:type="ecore:EClass" name="XCommSubsystem" eSuperTypes="#//CommSubsystem"/> | 30 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> |
31 | <eClassifiers xsi:type="ecore:EClass" name="KaCommSubsystem" eSuperTypes="#//CommSubsystem"/> | 31 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> |
32 | </ecore:EPackage> | 32 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> |
33 | <eClassifiers xsi:type="ecore:EClass" name="UHFCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
34 | <eClassifiers xsi:type="ecore:EClass" name="XCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
35 | <eClassifiers xsi:type="ecore:EClass" name="KaCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
36 | </ecore:EPackage> | ||