blob: ae9197daac94e5eb0f7d15f757ba1038505196cf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="satellite" nsURI="http://www.example.org/satellite" nsPrefix="satellite">
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
</eAnnotations>
<eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true">
<eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1"
eType="#//GroundStationNetwork" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2"
upperBound="50" eType="#//Spacecraft" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="#//ConstellationMission">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="observationTime" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EFloat" defaultValueLiteral="2.0"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true">
<eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1"
upperBound="2" eType="#//CommSubsystem" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="communicationLink" eType="#//DirectedCommunicationLink"
containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/>
<eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" lowerBound="1" eType="#//SpacecraftKind"
changeable="false" volatile="true" transient="true" derived="true">
<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="CommSubsystem">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="band" lowerBound="1" eType="#//TransceiverBand"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="gain" lowerBound="1" eType="#//AntennaGain"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="TransceiverBand">
<eLiterals name="UHF"/>
<eLiterals name="X" value="1"/>
<eLiterals name="Ka" value="2"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="DirectedCommunicationLink">
<eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
eType="#//CommSubsystem"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
eType="#//CommSubsystem"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="AntennaGain">
<eLiterals name="LOW"/>
<eLiterals name="MEDIUM" value="1"/>
<eLiterals name="HIGH" value="2"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/>
<eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/>
<eClassifiers xsi:type="ecore:EEnum" name="SpacecraftKind">
<eLiterals name="CubeSat3U"/>
<eLiterals name="CubeSat6U" value="1"/>
<eLiterals name="SmallSat" value="2"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/>
<eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/>
<eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/>
<eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/>
</ecore:EPackage>
|