diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore new file mode 100644 index 00000000..a58dd30e --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore | |||
@@ -0,0 +1,68 @@ | |||
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 | <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"> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" | ||
9 | eType="ecore:EClass satellite.ecore#//GroundStationNetwork" containment="true" | ||
10 | resolveProxies="false"/> | ||
11 | <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2" | ||
12 | upperBound="50" eType="ecore:EClass satellite.ecore#//Spacecraft" containment="true" | ||
13 | resolveProxies="false"/> | ||
14 | </eClassifiers> | ||
15 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="satellite.ecore#//ConstellationMission"> | ||
16 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="observationTime" lowerBound="1" | ||
17 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EFloat" defaultValueLiteral="2.0"/> | ||
18 | </eClassifiers> | ||
19 | <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> | ||
20 | <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" | ||
21 | upperBound="2" eType="ecore:EClass satellite.ecore#//CommSubsystem" containment="true" | ||
22 | resolveProxies="false"/> | ||
23 | <eStructuralFeatures xsi:type="ecore:EReference" name="communicationLink" eType="ecore:EClass satellite.ecore#//DirectedCommunicationLink" | ||
24 | containment="true" resolveProxies="false"/> | ||
25 | </eClassifiers> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="satellite.ecore#//CommunicatingElement"/> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="satellite.ecore#//CommunicatingElement"> | ||
28 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="ecore:EClass satellite.ecore#//Payload" | ||
29 | containment="true" resolveProxies="false"/> | ||
30 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" lowerBound="1" eType="ecore:EEnum satellite.ecore#//SpacecraftKind" | ||
31 | changeable="false" volatile="true" transient="true" derived="true"> | ||
32 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
33 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind"/> | ||
34 | </eAnnotations> | ||
35 | </eStructuralFeatures> | ||
36 | </eClassifiers> | ||
37 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem"> | ||
38 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="band" lowerBound="1" eType="ecore:EEnum satellite.ecore#//TransceiverBand"/> | ||
39 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="gain" lowerBound="1" eType="ecore:EEnum satellite.ecore#//AntennaGain"/> | ||
40 | </eClassifiers> | ||
41 | <eClassifiers xsi:type="ecore:EClass" name="DirectedCommunicationLink"> | ||
42 | <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" | ||
43 | eType="ecore:EClass satellite.ecore#//CommSubsystem"/> | ||
44 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
45 | eType="ecore:EClass satellite.ecore#//CommSubsystem"/> | ||
46 | </eClassifiers> | ||
47 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> | ||
48 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="satellite.ecore#//Payload"/> | ||
49 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="satellite.ecore#//CubeSat"/> | ||
50 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="satellite.ecore#//CubeSat"/> | ||
51 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="satellite.ecore#//Spacecraft"/> | ||
52 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="satellite.ecore#//Spacecraft"/> | ||
53 | <eClassifiers xsi:type="ecore:EEnum" name="TransceiverBand"> | ||
54 | <eLiterals name="UHF"/> | ||
55 | <eLiterals name="X" value="1"/> | ||
56 | <eLiterals name="Ka" value="2"/> | ||
57 | </eClassifiers> | ||
58 | <eClassifiers xsi:type="ecore:EEnum" name="AntennaGain"> | ||
59 | <eLiterals name="LOW"/> | ||
60 | <eLiterals name="MEDIUM" value="1"/> | ||
61 | <eLiterals name="HIGH" value="2"/> | ||
62 | </eClassifiers> | ||
63 | <eClassifiers xsi:type="ecore:EEnum" name="SpacecraftKind"> | ||
64 | <eLiterals name="CubeSat3U"/> | ||
65 | <eLiterals name="CubeSat6U" value="1"/> | ||
66 | <eLiterals name="SmallSat" value="2"/> | ||
67 | </eClassifiers> | ||
68 | </ecore:EPackage> | ||