aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-06-09 14:45:02 -0400
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-06-09 14:45:02 -0400
commit555987a459702674da350fa1fd5f76ffe14cd7c0 (patch)
treec64f2af9d655eb94b1a13d8c22f67bbf34435e0f /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model
parentTrying to simplify Satellite case study (diff)
downloadVIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.tar.gz
VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.tar.zst
VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.zip
Simplify satellite metamodel further
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore10
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel7
2 files changed, 4 insertions, 13 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 3e5cdafb..74f09388 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
@@ -14,20 +14,14 @@
14 <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> 14 <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true">
15 <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" 15 <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1"
16 upperBound="2" eType="#//CommSubsystem" containment="true"/> 16 upperBound="2" eType="#//CommSubsystem" containment="true"/>
17 <eStructuralFeatures xsi:type="ecore:EReference" name="communicationLink" eType="#//DirectedCommunicationLink"
18 containment="true"/>
19 </eClassifiers> 17 </eClassifiers>
20 <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/> 18 <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/>
21 <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> 19 <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement">
22 <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" 20 <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload"
23 containment="true"/> 21 containment="true"/>
24 </eClassifiers> 22 </eClassifiers>
25 <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true"/> 23 <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true">
26 <eClassifiers xsi:type="ecore:EClass" name="DirectedCommunicationLink"> 24 <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//CommSubsystem"/>
27 <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
28 eType="#//CommSubsystem"/>
29 <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
30 eType="#//CommSubsystem"/>
31 </eClassifiers> 25 </eClassifiers>
32 <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> 26 <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/>
33 <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> 27 <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel
index 2d538c06..e315e0ec 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel
@@ -20,16 +20,13 @@
20 </genClasses> 20 </genClasses>
21 <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement"> 21 <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement">
22 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/> 22 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/>
23 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/communicationLink"/>
24 </genClasses> 23 </genClasses>
25 <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/> 24 <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/>
26 <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft"> 25 <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft">
27 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/> 26 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/>
28 </genClasses> 27 </genClasses>
29 <genClasses ecoreClass="satellite.ecore#//CommSubsystem"/> 28 <genClasses ecoreClass="satellite.ecore#//CommSubsystem">
30 <genClasses ecoreClass="satellite.ecore#//DirectedCommunicationLink"> 29 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//CommSubsystem/target"/>
31 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//DirectedCommunicationLink/source"/>
32 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//DirectedCommunicationLink/target"/>
33 </genClasses> 30 </genClasses>
34 <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/> 31 <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/>
35 <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/> 32 <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/>