diff options
author | 2019-05-06 18:42:22 -0400 | |
---|---|---|
committer | 2019-05-06 18:42:22 -0400 | |
commit | 09b1255f11ee17828da706f682e33f50316887fe (patch) | |
tree | f3783961c521b73201a9d079be78feb26e8a285c /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.tar.gz VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.tar.zst VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.zip |
Trying to implement spacecraft 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 | 14 |
1 files changed, 13 insertions, 1 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 99766ab7..ae9197da 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,6 +1,9 @@ | |||
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> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> | 7 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> |
5 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" | 8 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" |
6 | eType="#//GroundStationNetwork" containment="true"/> | 9 | eType="#//GroundStationNetwork" containment="true"/> |
@@ -21,7 +24,12 @@ | |||
21 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> | 24 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> |
22 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" | 25 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" |
23 | containment="true"/> | 26 | containment="true"/> |
24 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" lowerBound="1" eType="#//SpacecraftKind"/> | 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> | ||
25 | </eClassifiers> | 33 | </eClassifiers> |
26 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem"> | 34 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem"> |
27 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="band" lowerBound="1" eType="#//TransceiverBand"/> | 35 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="band" lowerBound="1" eType="#//TransceiverBand"/> |
@@ -50,4 +58,8 @@ | |||
50 | <eLiterals name="CubeSat6U" value="1"/> | 58 | <eLiterals name="CubeSat6U" value="1"/> |
51 | <eLiterals name="SmallSat" value="2"/> | 59 | <eLiterals name="SmallSat" value="2"/> |
52 | </eClassifiers> | 60 | </eClassifiers> |
61 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> | ||
62 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> | ||
63 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> | ||
64 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> | ||
53 | </ecore:EPackage> | 65 | </ecore:EPackage> |