diff options
author | 2020-05-10 22:09:17 +0200 | |
---|---|---|
committer | 2020-05-10 22:09:17 +0200 | |
commit | 7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69 (patch) | |
tree | 0b9b4ac2c58bf0535b27a447cae36335d5b9f503 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | |
parent | Synthetic tokens for solver language (diff) | |
download | VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.tar.gz VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.tar.zst VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.zip |
Add satellite case study
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 | 32 |
1 files changed, 32 insertions, 0 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 new file mode 100644 index 00000000..9f17d43c --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | |||
@@ -0,0 +1,32 @@ | |||
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="satellite" nsURI="http://www.example.org/satellite" nsPrefix="satellite"> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> | ||
5 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" | ||
6 | eType="#//GroundStationNetwork" containment="true"/> | ||
7 | <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2" | ||
8 | upperBound="-1" eType="#//Spacecraft" containment="true"/> | ||
9 | </eClassifiers> | ||
10 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="#//ConstellationMission"/> | ||
11 | <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" | ||
13 | upperBound="2" eType="#//CommSubsystem" containment="true"/> | ||
14 | </eClassifiers> | ||
15 | <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/> | ||
16 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> | ||
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" | ||
18 | containment="true"/> | ||
19 | </eClassifiers> | ||
20 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true"> | ||
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//CommSubsystem"/> | ||
22 | </eClassifiers> | ||
23 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> | ||
24 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> | ||
25 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> | ||
28 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> | ||
29 | <eClassifiers xsi:type="ecore:EClass" name="UHFCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
30 | <eClassifiers xsi:type="ecore:EClass" name="XCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
31 | <eClassifiers xsi:type="ecore:EClass" name="KaCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
32 | </ecore:EPackage> | ||