diff options
author | 2019-06-08 19:17:34 -0400 | |
---|---|---|
committer | 2019-06-08 19:17:34 -0400 | |
commit | b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5 (patch) | |
tree | 4be566b25415ca97cb007b5da7d89f216ef515b2 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5.tar.gz VIATRA-Generator-b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5.tar.zst VIATRA-Generator-b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5.zip |
Trying to simplify 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, 4 insertions, 28 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 ae9197da..3e5cdafb 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,9 +1,6 @@ | |||
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 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
5 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
6 | </eAnnotations> | ||
7 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> | 4 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> |
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" | 5 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" |
9 | eType="#//GroundStationNetwork" containment="true"/> | 6 | eType="#//GroundStationNetwork" containment="true"/> |
@@ -24,42 +21,21 @@ | |||
24 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> | 21 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> |
25 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" | 22 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" |
26 | containment="true"/> | 23 | containment="true"/> |
27 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" lowerBound="1" eType="#//SpacecraftKind" | ||
28 | changeable="false" volatile="true" transient="true" derived="true"> | ||
29 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
30 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind"/> | ||
31 | </eAnnotations> | ||
32 | </eStructuralFeatures> | ||
33 | </eClassifiers> | ||
34 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem"> | ||
35 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="band" lowerBound="1" eType="#//TransceiverBand"/> | ||
36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="gain" lowerBound="1" eType="#//AntennaGain"/> | ||
37 | </eClassifiers> | ||
38 | <eClassifiers xsi:type="ecore:EEnum" name="TransceiverBand"> | ||
39 | <eLiterals name="UHF"/> | ||
40 | <eLiterals name="X" value="1"/> | ||
41 | <eLiterals name="Ka" value="2"/> | ||
42 | </eClassifiers> | 24 | </eClassifiers> |
25 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true"/> | ||
43 | <eClassifiers xsi:type="ecore:EClass" name="DirectedCommunicationLink"> | 26 | <eClassifiers xsi:type="ecore:EClass" name="DirectedCommunicationLink"> |
44 | <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" | 27 | <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" |
45 | eType="#//CommSubsystem"/> | 28 | eType="#//CommSubsystem"/> |
46 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | 29 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" |
47 | eType="#//CommSubsystem"/> | 30 | eType="#//CommSubsystem"/> |
48 | </eClassifiers> | 31 | </eClassifiers> |
49 | <eClassifiers xsi:type="ecore:EEnum" name="AntennaGain"> | ||
50 | <eLiterals name="LOW"/> | ||
51 | <eLiterals name="MEDIUM" value="1"/> | ||
52 | <eLiterals name="HIGH" value="2"/> | ||
53 | </eClassifiers> | ||
54 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> | 32 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> |
55 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> | 33 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> |
56 | <eClassifiers xsi:type="ecore:EEnum" name="SpacecraftKind"> | ||
57 | <eLiterals name="CubeSat3U"/> | ||
58 | <eLiterals name="CubeSat6U" value="1"/> | ||
59 | <eLiterals name="SmallSat" value="2"/> | ||
60 | </eClassifiers> | ||
61 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> | 34 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> |
62 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> | 35 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> |
63 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> | 36 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> |
64 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> | 37 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> |
38 | <eClassifiers xsi:type="ecore:EClass" name="UHFCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
39 | <eClassifiers xsi:type="ecore:EClass" name="XCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
40 | <eClassifiers xsi:type="ecore:EClass" name="KaCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
65 | </ecore:EPackage> | 41 | </ecore:EPackage> |