aboutsummaryrefslogtreecommitdiffstats
path: root/Domains
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-19 21:22:01 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-19 22:11:37 +0200
commit167e0470bc4562f77d46d8af8c0ef6794dfee693 (patch)
tree8f647b4a6d6b412b9e912a4e0841a2898e830b13 /Domains
parentConfig language WIP (diff)
parentMerge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff)
downloadVIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.gz
VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.zst
VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.zip
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'Domains')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig4
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java46
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java113
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java128
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java29
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird796
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore68
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel80
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml24
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql147
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend3
11 files changed, 1312 insertions, 126 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
index 2fb246c9..b95c6b68 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
@@ -7,7 +7,7 @@ generate {
7 partial-model = { "inputs/SatelliteInstance.xmi"} 7 partial-model = { "inputs/SatelliteInstance.xmi"}
8 solver = ViatraSolver 8 solver = ViatraSolver
9 scope = { 9 scope = {
10 #node += 32..64 10 #node += 64..128
11 } 11 }
12 12
13 config = { 13 config = {
@@ -16,7 +16,7 @@ generate {
16 } 16 }
17 17
18 number = 1 18 number = 1
19 runs = 5 19 runs = 3
20 20
21 debug = "outputs/debug" 21 debug = "outputs/debug"
22 log = "outputs/log.txt" 22 log = "outputs/log.txt"
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
index 3b9d7ecf..4c5ea937 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
@@ -14,6 +14,8 @@ import org.eclipse.emf.ecore.EObject;
14 * </p> 14 * </p>
15 * <ul> 15 * <ul>
16 * <li>{@link satellite.CommSubsystem#getTarget <em>Target</em>}</li> 16 * <li>{@link satellite.CommSubsystem#getTarget <em>Target</em>}</li>
17 * <li>{@link satellite.CommSubsystem#getFrequency <em>Frequency</em>}</li>
18 * <li>{@link satellite.CommSubsystem#getPathLength <em>Path Length</em>}</li>
17 * </ul> 19 * </ul>
18 * 20 *
19 * @see satellite.SatellitePackage#getCommSubsystem() 21 * @see satellite.SatellitePackage#getCommSubsystem()
@@ -44,4 +46,48 @@ public interface CommSubsystem extends EObject {
44 */ 46 */
45 void setTarget(CommSubsystem value); 47 void setTarget(CommSubsystem value);
46 48
49 /**
50 * Returns the value of the '<em><b>Frequency</b></em>' attribute.
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @return the value of the '<em>Frequency</em>' attribute.
54 * @see #setFrequency(int)
55 * @see satellite.SatellitePackage#getCommSubsystem_Frequency()
56 * @model required="true"
57 * @generated
58 */
59 int getFrequency();
60
61 /**
62 * Sets the value of the '{@link satellite.CommSubsystem#getFrequency <em>Frequency</em>}' attribute.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @param value the new value of the '<em>Frequency</em>' attribute.
66 * @see #getFrequency()
67 * @generated
68 */
69 void setFrequency(int value);
70
71 /**
72 * Returns the value of the '<em><b>Path Length</b></em>' attribute.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @return the value of the '<em>Path Length</em>' attribute.
76 * @see #setPathLength(int)
77 * @see satellite.SatellitePackage#getCommSubsystem_PathLength()
78 * @model required="true"
79 * @generated
80 */
81 int getPathLength();
82
83 /**
84 * Sets the value of the '{@link satellite.CommSubsystem#getPathLength <em>Path Length</em>}' attribute.
85 * <!-- begin-user-doc -->
86 * <!-- end-user-doc -->
87 * @param value the new value of the '<em>Path Length</em>' attribute.
88 * @see #getPathLength()
89 * @generated
90 */
91 void setPathLength(int value);
92
47} // CommSubsystem 93} // CommSubsystem
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java
index 9ca99311..173e2388 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java
@@ -2,6 +2,7 @@
2 */ 2 */
3package satellite; 3package satellite;
4 4
5import org.eclipse.emf.ecore.EAttribute;
5import org.eclipse.emf.ecore.EClass; 6import org.eclipse.emf.ecore.EClass;
6import org.eclipse.emf.ecore.EPackage; 7import org.eclipse.emf.ecore.EPackage;
7import org.eclipse.emf.ecore.EReference; 8import org.eclipse.emf.ecore.EReference;
@@ -287,13 +288,31 @@ public interface SatellitePackage extends EPackage {
287 int COMM_SUBSYSTEM__TARGET = 0; 288 int COMM_SUBSYSTEM__TARGET = 0;
288 289
289 /** 290 /**
291 * The feature id for the '<em><b>Frequency</b></em>' attribute.
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 * @ordered
296 */
297 int COMM_SUBSYSTEM__FREQUENCY = 1;
298
299 /**
300 * The feature id for the '<em><b>Path Length</b></em>' attribute.
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 * @ordered
305 */
306 int COMM_SUBSYSTEM__PATH_LENGTH = 2;
307
308 /**
290 * The number of structural features of the '<em>Comm Subsystem</em>' class. 309 * The number of structural features of the '<em>Comm Subsystem</em>' class.
291 * <!-- begin-user-doc --> 310 * <!-- begin-user-doc -->
292 * <!-- end-user-doc --> 311 * <!-- end-user-doc -->
293 * @generated 312 * @generated
294 * @ordered 313 * @ordered
295 */ 314 */
296 int COMM_SUBSYSTEM_FEATURE_COUNT = 1; 315 int COMM_SUBSYSTEM_FEATURE_COUNT = 3;
297 316
298 /** 317 /**
299 * The number of operations of the '<em>Comm Subsystem</em>' class. 318 * The number of operations of the '<em>Comm Subsystem</em>' class.
@@ -564,6 +583,24 @@ public interface SatellitePackage extends EPackage {
564 int UHF_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET; 583 int UHF_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET;
565 584
566 /** 585 /**
586 * The feature id for the '<em><b>Frequency</b></em>' attribute.
587 * <!-- begin-user-doc -->
588 * <!-- end-user-doc -->
589 * @generated
590 * @ordered
591 */
592 int UHF_COMM_SUBSYSTEM__FREQUENCY = COMM_SUBSYSTEM__FREQUENCY;
593
594 /**
595 * The feature id for the '<em><b>Path Length</b></em>' attribute.
596 * <!-- begin-user-doc -->
597 * <!-- end-user-doc -->
598 * @generated
599 * @ordered
600 */
601 int UHF_COMM_SUBSYSTEM__PATH_LENGTH = COMM_SUBSYSTEM__PATH_LENGTH;
602
603 /**
567 * The number of structural features of the '<em>UHF Comm Subsystem</em>' class. 604 * The number of structural features of the '<em>UHF Comm Subsystem</em>' class.
568 * <!-- begin-user-doc --> 605 * <!-- begin-user-doc -->
569 * <!-- end-user-doc --> 606 * <!-- end-user-doc -->
@@ -601,6 +638,24 @@ public interface SatellitePackage extends EPackage {
601 int XCOMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET; 638 int XCOMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET;
602 639
603 /** 640 /**
641 * The feature id for the '<em><b>Frequency</b></em>' attribute.
642 * <!-- begin-user-doc -->
643 * <!-- end-user-doc -->
644 * @generated
645 * @ordered
646 */
647 int XCOMM_SUBSYSTEM__FREQUENCY = COMM_SUBSYSTEM__FREQUENCY;
648
649 /**
650 * The feature id for the '<em><b>Path Length</b></em>' attribute.
651 * <!-- begin-user-doc -->
652 * <!-- end-user-doc -->
653 * @generated
654 * @ordered
655 */
656 int XCOMM_SUBSYSTEM__PATH_LENGTH = COMM_SUBSYSTEM__PATH_LENGTH;
657
658 /**
604 * The number of structural features of the '<em>XComm Subsystem</em>' class. 659 * The number of structural features of the '<em>XComm Subsystem</em>' class.
605 * <!-- begin-user-doc --> 660 * <!-- begin-user-doc -->
606 * <!-- end-user-doc --> 661 * <!-- end-user-doc -->
@@ -638,6 +693,24 @@ public interface SatellitePackage extends EPackage {
638 int KA_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET; 693 int KA_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET;
639 694
640 /** 695 /**
696 * The feature id for the '<em><b>Frequency</b></em>' attribute.
697 * <!-- begin-user-doc -->
698 * <!-- end-user-doc -->
699 * @generated
700 * @ordered
701 */
702 int KA_COMM_SUBSYSTEM__FREQUENCY = COMM_SUBSYSTEM__FREQUENCY;
703
704 /**
705 * The feature id for the '<em><b>Path Length</b></em>' attribute.
706 * <!-- begin-user-doc -->
707 * <!-- end-user-doc -->
708 * @generated
709 * @ordered
710 */
711 int KA_COMM_SUBSYSTEM__PATH_LENGTH = COMM_SUBSYSTEM__PATH_LENGTH;
712
713 /**
641 * The number of structural features of the '<em>Ka Comm Subsystem</em>' class. 714 * The number of structural features of the '<em>Ka Comm Subsystem</em>' class.
642 * <!-- begin-user-doc --> 715 * <!-- begin-user-doc -->
643 * <!-- end-user-doc --> 716 * <!-- end-user-doc -->
@@ -771,6 +844,28 @@ public interface SatellitePackage extends EPackage {
771 EReference getCommSubsystem_Target(); 844 EReference getCommSubsystem_Target();
772 845
773 /** 846 /**
847 * Returns the meta object for the attribute '{@link satellite.CommSubsystem#getFrequency <em>Frequency</em>}'.
848 * <!-- begin-user-doc -->
849 * <!-- end-user-doc -->
850 * @return the meta object for the attribute '<em>Frequency</em>'.
851 * @see satellite.CommSubsystem#getFrequency()
852 * @see #getCommSubsystem()
853 * @generated
854 */
855 EAttribute getCommSubsystem_Frequency();
856
857 /**
858 * Returns the meta object for the attribute '{@link satellite.CommSubsystem#getPathLength <em>Path Length</em>}'.
859 * <!-- begin-user-doc -->
860 * <!-- end-user-doc -->
861 * @return the meta object for the attribute '<em>Path Length</em>'.
862 * @see satellite.CommSubsystem#getPathLength()
863 * @see #getCommSubsystem()
864 * @generated
865 */
866 EAttribute getCommSubsystem_PathLength();
867
868 /**
774 * Returns the meta object for class '{@link satellite.Payload <em>Payload</em>}'. 869 * Returns the meta object for class '{@link satellite.Payload <em>Payload</em>}'.
775 * <!-- begin-user-doc --> 870 * <!-- begin-user-doc -->
776 * <!-- end-user-doc --> 871 * <!-- end-user-doc -->
@@ -985,6 +1080,22 @@ public interface SatellitePackage extends EPackage {
985 EReference COMM_SUBSYSTEM__TARGET = eINSTANCE.getCommSubsystem_Target(); 1080 EReference COMM_SUBSYSTEM__TARGET = eINSTANCE.getCommSubsystem_Target();
986 1081
987 /** 1082 /**
1083 * The meta object literal for the '<em><b>Frequency</b></em>' attribute feature.
1084 * <!-- begin-user-doc -->
1085 * <!-- end-user-doc -->
1086 * @generated
1087 */
1088 EAttribute COMM_SUBSYSTEM__FREQUENCY = eINSTANCE.getCommSubsystem_Frequency();
1089
1090 /**
1091 * The meta object literal for the '<em><b>Path Length</b></em>' attribute feature.
1092 * <!-- begin-user-doc -->
1093 * <!-- end-user-doc -->
1094 * @generated
1095 */
1096 EAttribute COMM_SUBSYSTEM__PATH_LENGTH = eINSTANCE.getCommSubsystem_PathLength();
1097
1098 /**
988 * The meta object literal for the '{@link satellite.impl.PayloadImpl <em>Payload</em>}' class. 1099 * The meta object literal for the '{@link satellite.impl.PayloadImpl <em>Payload</em>}' class.
989 * <!-- begin-user-doc --> 1100 * <!-- begin-user-doc -->
990 * <!-- end-user-doc --> 1101 * <!-- end-user-doc -->
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java
index d39abd4d..96a25d7c 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java
@@ -19,6 +19,8 @@ import satellite.SatellitePackage;
19 * </p> 19 * </p>
20 * <ul> 20 * <ul>
21 * <li>{@link satellite.impl.CommSubsystemImpl#getTarget <em>Target</em>}</li> 21 * <li>{@link satellite.impl.CommSubsystemImpl#getTarget <em>Target</em>}</li>
22 * <li>{@link satellite.impl.CommSubsystemImpl#getFrequency <em>Frequency</em>}</li>
23 * <li>{@link satellite.impl.CommSubsystemImpl#getPathLength <em>Path Length</em>}</li>
22 * </ul> 24 * </ul>
23 * 25 *
24 * @generated 26 * @generated
@@ -35,6 +37,45 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
35 protected CommSubsystem target; 37 protected CommSubsystem target;
36 38
37 /** 39 /**
40 * The default value of the '{@link #getFrequency() <em>Frequency</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @see #getFrequency()
44 * @generated
45 * @ordered
46 */
47 protected static final int FREQUENCY_EDEFAULT = 0;
48 /**
49 * The cached value of the '{@link #getFrequency() <em>Frequency</em>}' attribute.
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @see #getFrequency()
53 * @generated
54 * @ordered
55 */
56 protected int frequency = FREQUENCY_EDEFAULT;
57
58 /**
59 * The default value of the '{@link #getPathLength() <em>Path Length</em>}' attribute.
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @see #getPathLength()
63 * @generated
64 * @ordered
65 */
66 protected static final int PATH_LENGTH_EDEFAULT = 0;
67
68 /**
69 * The cached value of the '{@link #getPathLength() <em>Path Length</em>}' attribute.
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @see #getPathLength()
73 * @generated
74 * @ordered
75 */
76 protected int pathLength = PATH_LENGTH_EDEFAULT;
77
78 /**
38 * <!-- begin-user-doc --> 79 * <!-- begin-user-doc -->
39 * <!-- end-user-doc --> 80 * <!-- end-user-doc -->
40 * @generated 81 * @generated
@@ -101,12 +142,64 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
101 * @generated 142 * @generated
102 */ 143 */
103 @Override 144 @Override
145 public int getFrequency() {
146 return frequency;
147 }
148
149 /**
150 * <!-- begin-user-doc -->
151 * <!-- end-user-doc -->
152 * @generated
153 */
154 @Override
155 public void setFrequency(int newFrequency) {
156 int oldFrequency = frequency;
157 frequency = newFrequency;
158 if (eNotificationRequired())
159 eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.COMM_SUBSYSTEM__FREQUENCY,
160 oldFrequency, frequency));
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @Override
169 public int getPathLength() {
170 return pathLength;
171 }
172
173 /**
174 * <!-- begin-user-doc -->
175 * <!-- end-user-doc -->
176 * @generated
177 */
178 @Override
179 public void setPathLength(int newPathLength) {
180 int oldPathLength = pathLength;
181 pathLength = newPathLength;
182 if (eNotificationRequired())
183 eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.COMM_SUBSYSTEM__PATH_LENGTH,
184 oldPathLength, pathLength));
185 }
186
187 /**
188 * <!-- begin-user-doc -->
189 * <!-- end-user-doc -->
190 * @generated
191 */
192 @Override
104 public Object eGet(int featureID, boolean resolve, boolean coreType) { 193 public Object eGet(int featureID, boolean resolve, boolean coreType) {
105 switch (featureID) { 194 switch (featureID) {
106 case SatellitePackage.COMM_SUBSYSTEM__TARGET: 195 case SatellitePackage.COMM_SUBSYSTEM__TARGET:
107 if (resolve) 196 if (resolve)
108 return getTarget(); 197 return getTarget();
109 return basicGetTarget(); 198 return basicGetTarget();
199 case SatellitePackage.COMM_SUBSYSTEM__FREQUENCY:
200 return getFrequency();
201 case SatellitePackage.COMM_SUBSYSTEM__PATH_LENGTH:
202 return getPathLength();
110 } 203 }
111 return super.eGet(featureID, resolve, coreType); 204 return super.eGet(featureID, resolve, coreType);
112 } 205 }
@@ -123,6 +216,12 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
123 case SatellitePackage.COMM_SUBSYSTEM__TARGET: 216 case SatellitePackage.COMM_SUBSYSTEM__TARGET:
124 setTarget((CommSubsystem) newValue); 217 setTarget((CommSubsystem) newValue);
125 return; 218 return;
219 case SatellitePackage.COMM_SUBSYSTEM__FREQUENCY:
220 setFrequency((Integer) newValue);
221 return;
222 case SatellitePackage.COMM_SUBSYSTEM__PATH_LENGTH:
223 setPathLength((Integer) newValue);
224 return;
126 } 225 }
127 super.eSet(featureID, newValue); 226 super.eSet(featureID, newValue);
128 } 227 }
@@ -138,6 +237,12 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
138 case SatellitePackage.COMM_SUBSYSTEM__TARGET: 237 case SatellitePackage.COMM_SUBSYSTEM__TARGET:
139 setTarget((CommSubsystem) null); 238 setTarget((CommSubsystem) null);
140 return; 239 return;
240 case SatellitePackage.COMM_SUBSYSTEM__FREQUENCY:
241 setFrequency(FREQUENCY_EDEFAULT);
242 return;
243 case SatellitePackage.COMM_SUBSYSTEM__PATH_LENGTH:
244 setPathLength(PATH_LENGTH_EDEFAULT);
245 return;
141 } 246 }
142 super.eUnset(featureID); 247 super.eUnset(featureID);
143 } 248 }
@@ -152,8 +257,31 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
152 switch (featureID) { 257 switch (featureID) {
153 case SatellitePackage.COMM_SUBSYSTEM__TARGET: 258 case SatellitePackage.COMM_SUBSYSTEM__TARGET:
154 return target != null; 259 return target != null;
260 case SatellitePackage.COMM_SUBSYSTEM__FREQUENCY:
261 return frequency != FREQUENCY_EDEFAULT;
262 case SatellitePackage.COMM_SUBSYSTEM__PATH_LENGTH:
263 return pathLength != PATH_LENGTH_EDEFAULT;
155 } 264 }
156 return super.eIsSet(featureID); 265 return super.eIsSet(featureID);
157 } 266 }
158 267
268 /**
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @generated
272 */
273 @Override
274 public String toString() {
275 if (eIsProxy())
276 return super.toString();
277
278 StringBuilder result = new StringBuilder(super.toString());
279 result.append(" (frequency: ");
280 result.append(frequency);
281 result.append(", pathLength: ");
282 result.append(pathLength);
283 result.append(')');
284 return result.toString();
285 }
286
159} //CommSubsystemImpl 287} //CommSubsystemImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java
index f6dc1e30..39a6075f 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java
@@ -2,6 +2,7 @@
2 */ 2 */
3package satellite.impl; 3package satellite.impl;
4 4
5import org.eclipse.emf.ecore.EAttribute;
5import org.eclipse.emf.ecore.EClass; 6import org.eclipse.emf.ecore.EClass;
6import org.eclipse.emf.ecore.EPackage; 7import org.eclipse.emf.ecore.EPackage;
7import org.eclipse.emf.ecore.EReference; 8import org.eclipse.emf.ecore.EReference;
@@ -317,6 +318,26 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
317 * @generated 318 * @generated
318 */ 319 */
319 @Override 320 @Override
321 public EAttribute getCommSubsystem_Frequency() {
322 return (EAttribute) commSubsystemEClass.getEStructuralFeatures().get(1);
323 }
324
325 /**
326 * <!-- begin-user-doc -->
327 * <!-- end-user-doc -->
328 * @generated
329 */
330 @Override
331 public EAttribute getCommSubsystem_PathLength() {
332 return (EAttribute) commSubsystemEClass.getEStructuralFeatures().get(2);
333 }
334
335 /**
336 * <!-- begin-user-doc -->
337 * <!-- end-user-doc -->
338 * @generated
339 */
340 @Override
320 public EClass getPayload() { 341 public EClass getPayload() {
321 return payloadEClass; 342 return payloadEClass;
322 } 343 }
@@ -447,6 +468,8 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
447 468
448 commSubsystemEClass = createEClass(COMM_SUBSYSTEM); 469 commSubsystemEClass = createEClass(COMM_SUBSYSTEM);
449 createEReference(commSubsystemEClass, COMM_SUBSYSTEM__TARGET); 470 createEReference(commSubsystemEClass, COMM_SUBSYSTEM__TARGET);
471 createEAttribute(commSubsystemEClass, COMM_SUBSYSTEM__FREQUENCY);
472 createEAttribute(commSubsystemEClass, COMM_SUBSYSTEM__PATH_LENGTH);
450 473
451 payloadEClass = createEClass(PAYLOAD); 474 payloadEClass = createEClass(PAYLOAD);
452 475
@@ -541,6 +564,12 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
541 initEReference(getCommSubsystem_Target(), this.getCommSubsystem(), null, "target", null, 0, 1, 564 initEReference(getCommSubsystem_Target(), this.getCommSubsystem(), null, "target", null, 0, 1,
542 CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, 565 CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES,
543 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 566 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
567 initEAttribute(getCommSubsystem_Frequency(), ecorePackage.getEInt(), "frequency", null, 1, 1,
568 CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
569 !IS_DERIVED, IS_ORDERED);
570 initEAttribute(getCommSubsystem_PathLength(), ecorePackage.getEInt(), "pathLength", null, 1, 1,
571 CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
572 !IS_DERIVED, IS_ORDERED);
544 573
545 initEClass(payloadEClass, Payload.class, "Payload", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 574 initEClass(payloadEClass, Payload.class, "Payload", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
546 575
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird
new file mode 100644
index 00000000..23e8b463
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird
@@ -0,0 +1,796 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style">
3 <viewpoint:DAnalysis uid="_7bw1kJL8EeqASt_f1N53dA" selectedViews="_7hH2sJL8EeqASt_f1N53dA _7haKkJL8EeqASt_f1N53dA _7hcm0JL8EeqASt_f1N53dA _7hkioJL8EeqASt_f1N53dA" version="14.1.0.201810161215">
4 <semanticResources>satellite.ecore</semanticResources>
5 <semanticResources>satellite.genmodel</semanticResources>
6 <ownedViews xmi:type="viewpoint:DView" uid="_7hH2sJL8EeqASt_f1N53dA">
7 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
8 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_8OViAJL8EeqASt_f1N53dA" name="satellite class diagram" repPath="#_8NoXYJL8EeqASt_f1N53dA">
9 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
10 <target xmi:type="ecore:EPackage" href="satellite.ecore#/"/>
11 </ownedRepresentationDescriptors>
12 </ownedViews>
13 <ownedViews xmi:type="viewpoint:DView" uid="_7haKkJL8EeqASt_f1N53dA">
14 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
15 </ownedViews>
16 <ownedViews xmi:type="viewpoint:DView" uid="_7hcm0JL8EeqASt_f1N53dA">
17 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
18 </ownedViews>
19 <ownedViews xmi:type="viewpoint:DView" uid="_7hkioJL8EeqASt_f1N53dA">
20 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>
21 </ownedViews>
22 </viewpoint:DAnalysis>
23 <diagram:DSemanticDiagram uid="_8NoXYJL8EeqASt_f1N53dA" name="satellite class diagram">
24 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_8OM_IJL8EeqASt_f1N53dA" source="DANNOTATION_CUSTOMIZATION_KEY">
25 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_8OM_IZL8EeqASt_f1N53dA">
26 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_855AcJL8EeqASt_f1N53dA" sourceArrow="FillDiamond" routingStyle="manhattan">
27 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
28 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_855AcZL8EeqASt_f1N53dA" showIcon="false" labelExpression="service:render">
29 <labelFormat>bold</labelFormat>
30 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
31 </centerLabelStyleDescription>
32 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_855AcpL8EeqASt_f1N53dA" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
33 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
34 </endLabelStyleDescription>
35 </computedStyleDescriptions>
36 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_858q0JL8EeqASt_f1N53dA" sourceArrow="FillDiamond" routingStyle="manhattan">
37 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
38 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_858q0ZL8EeqASt_f1N53dA" showIcon="false" labelExpression="service:render">
39 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
40 </centerLabelStyleDescription>
41 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_858q0pL8EeqASt_f1N53dA" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
42 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
43 </endLabelStyleDescription>
44 </computedStyleDescriptions>
45 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_gEoLsJMEEeqASt_f1N53dA" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
46 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
47 <labelFormat>bold</labelFormat>
48 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
49 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
50 </computedStyleDescriptions>
51 </data>
52 </ownedAnnotationEntries>
53 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_8OsHUJL8EeqASt_f1N53dA" source="GMF_DIAGRAMS">
54 <data xmi:type="notation:Diagram" xmi:id="_8OsuYJL8EeqASt_f1N53dA" type="Sirius" element="_8NoXYJL8EeqASt_f1N53dA" measurementUnit="Pixel">
55 <children xmi:type="notation:Node" xmi:id="_86UeQJL8EeqASt_f1N53dA" type="2003" element="_85BdwJL8EeqASt_f1N53dA">
56 <children xmi:type="notation:Node" xmi:id="_86VsYJL8EeqASt_f1N53dA" type="5007"/>
57 <children xmi:type="notation:Node" xmi:id="_86W6gJL8EeqASt_f1N53dA" type="7004">
58 <styles xmi:type="notation:SortingStyle" xmi:id="_86W6gZL8EeqASt_f1N53dA"/>
59 <styles xmi:type="notation:FilteringStyle" xmi:id="_86W6gpL8EeqASt_f1N53dA"/>
60 </children>
61 <styles xmi:type="notation:ShapeStyle" xmi:id="_86UeQZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8" italic="true"/>
62 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86UeQpL8EeqASt_f1N53dA" x="468" y="480"/>
63 </children>
64 <children xmi:type="notation:Node" xmi:id="_86XhkJL8EeqASt_f1N53dA" type="2003" element="_85FvMJL8EeqASt_f1N53dA">
65 <children xmi:type="notation:Node" xmi:id="_86YIoJL8EeqASt_f1N53dA" type="5007"/>
66 <children xmi:type="notation:Node" xmi:id="_86YIoZL8EeqASt_f1N53dA" type="7004">
67 <styles xmi:type="notation:SortingStyle" xmi:id="_86YIopL8EeqASt_f1N53dA"/>
68 <styles xmi:type="notation:FilteringStyle" xmi:id="_86YIo5L8EeqASt_f1N53dA"/>
69 </children>
70 <styles xmi:type="notation:ShapeStyle" xmi:id="_86XhkZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
71 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86XhkpL8EeqASt_f1N53dA" x="456" y="636"/>
72 </children>
73 <children xmi:type="notation:Node" xmi:id="_86YIpJL8EeqASt_f1N53dA" type="2003" element="_85G9UJL8EeqASt_f1N53dA">
74 <children xmi:type="notation:Node" xmi:id="_86YvsJL8EeqASt_f1N53dA" type="5007"/>
75 <children xmi:type="notation:Node" xmi:id="_86YvsZL8EeqASt_f1N53dA" type="7004">
76 <styles xmi:type="notation:SortingStyle" xmi:id="_86YvspL8EeqASt_f1N53dA"/>
77 <styles xmi:type="notation:FilteringStyle" xmi:id="_86Yvs5L8EeqASt_f1N53dA"/>
78 </children>
79 <styles xmi:type="notation:ShapeStyle" xmi:id="_86YIpZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8" italic="true"/>
80 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86YIppL8EeqASt_f1N53dA" x="552" y="156"/>
81 </children>
82 <children xmi:type="notation:Node" xmi:id="_86ZWwJL8EeqASt_f1N53dA" type="2003" element="_85ILcJL8EeqASt_f1N53dA">
83 <children xmi:type="notation:Node" xmi:id="_86Z90JL8EeqASt_f1N53dA" type="5007"/>
84 <children xmi:type="notation:Node" xmi:id="_86ak4JL8EeqASt_f1N53dA" type="7004">
85 <styles xmi:type="notation:SortingStyle" xmi:id="_86ak4ZL8EeqASt_f1N53dA"/>
86 <styles xmi:type="notation:FilteringStyle" xmi:id="_86ak4pL8EeqASt_f1N53dA"/>
87 </children>
88 <styles xmi:type="notation:ShapeStyle" xmi:id="_86ZWwZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
89 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86ZWwpL8EeqASt_f1N53dA" x="444" y="324"/>
90 </children>
91 <children xmi:type="notation:Node" xmi:id="_86ak45L8EeqASt_f1N53dA" type="2003" element="_85JZkJL8EeqASt_f1N53dA">
92 <children xmi:type="notation:Node" xmi:id="_86bL8JL8EeqASt_f1N53dA" type="5007"/>
93 <children xmi:type="notation:Node" xmi:id="_86bL8ZL8EeqASt_f1N53dA" type="7004">
94 <styles xmi:type="notation:SortingStyle" xmi:id="_86bL8pL8EeqASt_f1N53dA"/>
95 <styles xmi:type="notation:FilteringStyle" xmi:id="_86bL85L8EeqASt_f1N53dA"/>
96 </children>
97 <styles xmi:type="notation:ShapeStyle" xmi:id="_86ak5JL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8" italic="true"/>
98 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86ak5ZL8EeqASt_f1N53dA" x="648" y="324"/>
99 </children>
100 <children xmi:type="notation:Node" xmi:id="_86bL9JL8EeqASt_f1N53dA" type="2003" element="_85KnsJL8EeqASt_f1N53dA">
101 <children xmi:type="notation:Node" xmi:id="_86bzAJL8EeqASt_f1N53dA" type="5007"/>
102 <children xmi:type="notation:Node" xmi:id="_86caEJL8EeqASt_f1N53dA" type="7004">
103 <children xmi:type="notation:Node" xmi:id="_HoGPkJL9EeqASt_f1N53dA" type="3010" element="_HnfLkJL9EeqASt_f1N53dA">
104 <styles xmi:type="notation:FontStyle" xmi:id="_HoGPkZL9EeqASt_f1N53dA" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/>
105 <layoutConstraint xmi:type="notation:Location" xmi:id="_HoGPkpL9EeqASt_f1N53dA"/>
106 </children>
107 <styles xmi:type="notation:SortingStyle" xmi:id="_86caEZL8EeqASt_f1N53dA"/>
108 <styles xmi:type="notation:FilteringStyle" xmi:id="_86caEpL8EeqASt_f1N53dA"/>
109 </children>
110 <styles xmi:type="notation:ShapeStyle" xmi:id="_86bL9ZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8" italic="true"/>
111 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86bL9pL8EeqASt_f1N53dA" x="276"/>
112 </children>
113 <children xmi:type="notation:Node" xmi:id="_86caE5L8EeqASt_f1N53dA" type="2003" element="_85Mc4JL8EeqASt_f1N53dA">
114 <children xmi:type="notation:Node" xmi:id="_86dBIJL8EeqASt_f1N53dA" type="5007"/>
115 <children xmi:type="notation:Node" xmi:id="_86ePQJL8EeqASt_f1N53dA" type="7004">
116 <styles xmi:type="notation:SortingStyle" xmi:id="_86ePQZL8EeqASt_f1N53dA"/>
117 <styles xmi:type="notation:FilteringStyle" xmi:id="_86ePQpL8EeqASt_f1N53dA"/>
118 </children>
119 <styles xmi:type="notation:ShapeStyle" xmi:id="_86caFJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8" italic="true"/>
120 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86caFZL8EeqASt_f1N53dA" x="744" y="156"/>
121 </children>
122 <children xmi:type="notation:Node" xmi:id="_86e2UJL8EeqASt_f1N53dA" type="2003" element="_85NrAJL8EeqASt_f1N53dA">
123 <children xmi:type="notation:Node" xmi:id="_86gEcJL8EeqASt_f1N53dA" type="5007"/>
124 <children xmi:type="notation:Node" xmi:id="_86gEcZL8EeqASt_f1N53dA" type="7004">
125 <styles xmi:type="notation:SortingStyle" xmi:id="_86gEcpL8EeqASt_f1N53dA"/>
126 <styles xmi:type="notation:FilteringStyle" xmi:id="_86gEc5L8EeqASt_f1N53dA"/>
127 </children>
128 <styles xmi:type="notation:ShapeStyle" xmi:id="_86e2UZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
129 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86e2UpL8EeqASt_f1N53dA" x="828" y="324"/>
130 </children>
131 <children xmi:type="notation:Node" xmi:id="_86grgJL8EeqASt_f1N53dA" type="2003" element="_85PgMJL8EeqASt_f1N53dA">
132 <children xmi:type="notation:Node" xmi:id="_86hSkJL8EeqASt_f1N53dA" type="5007"/>
133 <children xmi:type="notation:Node" xmi:id="_86hSkZL8EeqASt_f1N53dA" type="7004">
134 <styles xmi:type="notation:SortingStyle" xmi:id="_86hSkpL8EeqASt_f1N53dA"/>
135 <styles xmi:type="notation:FilteringStyle" xmi:id="_86hSk5L8EeqASt_f1N53dA"/>
136 </children>
137 <styles xmi:type="notation:ShapeStyle" xmi:id="_86grgZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
138 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86grgpL8EeqASt_f1N53dA" x="648" y="636"/>
139 </children>
140 <children xmi:type="notation:Node" xmi:id="_86h5oJL8EeqASt_f1N53dA" type="2003" element="_85RVYJL8EeqASt_f1N53dA">
141 <children xmi:type="notation:Node" xmi:id="_86h5o5L8EeqASt_f1N53dA" type="5007"/>
142 <children xmi:type="notation:Node" xmi:id="_86igsJL8EeqASt_f1N53dA" type="7004">
143 <styles xmi:type="notation:SortingStyle" xmi:id="_86igsZL8EeqASt_f1N53dA"/>
144 <styles xmi:type="notation:FilteringStyle" xmi:id="_86igspL8EeqASt_f1N53dA"/>
145 </children>
146 <styles xmi:type="notation:ShapeStyle" xmi:id="_86h5oZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
147 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86h5opL8EeqASt_f1N53dA" x="828" y="636"/>
148 </children>
149 <children xmi:type="notation:Node" xmi:id="_86igs5L8EeqASt_f1N53dA" type="2003" element="_85SjgJL8EeqASt_f1N53dA">
150 <children xmi:type="notation:Node" xmi:id="_86jHwJL8EeqASt_f1N53dA" type="5007"/>
151 <children xmi:type="notation:Node" xmi:id="_86jHwZL8EeqASt_f1N53dA" type="7004">
152 <styles xmi:type="notation:SortingStyle" xmi:id="_86jHwpL8EeqASt_f1N53dA"/>
153 <styles xmi:type="notation:FilteringStyle" xmi:id="_86ju0JL8EeqASt_f1N53dA"/>
154 </children>
155 <styles xmi:type="notation:ShapeStyle" xmi:id="_86igtJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
156 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86igtZL8EeqASt_f1N53dA" x="828" y="480"/>
157 </children>
158 <children xmi:type="notation:Node" xmi:id="_86kV4JL8EeqASt_f1N53dA" type="2003" element="_85UYsJL8EeqASt_f1N53dA">
159 <children xmi:type="notation:Node" xmi:id="_86k88JL8EeqASt_f1N53dA" type="5007"/>
160 <children xmi:type="notation:Node" xmi:id="_86k88ZL8EeqASt_f1N53dA" type="7004">
161 <styles xmi:type="notation:SortingStyle" xmi:id="_86k88pL8EeqASt_f1N53dA"/>
162 <styles xmi:type="notation:FilteringStyle" xmi:id="_86k885L8EeqASt_f1N53dA"/>
163 </children>
164 <styles xmi:type="notation:ShapeStyle" xmi:id="_86kV4ZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8" italic="true"/>
165 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86kV4pL8EeqASt_f1N53dA" x="648" y="480"/>
166 </children>
167 <children xmi:type="notation:Node" xmi:id="_86lkAJL8EeqASt_f1N53dA" type="2003" element="_85WN4JL8EeqASt_f1N53dA">
168 <children xmi:type="notation:Node" xmi:id="_86myIJL8EeqASt_f1N53dA" type="5007"/>
169 <children xmi:type="notation:Node" xmi:id="_86myIZL8EeqASt_f1N53dA" type="7004">
170 <styles xmi:type="notation:SortingStyle" xmi:id="_86myIpL8EeqASt_f1N53dA"/>
171 <styles xmi:type="notation:FilteringStyle" xmi:id="_86myI5L8EeqASt_f1N53dA"/>
172 </children>
173 <styles xmi:type="notation:ShapeStyle" xmi:id="_86lkAZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
174 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86lkApL8EeqASt_f1N53dA" x="180" y="156"/>
175 </children>
176 <children xmi:type="notation:Node" xmi:id="_86nZMJL8EeqASt_f1N53dA" type="2003" element="_85XcAJL8EeqASt_f1N53dA">
177 <children xmi:type="notation:Node" xmi:id="_86nZM5L8EeqASt_f1N53dA" type="5007"/>
178 <children xmi:type="notation:Node" xmi:id="_86oAQJL8EeqASt_f1N53dA" type="7004">
179 <styles xmi:type="notation:SortingStyle" xmi:id="_86oAQZL8EeqASt_f1N53dA"/>
180 <styles xmi:type="notation:FilteringStyle" xmi:id="_86oAQpL8EeqASt_f1N53dA"/>
181 </children>
182 <styles xmi:type="notation:ShapeStyle" xmi:id="_86nZMZL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
183 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86nZMpL8EeqASt_f1N53dA" x="372" y="156"/>
184 </children>
185 <children xmi:type="notation:Node" xmi:id="_86oAQ5L8EeqASt_f1N53dA" type="2003" element="_85YqIJL8EeqASt_f1N53dA">
186 <children xmi:type="notation:Node" xmi:id="_86onUJL8EeqASt_f1N53dA" type="5007"/>
187 <children xmi:type="notation:Node" xmi:id="_86onUZL8EeqASt_f1N53dA" type="7004">
188 <styles xmi:type="notation:SortingStyle" xmi:id="_86onUpL8EeqASt_f1N53dA"/>
189 <styles xmi:type="notation:FilteringStyle" xmi:id="_86onU5L8EeqASt_f1N53dA"/>
190 </children>
191 <styles xmi:type="notation:ShapeStyle" xmi:id="_86oARJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
192 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86oARZL8EeqASt_f1N53dA" y="156"/>
193 </children>
194 <styles xmi:type="notation:DiagramStyle" xmi:id="_8OsuYZL8EeqASt_f1N53dA"/>
195 <edges xmi:type="notation:Edge" xmi:id="_86sRsJL8EeqASt_f1N53dA" type="4001" element="_853yUJL8EeqASt_f1N53dA" source="_86UeQJL8EeqASt_f1N53dA" target="_86ZWwJL8EeqASt_f1N53dA">
196 <children xmi:type="notation:Node" xmi:id="_86uG4JL8EeqASt_f1N53dA" type="6001">
197 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86uG4ZL8EeqASt_f1N53dA" y="-10"/>
198 </children>
199 <children xmi:type="notation:Node" xmi:id="_86vVAJL8EeqASt_f1N53dA" type="6002">
200 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86vVAZL8EeqASt_f1N53dA" y="10"/>
201 </children>
202 <children xmi:type="notation:Node" xmi:id="_86v8EJL8EeqASt_f1N53dA" type="6003">
203 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86v8EZL8EeqASt_f1N53dA" y="10"/>
204 </children>
205 <styles xmi:type="notation:ConnectorStyle" xmi:id="_86sRsZL8EeqASt_f1N53dA" routing="Rectilinear"/>
206 <styles xmi:type="notation:FontStyle" xmi:id="_86sRspL8EeqASt_f1N53dA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
207 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_86sRs5L8EeqASt_f1N53dA" points="[0, -50, 4, 110]$[-4, -110, 0, 50]"/>
208 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_862CsJL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
209 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_862CsZL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
210 </edges>
211 <edges xmi:type="notation:Edge" xmi:id="_862pwJL8EeqASt_f1N53dA" type="4001" element="_855ng5L8EeqASt_f1N53dA" source="_86UeQJL8EeqASt_f1N53dA" target="_86ak45L8EeqASt_f1N53dA">
212 <children xmi:type="notation:Node" xmi:id="_862pxJL8EeqASt_f1N53dA" type="6001">
213 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_862pxZL8EeqASt_f1N53dA" y="-10"/>
214 </children>
215 <children xmi:type="notation:Node" xmi:id="_863Q0JL8EeqASt_f1N53dA" type="6002">
216 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_863Q0ZL8EeqASt_f1N53dA" y="10"/>
217 </children>
218 <children xmi:type="notation:Node" xmi:id="_863Q0pL8EeqASt_f1N53dA" type="6003">
219 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_863Q05L8EeqASt_f1N53dA" y="10"/>
220 </children>
221 <styles xmi:type="notation:ConnectorStyle" xmi:id="_862pwZL8EeqASt_f1N53dA" routing="Rectilinear"/>
222 <styles xmi:type="notation:FontStyle" xmi:id="_862pwpL8EeqASt_f1N53dA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
223 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_862pw5L8EeqASt_f1N53dA" points="[0, -50, -188, 110]$[188, -110, 0, 50]"/>
224 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_863Q1JL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
225 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_863Q1ZL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
226 </edges>
227 <edges xmi:type="notation:Edge" xmi:id="_863Q1pL8EeqASt_f1N53dA" type="4001" element="_8561ppL8EeqASt_f1N53dA" source="_86YIpJL8EeqASt_f1N53dA" target="_86bL9JL8EeqASt_f1N53dA">
228 <children xmi:type="notation:Node" xmi:id="_86334JL8EeqASt_f1N53dA" type="6001">
229 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86334ZL8EeqASt_f1N53dA" y="10"/>
230 </children>
231 <children xmi:type="notation:Node" xmi:id="_86334pL8EeqASt_f1N53dA" type="6002">
232 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_863345L8EeqASt_f1N53dA" x="32" y="-157"/>
233 </children>
234 <children xmi:type="notation:Node" xmi:id="_86335JL8EeqASt_f1N53dA" type="6003">
235 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86335ZL8EeqASt_f1N53dA" x="15" y="10"/>
236 </children>
237 <styles xmi:type="notation:ConnectorStyle" xmi:id="_863Q15L8EeqASt_f1N53dA" routing="Rectilinear"/>
238 <styles xmi:type="notation:FontStyle" xmi:id="_863Q2JL8EeqASt_f1N53dA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
239 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_863Q2ZL8EeqASt_f1N53dA" points="[53, -49, 337, 107]$[53, -124, 337, 32]$[-225, -124, 59, 32]"/>
240 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_864e8JL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
241 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_864e8ZL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
242 </edges>
243 <edges xmi:type="notation:Edge" xmi:id="_864e8pL8EeqASt_f1N53dA" type="4001" element="_858DxpL8EeqASt_f1N53dA" source="_86ak45L8EeqASt_f1N53dA" target="_86caE5L8EeqASt_f1N53dA">
244 <children xmi:type="notation:Node" xmi:id="_865GAJL8EeqASt_f1N53dA" type="6001">
245 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_865GAZL8EeqASt_f1N53dA" y="-10"/>
246 </children>
247 <children xmi:type="notation:Node" xmi:id="_865GApL8EeqASt_f1N53dA" type="6002">
248 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_865GA5L8EeqASt_f1N53dA" y="10"/>
249 </children>
250 <children xmi:type="notation:Node" xmi:id="_865GBJL8EeqASt_f1N53dA" type="6003">
251 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_865GBZL8EeqASt_f1N53dA" y="10"/>
252 </children>
253 <styles xmi:type="notation:ConnectorStyle" xmi:id="_864e85L8EeqASt_f1N53dA" routing="Rectilinear"/>
254 <styles xmi:type="notation:FontStyle" xmi:id="_864e9JL8EeqASt_f1N53dA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
255 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_864e9ZL8EeqASt_f1N53dA" points="[-1, 0, -96, 60]$[94, -60, -1, 0]"/>
256 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_866UIJL8EeqASt_f1N53dA" id="(0.5084745762711864,0.0)"/>
257 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_866UIZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
258 </edges>
259 <edges xmi:type="notation:Edge" xmi:id="_866UIpL8EeqASt_f1N53dA" type="4001" element="_859R5pL8EeqASt_f1N53dA" source="_86bL9JL8EeqASt_f1N53dA" target="_86bL9JL8EeqASt_f1N53dA">
260 <children xmi:type="notation:Node" xmi:id="_8667MJL8EeqASt_f1N53dA" type="6001">
261 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8667MZL8EeqASt_f1N53dA" x="31" y="-2"/>
262 </children>
263 <children xmi:type="notation:Node" xmi:id="_8667MpL8EeqASt_f1N53dA" type="6002">
264 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8667M5L8EeqASt_f1N53dA" x="11" y="10"/>
265 </children>
266 <children xmi:type="notation:Node" xmi:id="_8667NJL8EeqASt_f1N53dA" type="6003">
267 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8667NZL8EeqASt_f1N53dA" y="-10"/>
268 </children>
269 <styles xmi:type="notation:ConnectorStyle" xmi:id="_866UI5L8EeqASt_f1N53dA" routing="Rectilinear"/>
270 <styles xmi:type="notation:FontStyle" xmi:id="_866UJJL8EeqASt_f1N53dA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
271 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_866UJZL8EeqASt_f1N53dA" points="[59, 24, 59, 24]$[121, 24, 121, 24]$[121, -49, 121, -49]$[30, -49, 30, -49]"/>
272 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_867iQJL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
273 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_867iQZL8EeqASt_f1N53dA" id="(0.5,0.5)"/>
274 </edges>
275 <edges xmi:type="notation:Edge" xmi:id="_867iQpL8EeqASt_f1N53dA" type="4001" element="_85_HEJL8EeqASt_f1N53dA" source="_86ak45L8EeqASt_f1N53dA" target="_86YIpJL8EeqASt_f1N53dA">
276 <children xmi:type="notation:Node" xmi:id="_868JUJL8EeqASt_f1N53dA" type="6001">
277 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_868JUZL8EeqASt_f1N53dA" y="-10"/>
278 </children>
279 <children xmi:type="notation:Node" xmi:id="_868JUpL8EeqASt_f1N53dA" type="6002">
280 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_868JU5L8EeqASt_f1N53dA" y="10"/>
281 </children>
282 <children xmi:type="notation:Node" xmi:id="_868JVJL8EeqASt_f1N53dA" type="6003">
283 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_868JVZL8EeqASt_f1N53dA" y="10"/>
284 </children>
285 <styles xmi:type="notation:ConnectorStyle" xmi:id="_867iQ5L8EeqASt_f1N53dA" routing="Tree"/>
286 <styles xmi:type="notation:FontStyle" xmi:id="_867iRJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
287 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_867iRZL8EeqASt_f1N53dA" points="[-1, 0, 92, 60]$[-94, -60, -1, 0]"/>
288 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_868wYJL8EeqASt_f1N53dA" id="(0.5084745762711864,0.0)"/>
289 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_868wYZL8EeqASt_f1N53dA" id="(0.5074626865671642,1.0)"/>
290 </edges>
291 <edges xmi:type="notation:Edge" xmi:id="_868wYpL8EeqASt_f1N53dA" type="4001" element="_86BjU5L8EeqASt_f1N53dA" source="_86h5oJL8EeqASt_f1N53dA" target="_86kV4JL8EeqASt_f1N53dA">
292 <children xmi:type="notation:Node" xmi:id="_869XcJL8EeqASt_f1N53dA" type="6001">
293 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_869XcZL8EeqASt_f1N53dA" y="-10"/>
294 </children>
295 <children xmi:type="notation:Node" xmi:id="_869XcpL8EeqASt_f1N53dA" type="6002">
296 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_869Xc5L8EeqASt_f1N53dA" y="10"/>
297 </children>
298 <children xmi:type="notation:Node" xmi:id="_869XdJL8EeqASt_f1N53dA" type="6003">
299 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_869XdZL8EeqASt_f1N53dA" y="10"/>
300 </children>
301 <styles xmi:type="notation:ConnectorStyle" xmi:id="_868wY5L8EeqASt_f1N53dA" routing="Tree"/>
302 <styles xmi:type="notation:FontStyle" xmi:id="_868wZJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
303 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_868wZZL8EeqASt_f1N53dA" points="[-1, 0, 179, 60]$[-181, -60, -1, 0]"/>
304 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_869-gJL8EeqASt_f1N53dA" id="(0.5084745762711864,0.0)"/>
305 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_869-gZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
306 </edges>
307 <edges xmi:type="notation:Edge" xmi:id="_869-gpL8EeqASt_f1N53dA" type="4001" element="_86DYgJL8EeqASt_f1N53dA" source="_86e2UJL8EeqASt_f1N53dA" target="_86caE5L8EeqASt_f1N53dA">
308 <children xmi:type="notation:Node" xmi:id="_869-hpL8EeqASt_f1N53dA" type="6001">
309 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_869-h5L8EeqASt_f1N53dA" y="-10"/>
310 </children>
311 <children xmi:type="notation:Node" xmi:id="_86-lkJL8EeqASt_f1N53dA" type="6002">
312 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86-lkZL8EeqASt_f1N53dA" y="10"/>
313 </children>
314 <children xmi:type="notation:Node" xmi:id="_86-lkpL8EeqASt_f1N53dA" type="6003">
315 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86-lk5L8EeqASt_f1N53dA" y="10"/>
316 </children>
317 <styles xmi:type="notation:ConnectorStyle" xmi:id="_869-g5L8EeqASt_f1N53dA" routing="Tree"/>
318 <styles xmi:type="notation:FontStyle" xmi:id="_869-hJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
319 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_869-hZL8EeqASt_f1N53dA" points="[-1, 0, 92, 60]$[-94, -60, -1, 0]"/>
320 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_86-llJL8EeqASt_f1N53dA" id="(0.5074626865671642,0.0)"/>
321 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_86-llZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
322 </edges>
323 <edges xmi:type="notation:Edge" xmi:id="_86-llpL8EeqASt_f1N53dA" type="4001" element="_86D_lpL8EeqASt_f1N53dA" source="_86grgJL8EeqASt_f1N53dA" target="_86kV4JL8EeqASt_f1N53dA">
324 <children xmi:type="notation:Node" xmi:id="_86_MoJL8EeqASt_f1N53dA" type="6001">
325 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86_MoZL8EeqASt_f1N53dA" y="-10"/>
326 </children>
327 <children xmi:type="notation:Node" xmi:id="_86_MopL8EeqASt_f1N53dA" type="6002">
328 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86_Mo5L8EeqASt_f1N53dA" y="10"/>
329 </children>
330 <children xmi:type="notation:Node" xmi:id="_86_MpJL8EeqASt_f1N53dA" type="6003">
331 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_86_MpZL8EeqASt_f1N53dA" y="10"/>
332 </children>
333 <styles xmi:type="notation:ConnectorStyle" xmi:id="_86-ll5L8EeqASt_f1N53dA" routing="Tree"/>
334 <styles xmi:type="notation:FontStyle" xmi:id="_86-lmJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
335 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_86-lmZL8EeqASt_f1N53dA" points="[-1, 0, -1, 60]$[-1, -60, -1, 0]"/>
336 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_86_zsJL8EeqASt_f1N53dA" id="(0.5084745762711864,0.0)"/>
337 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_86_zsZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
338 </edges>
339 <edges xmi:type="notation:Edge" xmi:id="_87AawJL8EeqASt_f1N53dA" type="4001" element="_86FNs5L8EeqASt_f1N53dA" source="_86kV4JL8EeqASt_f1N53dA" target="_86ak45L8EeqASt_f1N53dA">
340 <children xmi:type="notation:Node" xmi:id="_87AaxJL8EeqASt_f1N53dA" type="6001">
341 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87AaxZL8EeqASt_f1N53dA" y="-10"/>
342 </children>
343 <children xmi:type="notation:Node" xmi:id="_87AaxpL8EeqASt_f1N53dA" type="6002">
344 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87Aax5L8EeqASt_f1N53dA" y="10"/>
345 </children>
346 <children xmi:type="notation:Node" xmi:id="_87AayJL8EeqASt_f1N53dA" type="6003">
347 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87AayZL8EeqASt_f1N53dA" y="10"/>
348 </children>
349 <styles xmi:type="notation:ConnectorStyle" xmi:id="_87AawZL8EeqASt_f1N53dA" routing="Tree"/>
350 <styles xmi:type="notation:FontStyle" xmi:id="_87AawpL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
351 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_87Aaw5L8EeqASt_f1N53dA" points="[-1, 0, -1, 60]$[-1, -60, -1, 0]"/>
352 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87BB0JL8EeqASt_f1N53dA" id="(0.5084745762711864,0.0)"/>
353 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87BB0ZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
354 </edges>
355 <edges xmi:type="notation:Edge" xmi:id="_87BB0pL8EeqASt_f1N53dA" type="4001" element="_86Gb05L8EeqASt_f1N53dA" source="_86lkAJL8EeqASt_f1N53dA" target="_86bL9JL8EeqASt_f1N53dA">
356 <children xmi:type="notation:Node" xmi:id="_87Bo4JL8EeqASt_f1N53dA" type="6001">
357 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87Bo4ZL8EeqASt_f1N53dA" y="-10"/>
358 </children>
359 <children xmi:type="notation:Node" xmi:id="_87Bo4pL8EeqASt_f1N53dA" type="6002">
360 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87Bo45L8EeqASt_f1N53dA" y="10"/>
361 </children>
362 <children xmi:type="notation:Node" xmi:id="_87Bo5JL8EeqASt_f1N53dA" type="6003">
363 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87Bo5ZL8EeqASt_f1N53dA" y="10"/>
364 </children>
365 <styles xmi:type="notation:ConnectorStyle" xmi:id="_87BB05L8EeqASt_f1N53dA" routing="Tree"/>
366 <styles xmi:type="notation:FontStyle" xmi:id="_87BB1JL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
367 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_87BB1ZL8EeqASt_f1N53dA" points="[-1, 0, -95, 60]$[93, -60, -1, 0]"/>
368 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87CP8JL8EeqASt_f1N53dA" id="(0.5038759689922481,0.0)"/>
369 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87CP8ZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
370 </edges>
371 <edges xmi:type="notation:Edge" xmi:id="_87CP8pL8EeqASt_f1N53dA" type="4001" element="_86IRAJL8EeqASt_f1N53dA" source="_86oAQ5L8EeqASt_f1N53dA" target="_86bL9JL8EeqASt_f1N53dA">
372 <children xmi:type="notation:Node" xmi:id="_87C3AJL8EeqASt_f1N53dA" type="6001">
373 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87C3AZL8EeqASt_f1N53dA" y="-10"/>
374 </children>
375 <children xmi:type="notation:Node" xmi:id="_87C3ApL8EeqASt_f1N53dA" type="6002">
376 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87C3A5L8EeqASt_f1N53dA" y="10"/>
377 </children>
378 <children xmi:type="notation:Node" xmi:id="_87C3BJL8EeqASt_f1N53dA" type="6003">
379 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87C3BZL8EeqASt_f1N53dA" y="10"/>
380 </children>
381 <styles xmi:type="notation:ConnectorStyle" xmi:id="_87CP85L8EeqASt_f1N53dA" routing="Tree"/>
382 <styles xmi:type="notation:FontStyle" xmi:id="_87CP9JL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
383 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_87CP9ZL8EeqASt_f1N53dA" points="[-1, 0, -281, 60]$[279, -60, -1, 0]"/>
384 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87DeEJL8EeqASt_f1N53dA" id="(0.5042016806722689,0.0)"/>
385 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87DeEZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
386 </edges>
387 <edges xmi:type="notation:Edge" xmi:id="_87DeEpL8EeqASt_f1N53dA" type="4001" element="_86KGMJL8EeqASt_f1N53dA" source="_86igs5L8EeqASt_f1N53dA" target="_86ak45L8EeqASt_f1N53dA">
388 <children xmi:type="notation:Node" xmi:id="_87DeFpL8EeqASt_f1N53dA" type="6001">
389 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87DeF5L8EeqASt_f1N53dA" y="-10"/>
390 </children>
391 <children xmi:type="notation:Node" xmi:id="_87EFIJL8EeqASt_f1N53dA" type="6002">
392 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87EFIZL8EeqASt_f1N53dA" y="10"/>
393 </children>
394 <children xmi:type="notation:Node" xmi:id="_87EFIpL8EeqASt_f1N53dA" type="6003">
395 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87EFI5L8EeqASt_f1N53dA" y="10"/>
396 </children>
397 <styles xmi:type="notation:ConnectorStyle" xmi:id="_87DeE5L8EeqASt_f1N53dA" routing="Tree"/>
398 <styles xmi:type="notation:FontStyle" xmi:id="_87DeFJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
399 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_87DeFZL8EeqASt_f1N53dA" points="[-1, 0, 179, 60]$[-181, -60, -1, 0]"/>
400 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87EFJJL8EeqASt_f1N53dA" id="(0.5084745762711864,0.0)"/>
401 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87EFJZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
402 </edges>
403 <edges xmi:type="notation:Edge" xmi:id="_87EFJpL8EeqASt_f1N53dA" type="4001" element="_86L7YJL8EeqASt_f1N53dA" source="_86nZMJL8EeqASt_f1N53dA" target="_86bL9JL8EeqASt_f1N53dA">
404 <children xmi:type="notation:Node" xmi:id="_87EsMJL8EeqASt_f1N53dA" type="6001">
405 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87EsMZL8EeqASt_f1N53dA" y="-10"/>
406 </children>
407 <children xmi:type="notation:Node" xmi:id="_87FTQJL8EeqASt_f1N53dA" type="6002">
408 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87FTQZL8EeqASt_f1N53dA" y="10"/>
409 </children>
410 <children xmi:type="notation:Node" xmi:id="_87FTQpL8EeqASt_f1N53dA" type="6003">
411 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87FTQ5L8EeqASt_f1N53dA" y="10"/>
412 </children>
413 <styles xmi:type="notation:ConnectorStyle" xmi:id="_87EFJ5L8EeqASt_f1N53dA" routing="Tree"/>
414 <styles xmi:type="notation:FontStyle" xmi:id="_87EFKJL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
415 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_87EFKZL8EeqASt_f1N53dA" points="[-1, 0, 91, 60]$[-93, -60, -1, 0]"/>
416 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87FTRJL8EeqASt_f1N53dA" id="(0.5084745762711864,0.0)"/>
417 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87FTRZL8EeqASt_f1N53dA" id="(0.5084745762711864,1.0)"/>
418 </edges>
419 <edges xmi:type="notation:Edge" xmi:id="_87F6UJL8EeqASt_f1N53dA" type="4001" element="_86Mic5L8EeqASt_f1N53dA" source="_86ZWwJL8EeqASt_f1N53dA" target="_86YIpJL8EeqASt_f1N53dA">
420 <children xmi:type="notation:Node" xmi:id="_87F6VJL8EeqASt_f1N53dA" type="6001">
421 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87F6VZL8EeqASt_f1N53dA" y="-10"/>
422 </children>
423 <children xmi:type="notation:Node" xmi:id="_87F6VpL8EeqASt_f1N53dA" type="6002">
424 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87F6V5L8EeqASt_f1N53dA" y="10"/>
425 </children>
426 <children xmi:type="notation:Node" xmi:id="_87F6WJL8EeqASt_f1N53dA" type="6003">
427 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87GhYJL8EeqASt_f1N53dA" y="10"/>
428 </children>
429 <styles xmi:type="notation:ConnectorStyle" xmi:id="_87F6UZL8EeqASt_f1N53dA" routing="Tree"/>
430 <styles xmi:type="notation:FontStyle" xmi:id="_87F6UpL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
431 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_87F6U5L8EeqASt_f1N53dA" points="[-1, 0, -100, 60]$[98, -60, -1, 0]"/>
432 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87GhYZL8EeqASt_f1N53dA" id="(0.5070422535211268,0.0)"/>
433 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87GhYpL8EeqASt_f1N53dA" id="(0.5074626865671642,1.0)"/>
434 </edges>
435 <edges xmi:type="notation:Edge" xmi:id="_87HvgJL8EeqASt_f1N53dA" type="4001" element="_86Nwk5L8EeqASt_f1N53dA" source="_86XhkJL8EeqASt_f1N53dA" target="_86UeQJL8EeqASt_f1N53dA">
436 <children xmi:type="notation:Node" xmi:id="_87I9oJL8EeqASt_f1N53dA" type="6001">
437 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87I9oZL8EeqASt_f1N53dA" y="-10"/>
438 </children>
439 <children xmi:type="notation:Node" xmi:id="_87KLwJL8EeqASt_f1N53dA" type="6002">
440 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87KLwZL8EeqASt_f1N53dA" y="10"/>
441 </children>
442 <children xmi:type="notation:Node" xmi:id="_87Ky0JL8EeqASt_f1N53dA" type="6003">
443 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_87Ky0ZL8EeqASt_f1N53dA" y="10"/>
444 </children>
445 <styles xmi:type="notation:ConnectorStyle" xmi:id="_87HvgZL8EeqASt_f1N53dA" routing="Tree"/>
446 <styles xmi:type="notation:FontStyle" xmi:id="_87HvgpL8EeqASt_f1N53dA" fontName="Segoe UI" fontHeight="8"/>
447 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_87Hvg5L8EeqASt_f1N53dA" points="[-1, 0, -1, 60]$[-1, -60, -1, 0]"/>
448 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87LZ4JL8EeqASt_f1N53dA" id="(0.5074626865671642,0.0)"/>
449 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_87LZ4ZL8EeqASt_f1N53dA" id="(0.5042016806722689,1.0)"/>
450 </edges>
451 </data>
452 </ownedAnnotationEntries>
453 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85BdwJL8EeqASt_f1N53dA" name="ConstellationMission" tooltipText="" outgoingEdges="_853yUJL8EeqASt_f1N53dA _855ng5L8EeqASt_f1N53dA" incomingEdges="_86Nwk5L8EeqASt_f1N53dA" width="12" height="10">
454 <target xmi:type="ecore:EClass" href="satellite.ecore#//ConstellationMission"/>
455 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//ConstellationMission"/>
456 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85Cr4JL8EeqASt_f1N53dA" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
457 <labelFormat>italic</labelFormat>
458 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
459 </ownedStyle>
460 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
461 </ownedDiagramElements>
462 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85FvMJL8EeqASt_f1N53dA" name="InterferometryMission" tooltipText="" outgoingEdges="_86Nwk5L8EeqASt_f1N53dA" width="12" height="10">
463 <target xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryMission"/>
464 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryMission"/>
465 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85GWQJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
466 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
467 </ownedStyle>
468 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
469 </ownedDiagramElements>
470 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85G9UJL8EeqASt_f1N53dA" name="CommunicatingElement" tooltipText="" outgoingEdges="_8561ppL8EeqASt_f1N53dA" incomingEdges="_85_HEJL8EeqASt_f1N53dA _86Mic5L8EeqASt_f1N53dA" width="12" height="10">
471 <target xmi:type="ecore:EClass" href="satellite.ecore#//CommunicatingElement"/>
472 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CommunicatingElement"/>
473 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85HkYJL8EeqASt_f1N53dA" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
474 <labelFormat>italic</labelFormat>
475 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
476 </ownedStyle>
477 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
478 </ownedDiagramElements>
479 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85ILcJL8EeqASt_f1N53dA" name="GroundStationNetwork" tooltipText="" outgoingEdges="_86Mic5L8EeqASt_f1N53dA" incomingEdges="_853yUJL8EeqASt_f1N53dA" width="12" height="10">
480 <target xmi:type="ecore:EClass" href="satellite.ecore#//GroundStationNetwork"/>
481 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//GroundStationNetwork"/>
482 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85IygJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
483 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
484 </ownedStyle>
485 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
486 </ownedDiagramElements>
487 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85JZkJL8EeqASt_f1N53dA" name="Spacecraft" tooltipText="" outgoingEdges="_858DxpL8EeqASt_f1N53dA _85_HEJL8EeqASt_f1N53dA" incomingEdges="_855ng5L8EeqASt_f1N53dA _86FNs5L8EeqASt_f1N53dA _86KGMJL8EeqASt_f1N53dA" width="12" height="10">
488 <target xmi:type="ecore:EClass" href="satellite.ecore#//Spacecraft"/>
489 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//Spacecraft"/>
490 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85KAoJL8EeqASt_f1N53dA" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
491 <labelFormat>italic</labelFormat>
492 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
493 </ownedStyle>
494 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
495 </ownedDiagramElements>
496 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85KnsJL8EeqASt_f1N53dA" name="CommSubsystem" tooltipText="" outgoingEdges="_859R5pL8EeqASt_f1N53dA" incomingEdges="_8561ppL8EeqASt_f1N53dA _859R5pL8EeqASt_f1N53dA _86Gb05L8EeqASt_f1N53dA _86IRAJL8EeqASt_f1N53dA _86L7YJL8EeqASt_f1N53dA" width="12" height="10">
497 <target xmi:type="ecore:EClass" href="satellite.ecore#//CommSubsystem"/>
498 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CommSubsystem"/>
499 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_gEj6QZMEEeqASt_f1N53dA" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
500 <labelFormat>italic</labelFormat>
501 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
502 </ownedStyle>
503 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
504 <ownedElements xmi:type="diagram:DNodeListElement" uid="_HnfLkJL9EeqASt_f1N53dA" name="frequency : EInt" tooltipText="">
505 <target xmi:type="ecore:EAttribute" href="satellite.ecore#//CommSubsystem/frequency"/>
506 <semanticElements xmi:type="ecore:EAttribute" href="satellite.ecore#//CommSubsystem/frequency"/>
507 <ownedStyle xmi:type="diagram:BundledImage" uid="_gEoLspMEEeqASt_f1N53dA" labelAlignment="LEFT" description="_gEoLsJMEEeqASt_f1N53dA">
508 <labelFormat>bold</labelFormat>
509 </ownedStyle>
510 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
511 </ownedElements>
512 </ownedDiagramElements>
513 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85Mc4JL8EeqASt_f1N53dA" name="Payload" tooltipText="" incomingEdges="_858DxpL8EeqASt_f1N53dA _86DYgJL8EeqASt_f1N53dA" width="12" height="10">
514 <target xmi:type="ecore:EClass" href="satellite.ecore#//Payload"/>
515 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//Payload"/>
516 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85ND8JL8EeqASt_f1N53dA" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
517 <labelFormat>italic</labelFormat>
518 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
519 </ownedStyle>
520 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
521 </ownedDiagramElements>
522 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85NrAJL8EeqASt_f1N53dA" name="InterferometryPayload" tooltipText="" outgoingEdges="_86DYgJL8EeqASt_f1N53dA" width="12" height="10">
523 <target xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryPayload"/>
524 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryPayload"/>
525 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85OSEJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
526 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
527 </ownedStyle>
528 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
529 </ownedDiagramElements>
530 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85PgMJL8EeqASt_f1N53dA" name="CubeSat3U" tooltipText="" outgoingEdges="_86D_lpL8EeqASt_f1N53dA" width="12" height="10">
531 <target xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat3U"/>
532 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat3U"/>
533 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85QHQJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
534 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
535 </ownedStyle>
536 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
537 </ownedDiagramElements>
538 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85RVYJL8EeqASt_f1N53dA" name="CubeSat6U" tooltipText="" outgoingEdges="_86BjU5L8EeqASt_f1N53dA" width="12" height="10">
539 <target xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat6U"/>
540 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat6U"/>
541 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85R8cJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
542 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
543 </ownedStyle>
544 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
545 </ownedDiagramElements>
546 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85SjgJL8EeqASt_f1N53dA" name="SmallSat" tooltipText="" outgoingEdges="_86KGMJL8EeqASt_f1N53dA" width="12" height="10">
547 <target xmi:type="ecore:EClass" href="satellite.ecore#//SmallSat"/>
548 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//SmallSat"/>
549 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85TKkJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
550 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
551 </ownedStyle>
552 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
553 </ownedDiagramElements>
554 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85UYsJL8EeqASt_f1N53dA" name="CubeSat" tooltipText="" outgoingEdges="_86FNs5L8EeqASt_f1N53dA" incomingEdges="_86BjU5L8EeqASt_f1N53dA _86D_lpL8EeqASt_f1N53dA" width="12" height="10">
555 <target xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat"/>
556 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat"/>
557 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85U_wJL8EeqASt_f1N53dA" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
558 <labelFormat>italic</labelFormat>
559 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
560 </ownedStyle>
561 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
562 </ownedDiagramElements>
563 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85WN4JL8EeqASt_f1N53dA" name="UHFCommSubsystem" tooltipText="" outgoingEdges="_86Gb05L8EeqASt_f1N53dA" width="12" height="10">
564 <target xmi:type="ecore:EClass" href="satellite.ecore#//UHFCommSubsystem"/>
565 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//UHFCommSubsystem"/>
566 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85WN4ZL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
567 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
568 </ownedStyle>
569 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
570 </ownedDiagramElements>
571 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85XcAJL8EeqASt_f1N53dA" name="XCommSubsystem" tooltipText="" outgoingEdges="_86L7YJL8EeqASt_f1N53dA" width="12" height="10">
572 <target xmi:type="ecore:EClass" href="satellite.ecore#//XCommSubsystem"/>
573 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//XCommSubsystem"/>
574 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85YDEJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
575 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
576 </ownedStyle>
577 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
578 </ownedDiagramElements>
579 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_85YqIJL8EeqASt_f1N53dA" name="KaCommSubsystem" tooltipText="" outgoingEdges="_86IRAJL8EeqASt_f1N53dA" width="12" height="10">
580 <target xmi:type="ecore:EClass" href="satellite.ecore#//KaCommSubsystem"/>
581 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//KaCommSubsystem"/>
582 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_85ZRMJL8EeqASt_f1N53dA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
583 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
584 </ownedStyle>
585 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
586 </ownedDiagramElements>
587 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_853yUJL8EeqASt_f1N53dA" name="[1..1] groundStationNetwork" sourceNode="_85BdwJL8EeqASt_f1N53dA" targetNode="_85ILcJL8EeqASt_f1N53dA">
588 <target xmi:type="ecore:EReference" href="satellite.ecore#//ConstellationMission/groundStationNetwork"/>
589 <semanticElements xmi:type="ecore:EReference" href="satellite.ecore#//ConstellationMission/groundStationNetwork"/>
590 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_855Ac5L8EeqASt_f1N53dA" description="_855AcJL8EeqASt_f1N53dA" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
591 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_855AdZL8EeqASt_f1N53dA" showIcon="false">
592 <customFeatures>labelSize</customFeatures>
593 <labelFormat>bold</labelFormat>
594 </centerLabelStyle>
595 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_855AdJL8EeqASt_f1N53dA" showIcon="false" labelColor="39,76,114">
596 <customFeatures>labelSize</customFeatures>
597 </endLabelStyle>
598 </ownedStyle>
599 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
600 </ownedDiagramElements>
601 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_855ng5L8EeqASt_f1N53dA" name="[2..*] spacecraft" sourceNode="_85BdwJL8EeqASt_f1N53dA" targetNode="_85JZkJL8EeqASt_f1N53dA">
602 <target xmi:type="ecore:EReference" href="satellite.ecore#//ConstellationMission/spacecraft"/>
603 <semanticElements xmi:type="ecore:EReference" href="satellite.ecore#//ConstellationMission/spacecraft"/>
604 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_8561oJL8EeqASt_f1N53dA" description="_855AcJL8EeqASt_f1N53dA" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
605 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_8561opL8EeqASt_f1N53dA" showIcon="false">
606 <customFeatures>labelSize</customFeatures>
607 <labelFormat>bold</labelFormat>
608 </centerLabelStyle>
609 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_8561oZL8EeqASt_f1N53dA" showIcon="false" labelColor="39,76,114">
610 <customFeatures>labelSize</customFeatures>
611 </endLabelStyle>
612 </ownedStyle>
613 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
614 </ownedDiagramElements>
615 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_8561ppL8EeqASt_f1N53dA" name="[1..2] commSubsystem" sourceNode="_85G9UJL8EeqASt_f1N53dA" targetNode="_85KnsJL8EeqASt_f1N53dA">
616 <target xmi:type="ecore:EReference" href="satellite.ecore#//CommunicatingElement/commSubsystem"/>
617 <semanticElements xmi:type="ecore:EReference" href="satellite.ecore#//CommunicatingElement/commSubsystem"/>
618 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_858DwJL8EeqASt_f1N53dA" description="_855AcJL8EeqASt_f1N53dA" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
619 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_858DwpL8EeqASt_f1N53dA" showIcon="false">
620 <customFeatures>labelSize</customFeatures>
621 <labelFormat>bold</labelFormat>
622 </centerLabelStyle>
623 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_858DwZL8EeqASt_f1N53dA" showIcon="false" labelColor="39,76,114">
624 <customFeatures>labelSize</customFeatures>
625 </endLabelStyle>
626 </ownedStyle>
627 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
628 </ownedDiagramElements>
629 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_858DxpL8EeqASt_f1N53dA" name="[0..1] payload" sourceNode="_85JZkJL8EeqASt_f1N53dA" targetNode="_85Mc4JL8EeqASt_f1N53dA">
630 <target xmi:type="ecore:EReference" href="satellite.ecore#//Spacecraft/payload"/>
631 <semanticElements xmi:type="ecore:EReference" href="satellite.ecore#//Spacecraft/payload"/>
632 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_859R4JL8EeqASt_f1N53dA" description="_858q0JL8EeqASt_f1N53dA" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
633 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_859R4pL8EeqASt_f1N53dA" showIcon="false">
634 <customFeatures>labelSize</customFeatures>
635 </centerLabelStyle>
636 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_859R4ZL8EeqASt_f1N53dA" showIcon="false" labelColor="39,76,114">
637 <customFeatures>labelSize</customFeatures>
638 </endLabelStyle>
639 </ownedStyle>
640 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
641 </ownedDiagramElements>
642 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_859R5pL8EeqASt_f1N53dA" name="[0..1] target" sourceNode="_85KnsJL8EeqASt_f1N53dA" targetNode="_85KnsJL8EeqASt_f1N53dA">
643 <target xmi:type="ecore:EReference" href="satellite.ecore#//CommSubsystem/target"/>
644 <semanticElements xmi:type="ecore:EReference" href="satellite.ecore#//CommSubsystem/target"/>
645 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_85948JL8EeqASt_f1N53dA" routingStyle="manhattan" strokeColor="0,0,0">
646 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/>
647 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_85948pL8EeqASt_f1N53dA" showIcon="false">
648 <customFeatures>labelSize</customFeatures>
649 </centerLabelStyle>
650 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_85948ZL8EeqASt_f1N53dA" showIcon="false" labelColor="39,76,114">
651 <customFeatures>labelSize</customFeatures>
652 </endLabelStyle>
653 </ownedStyle>
654 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
655 </ownedDiagramElements>
656 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_85_HEJL8EeqASt_f1N53dA" sourceNode="_85JZkJL8EeqASt_f1N53dA" targetNode="_85G9UJL8EeqASt_f1N53dA">
657 <target xmi:type="ecore:EClass" href="satellite.ecore#//Spacecraft"/>
658 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//Spacecraft"/>
659 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86A8QJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
660 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
661 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86A8QZL8EeqASt_f1N53dA" showIcon="false">
662 <labelFormat>italic</labelFormat>
663 </beginLabelStyle>
664 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86A8QpL8EeqASt_f1N53dA" showIcon="false"/>
665 </ownedStyle>
666 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
667 </ownedDiagramElements>
668 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86BjU5L8EeqASt_f1N53dA" sourceNode="_85RVYJL8EeqASt_f1N53dA" targetNode="_85UYsJL8EeqASt_f1N53dA">
669 <target xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat6U"/>
670 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat6U"/>
671 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86CxcJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
672 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
673 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86CxcZL8EeqASt_f1N53dA" showIcon="false">
674 <labelFormat>italic</labelFormat>
675 </beginLabelStyle>
676 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86CxcpL8EeqASt_f1N53dA" showIcon="false"/>
677 </ownedStyle>
678 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
679 </ownedDiagramElements>
680 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86DYgJL8EeqASt_f1N53dA" sourceNode="_85NrAJL8EeqASt_f1N53dA" targetNode="_85Mc4JL8EeqASt_f1N53dA">
681 <target xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryPayload"/>
682 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryPayload"/>
683 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86D_kJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
684 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
685 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86D_kZL8EeqASt_f1N53dA" showIcon="false">
686 <labelFormat>italic</labelFormat>
687 </beginLabelStyle>
688 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86D_kpL8EeqASt_f1N53dA" showIcon="false"/>
689 </ownedStyle>
690 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
691 </ownedDiagramElements>
692 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86D_lpL8EeqASt_f1N53dA" sourceNode="_85PgMJL8EeqASt_f1N53dA" targetNode="_85UYsJL8EeqASt_f1N53dA">
693 <target xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat3U"/>
694 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat3U"/>
695 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86EmoJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
696 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
697 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86EmoZL8EeqASt_f1N53dA" showIcon="false">
698 <labelFormat>italic</labelFormat>
699 </beginLabelStyle>
700 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86EmopL8EeqASt_f1N53dA" showIcon="false"/>
701 </ownedStyle>
702 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
703 </ownedDiagramElements>
704 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86FNs5L8EeqASt_f1N53dA" sourceNode="_85UYsJL8EeqASt_f1N53dA" targetNode="_85JZkJL8EeqASt_f1N53dA">
705 <target xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat"/>
706 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//CubeSat"/>
707 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86F0wJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
708 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
709 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86F0wZL8EeqASt_f1N53dA" showIcon="false">
710 <labelFormat>italic</labelFormat>
711 </beginLabelStyle>
712 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86F0wpL8EeqASt_f1N53dA" showIcon="false"/>
713 </ownedStyle>
714 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
715 </ownedDiagramElements>
716 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86Gb05L8EeqASt_f1N53dA" sourceNode="_85WN4JL8EeqASt_f1N53dA" targetNode="_85KnsJL8EeqASt_f1N53dA">
717 <target xmi:type="ecore:EClass" href="satellite.ecore#//UHFCommSubsystem"/>
718 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//UHFCommSubsystem"/>
719 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86Hp8JL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
720 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
721 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86Hp8ZL8EeqASt_f1N53dA" showIcon="false">
722 <labelFormat>italic</labelFormat>
723 </beginLabelStyle>
724 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86Hp8pL8EeqASt_f1N53dA" showIcon="false"/>
725 </ownedStyle>
726 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
727 </ownedDiagramElements>
728 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86IRAJL8EeqASt_f1N53dA" sourceNode="_85YqIJL8EeqASt_f1N53dA" targetNode="_85KnsJL8EeqASt_f1N53dA">
729 <target xmi:type="ecore:EClass" href="satellite.ecore#//KaCommSubsystem"/>
730 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//KaCommSubsystem"/>
731 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86I4EJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
732 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
733 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86I4EZL8EeqASt_f1N53dA" showIcon="false">
734 <labelFormat>italic</labelFormat>
735 </beginLabelStyle>
736 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86I4EpL8EeqASt_f1N53dA" showIcon="false"/>
737 </ownedStyle>
738 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
739 </ownedDiagramElements>
740 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86KGMJL8EeqASt_f1N53dA" sourceNode="_85SjgJL8EeqASt_f1N53dA" targetNode="_85JZkJL8EeqASt_f1N53dA">
741 <target xmi:type="ecore:EClass" href="satellite.ecore#//SmallSat"/>
742 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//SmallSat"/>
743 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86KGMZL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
744 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
745 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86KGMpL8EeqASt_f1N53dA" showIcon="false">
746 <labelFormat>italic</labelFormat>
747 </beginLabelStyle>
748 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86KtQJL8EeqASt_f1N53dA" showIcon="false"/>
749 </ownedStyle>
750 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
751 </ownedDiagramElements>
752 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86L7YJL8EeqASt_f1N53dA" sourceNode="_85XcAJL8EeqASt_f1N53dA" targetNode="_85KnsJL8EeqASt_f1N53dA">
753 <target xmi:type="ecore:EClass" href="satellite.ecore#//XCommSubsystem"/>
754 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//XCommSubsystem"/>
755 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86L7YZL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
756 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
757 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86L7YpL8EeqASt_f1N53dA" showIcon="false">
758 <labelFormat>italic</labelFormat>
759 </beginLabelStyle>
760 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86L7Y5L8EeqASt_f1N53dA" showIcon="false"/>
761 </ownedStyle>
762 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
763 </ownedDiagramElements>
764 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86Mic5L8EeqASt_f1N53dA" sourceNode="_85ILcJL8EeqASt_f1N53dA" targetNode="_85G9UJL8EeqASt_f1N53dA">
765 <target xmi:type="ecore:EClass" href="satellite.ecore#//GroundStationNetwork"/>
766 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//GroundStationNetwork"/>
767 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86NJgJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
768 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
769 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86NJgZL8EeqASt_f1N53dA" showIcon="false">
770 <labelFormat>italic</labelFormat>
771 </beginLabelStyle>
772 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86NJgpL8EeqASt_f1N53dA" showIcon="false"/>
773 </ownedStyle>
774 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
775 </ownedDiagramElements>
776 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_86Nwk5L8EeqASt_f1N53dA" sourceNode="_85FvMJL8EeqASt_f1N53dA" targetNode="_85BdwJL8EeqASt_f1N53dA">
777 <target xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryMission"/>
778 <semanticElements xmi:type="ecore:EClass" href="satellite.ecore#//InterferometryMission"/>
779 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_86OXoJL8EeqASt_f1N53dA" targetArrow="InputClosedArrow" routingStyle="tree">
780 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
781 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_86OXoZL8EeqASt_f1N53dA" showIcon="false">
782 <labelFormat>italic</labelFormat>
783 </beginLabelStyle>
784 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_86OXopL8EeqASt_f1N53dA" showIcon="false"/>
785 </ownedStyle>
786 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
787 </ownedDiagramElements>
788 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
789 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_8N3A4JL8EeqASt_f1N53dA"/>
790 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
791 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/>
792 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/>
793 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/>
794 <target xmi:type="ecore:EPackage" href="satellite.ecore#/"/>
795 </diagram:DSemanticDiagram>
796</xmi:XMI>
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 9f17d43c..362df382 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,32 +1,36 @@
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 <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> 4 <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true">
5 <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" 5 <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1"
6 eType="#//GroundStationNetwork" containment="true"/> 6 eType="#//GroundStationNetwork" containment="true"/>
7 <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2" 7 <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2"
8 upperBound="-1" eType="#//Spacecraft" containment="true"/> 8 upperBound="-1" eType="#//Spacecraft" containment="true"/>
9 </eClassifiers> 9 </eClassifiers>
10 <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="#//ConstellationMission"/> 10 <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="#//ConstellationMission"/>
11 <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> 11 <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true">
12 <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" 12 <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1"
13 upperBound="2" eType="#//CommSubsystem" containment="true"/> 13 upperBound="2" eType="#//CommSubsystem" containment="true"/>
14 </eClassifiers> 14 </eClassifiers>
15 <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/> 15 <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/>
16 <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> 16 <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement">
17 <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" 17 <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload"
18 containment="true"/> 18 containment="true"/>
19 </eClassifiers> 19 </eClassifiers>
20 <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true"> 20 <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true">
21 <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//CommSubsystem"/> 21 <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//CommSubsystem"/>
22 </eClassifiers> 22 <eStructuralFeatures xsi:type="ecore:EAttribute" name="frequency" lowerBound="1"
23 <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> 23 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
24 <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> 24 <eStructuralFeatures xsi:type="ecore:EAttribute" name="pathLength" lowerBound="1"
25 <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> 25 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
26 <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> 26 </eClassifiers>
27 <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> 27 <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/>
28 <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> 28 <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/>
29 <eClassifiers xsi:type="ecore:EClass" name="UHFCommSubsystem" eSuperTypes="#//CommSubsystem"/> 29 <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/>
30 <eClassifiers xsi:type="ecore:EClass" name="XCommSubsystem" eSuperTypes="#//CommSubsystem"/> 30 <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/>
31 <eClassifiers xsi:type="ecore:EClass" name="KaCommSubsystem" eSuperTypes="#//CommSubsystem"/> 31 <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/>
32</ecore:EPackage> 32 <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/>
33 <eClassifiers xsi:type="ecore:EClass" name="UHFCommSubsystem" eSuperTypes="#//CommSubsystem"/>
34 <eClassifiers xsi:type="ecore:EClass" name="XCommSubsystem" eSuperTypes="#//CommSubsystem"/>
35 <eClassifiers xsi:type="ecore:EClass" name="KaCommSubsystem" eSuperTypes="#//CommSubsystem"/>
36</ecore:EPackage>
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 bc98abd6..4d04fed0 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
@@ -1,39 +1,41 @@
1<?xml version="1.0" encoding="UTF-8"?> 1<?xml version="1.0" encoding="UTF-8"?>
2<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 2<genmodel:GenModel 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" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" 3 xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel"
4 modelDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen" 4 modelDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen"
5 creationIcons="false" editDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.edit/src-gen" 5 creationIcons="false" editDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.edit/src-gen"
6 editorDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.editor/src-gen" 6 editorDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.editor/src-gen"
7 modelPluginID="hu.bme.mit.inf.dslreasoner.domains.satellite" modelName="Satellite" 7 modelPluginID="hu.bme.mit.inf.dslreasoner.domains.satellite" modelName="Satellite"
8 rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" codeFormatting="true" 8 rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" codeFormatting="true"
9 importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" 9 importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
10 operationReflection="true" importOrganizing="true"> 10 operationReflection="true" importOrganizing="true">
11 <foreignModel>satellite.ecore</foreignModel> 11 <foreignModel>satellite.ecore</foreignModel>
12 <testsDirectory xsi:nil="true"/> 12 <testsDirectory xsi:nil="true"/>
13 <genPackages prefix="Satellite" disposableProviderFactory="true" ecorePackage="satellite.ecore#/"> 13 <genPackages prefix="Satellite" disposableProviderFactory="true" ecorePackage="satellite.ecore#/">
14 <genClasses image="false" ecoreClass="satellite.ecore#//ConstellationMission"> 14 <genClasses image="false" ecoreClass="satellite.ecore#//ConstellationMission">
15 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/groundStationNetwork"/> 15 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/groundStationNetwork"/>
16 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/spacecraft"/> 16 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/spacecraft"/>
17 </genClasses> 17 </genClasses>
18 <genClasses ecoreClass="satellite.ecore#//InterferometryMission"/> 18 <genClasses ecoreClass="satellite.ecore#//InterferometryMission"/>
19 <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement"> 19 <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement">
20 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/> 20 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/>
21 </genClasses> 21 </genClasses>
22 <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/> 22 <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/>
23 <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft"> 23 <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft">
24 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/> 24 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/>
25 </genClasses> 25 </genClasses>
26 <genClasses ecoreClass="satellite.ecore#//CommSubsystem"> 26 <genClasses ecoreClass="satellite.ecore#//CommSubsystem">
27 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//CommSubsystem/target"/> 27 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//CommSubsystem/target"/>
28 </genClasses> 28 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute satellite.ecore#//CommSubsystem/frequency"/>
29 <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/> 29 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute satellite.ecore#//CommSubsystem/pathLength"/>
30 <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/> 30 </genClasses>
31 <genClasses ecoreClass="satellite.ecore#//CubeSat3U"/> 31 <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/>
32 <genClasses ecoreClass="satellite.ecore#//CubeSat6U"/> 32 <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/>
33 <genClasses ecoreClass="satellite.ecore#//SmallSat"/> 33 <genClasses ecoreClass="satellite.ecore#//CubeSat3U"/>
34 <genClasses image="false" ecoreClass="satellite.ecore#//CubeSat"/> 34 <genClasses ecoreClass="satellite.ecore#//CubeSat6U"/>
35 <genClasses ecoreClass="satellite.ecore#//UHFCommSubsystem"/> 35 <genClasses ecoreClass="satellite.ecore#//SmallSat"/>
36 <genClasses ecoreClass="satellite.ecore#//XCommSubsystem"/> 36 <genClasses image="false" ecoreClass="satellite.ecore#//CubeSat"/>
37 <genClasses ecoreClass="satellite.ecore#//KaCommSubsystem"/> 37 <genClasses ecoreClass="satellite.ecore#//UHFCommSubsystem"/>
38 </genPackages> 38 <genClasses ecoreClass="satellite.ecore#//XCommSubsystem"/>
39</genmodel:GenModel> 39 <genClasses ecoreClass="satellite.ecore#//KaCommSubsystem"/>
40 </genPackages>
41</genmodel:GenModel>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml
index fe1af62e..419d8640 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml
@@ -1,26 +1,30 @@
1<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!-- 1<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!--
2--><plugin> 2--><plugin>
3 <extension point="org.eclipse.emf.ecore.generated_package"> 3 <extension point="org.eclipse.emf.ecore.generated_package">
4 <!-- @generated satellite --> 4 <!-- @generated satellite -->
5 <package 5 <package class="satellite.SatellitePackage" genModel="model/satellite.genmodel" uri="http://www.example.org/satellite"/>
6 uri="http://www.example.org/satellite" 6 </extension>
7 class="satellite.SatellitePackage"
8 genModel="model/satellite.genmodel"/>
9 </extension>
10 <extension id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> 7 <extension id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" point="org.eclipse.viatra.query.runtime.queryspecification">
11 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries"> 8 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries">
12 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/> 9 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
13 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.transmittingGroundStationNetwork"/> 10 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.transmittingGroundStationNetwork"/>
14 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.roundStationNetworkUHF"/> 11 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.roundStationNetworkUHF"/>
15 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/> 12 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
16 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
17 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.unsat_linkToGroundStation"/>
18 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/>
19 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/> 13 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
20 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/> 14 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
21 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/> 15 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
22 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/> 16 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
23 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/> 17 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
18 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.differentFrequency"/>
19 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForUHF"/>
20 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForUHF"/>
21 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForKaComm"/>
22 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForKaComm"/>
23 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForXComm"/>
24 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForXComm"/>
25 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighPathLengthForSatelite"/>
26 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowPathLengthForSatelite"/>
27 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowPathLengthForGroundStation"/>
24 </group> 28 </group>
25 </extension> 29 </extension>
26</plugin> 30</plugin>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
index ba12bbda..57b5933a 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
@@ -51,13 +51,13 @@ private pattern spacecraftWithInterferometryPayload(Mission : ConstellationMissi
51 51
52// All spacecraft must have some communication path to the ground station 52// All spacecraft must have some communication path to the ground station
53 53
54@Constraint(severity = "error", key = {Spacecraft}, 54//@Constraint(severity = "error", key = {Spacecraft},
55 message = "Spacecraft has no communication path to the ground station.") 55// message = "Spacecraft has no communication path to the ground station.")
56pattern noLinkToGroundStation(Spacecraft : Spacecraft) { 56//pattern noLinkToGroundStation(Spacecraft : Spacecraft) {
57 ConstellationMission.groundStationNetwork(Mission, GroundStation); 57// ConstellationMission.groundStationNetwork(Mission, GroundStation);
58 ConstellationMission.spacecraft(Mission, Spacecraft); 58// ConstellationMission.spacecraft(Mission, Spacecraft);
59 neg find indirectCommunicationLink(Spacecraft, GroundStation); 59// neg find indirectCommunicationLink(Spacecraft, GroundStation);
60} 60//}
61 61
62//@Constraint(severity = "error", key = {Spacecraft}, message = "UNSAT") 62//@Constraint(severity = "error", key = {Spacecraft}, message = "UNSAT")
63//pattern unsat_linkToGroundStation(Spacecraft : Spacecraft) { 63//pattern unsat_linkToGroundStation(Spacecraft : Spacecraft) {
@@ -66,41 +66,41 @@ pattern noLinkToGroundStation(Spacecraft : Spacecraft) {
66// find indirectCommunicationLink(Spacecraft, GroundStation); 66// find indirectCommunicationLink(Spacecraft, GroundStation);
67//} 67//}
68 68
69@Constraint(severity = "error", key = {Mission}, message = "UNSAT") 69//@Constraint(severity = "error", key = {Mission}, message = "UNSAT")
70pattern unsat_linkToGroundStation(Mission : InterferometryMission) { 70//pattern unsat_linkToGroundStation(Mission : InterferometryMission) {
71 InterferometryMission(Mission); 71// InterferometryMission(Mission);
72 neg find noLinkToGroundStation(_); 72// neg find noLinkToGroundStation(_);
73} 73//}
74 74
75@Constraint(severity = "error", key = {Spacecraft}, 75//@Constraint(severity = "error", key = {Spacecraft},
76 message = "Spacecraft has no potential communication path to the ground station.") 76// message = "Spacecraft has no potential communication path to the ground station.")
77pattern noPotentialLinkToGroundStation(Spacecraft : Spacecraft) { 77//pattern noPotentialLinkToGroundStation(Spacecraft : Spacecraft) {
78 ConstellationMission.groundStationNetwork(Mission, GroundStation); 78// ConstellationMission.groundStationNetwork(Mission, GroundStation);
79 ConstellationMission.spacecraft(Mission, Spacecraft); 79// ConstellationMission.spacecraft(Mission, Spacecraft);
80 neg find indirectLinkAllowed(Spacecraft, GroundStation); 80// neg find indirectLinkAllowed(Spacecraft, GroundStation);
81} 81//}
82 82
83private pattern indirectLinkAllowed(From : Spacecraft, To : CommunicatingElement) { 83//private pattern indirectLinkAllowed(From : Spacecraft, To : CommunicatingElement) {
84 find linkAllowed+(From, To); 84// find linkAllowed+(From, To);
85} 85//}
86 86
87private pattern linkAllowed(From : Spacecraft, To : CommunicatingElement) { 87//private pattern linkAllowed(From : Spacecraft, To : CommunicatingElement) {
88 find matchingAntenna(From, To); 88// find matchingAntenna(From, To);
89 neg find cubeSat3U(From); 89// neg find cubeSat3U(From);
90} or { 90//} or {
91 find matchingAntenna(From, To); 91// find matchingAntenna(From, To);
92 CubeSat3U(From); 92// CubeSat3U(From);
93} or { 93//} or {
94 find matchingAntenna(From, To); 94// find matchingAntenna(From, To);
95 CubeSat3U(From); 95// CubeSat3U(From);
96 GroundStationNetwork(To); 96// GroundStationNetwork(To);
97} 97//}
98 98
99private pattern matchingAntenna(From : Spacecraft, To : CommunicatingElement) { 99//private pattern matchingAntenna(From : Spacecraft, To : CommunicatingElement) {
100 CommunicatingElement.commSubsystem(From, FromSys); 100// CommunicatingElement.commSubsystem(From, FromSys);
101 CommunicatingElement.commSubsystem(To, ToSys); 101// CommunicatingElement.commSubsystem(To, ToSys);
102 find matchingCommSubsystem(FromSys, ToSys); 102// find matchingCommSubsystem(FromSys, ToSys);
103} 103//}
104 104
105private pattern matchingCommSubsystem(From : CommSubsystem, To : CommSubsystem) { 105private pattern matchingCommSubsystem(From : CommSubsystem, To : CommSubsystem) {
106 UHFCommSubsystem(From); 106 UHFCommSubsystem(From);
@@ -113,9 +113,9 @@ private pattern matchingCommSubsystem(From : CommSubsystem, To : CommSubsystem)
113 KaCommSubsystem(To); 113 KaCommSubsystem(To);
114} 114}
115 115
116private pattern cubeSat3U(Sat : CubeSat3U) { 116//private pattern cubeSat3U(Sat : CubeSat3U) {
117 CubeSat3U(Sat); 117// CubeSat3U(Sat);
118} 118//}
119 119
120// No communication loops may exist 120// No communication loops may exist
121// No spacecraft may directly communicate with itself 121// No spacecraft may directly communicate with itself
@@ -180,6 +180,71 @@ pattern smallSat(Sat : SmallSat) {
180 SmallSat(Sat); 180 SmallSat(Sat);
181} 181}
182 182
183@Constraint(severity = "error", key = {c1,c2}, message = "error")
184pattern differentFrequency(c1 : CommSubsystem, c2 : CommSubsystem) {
185 CommSubsystem.target(c1,c2);
186 CommSubsystem.frequency(c1,f1);
187 CommSubsystem.frequency(c2,f2);
188 check(f1!=f2);
189}
190
191@Constraint(severity = "error", key = {s,s}, message = "error")
192pattern tooHighFrequencyForUHF(s : UHFCommSubsystem) {
193 UHFCommSubsystem(s);
194 CommSubsystem.frequency(s,f);
195 check(f>1000);//1GHz
196}
197@Constraint(severity = "error", key = {s,s}, message = "error")
198pattern tooLowFrequencyForUHF(s : UHFCommSubsystem) {
199 UHFCommSubsystem(s);
200 CommSubsystem.frequency(s,f);
201 check(f<300);//300MHz
202}
203@Constraint(severity = "error", key = {s,s}, message = "error")
204pattern tooHighFrequencyForKaComm(s : KaCommSubsystem) {
205 KaCommSubsystem(s);
206 CommSubsystem.frequency(s,f);
207 check(f>40000);//40GHz
208}
209@Constraint(severity = "error", key = {s,s}, message = "error")
210pattern tooLowFrequencyForKaComm(s : KaCommSubsystem) {
211 KaCommSubsystem(s);
212 CommSubsystem.frequency(s,f);
213 check(f<26500);//26.5GHz
214}
215@Constraint(severity = "error", key = {s,s}, message = "error")
216pattern tooHighFrequencyForXComm(s : XCommSubsystem) {
217 XCommSubsystem(s);
218 CommSubsystem.frequency(s,f);
219 check(f>12000);//12GHz
220}
221@Constraint(severity = "error", key = {s,s}, message = "error")
222pattern tooLowFrequencyForXComm(s : XCommSubsystem) {
223 XCommSubsystem(s);
224 CommSubsystem.frequency(s,f);
225 check(f<8000);//8GHz
226}
227@Constraint(severity = "error", key = {s,s}, message = "error")
228pattern tooHighPathLengthForSatelite(s:CommSubsystem) {
229 CommSubsystem.pathLength(s,l);
230 CommSubsystem.target(s,ts);
231 Spacecraft.commSubsystem(_,ts);
232 check(l>250);//250km
233}
234@Constraint(severity = "error", key = {s,s}, message = "error")
235pattern tooLowPathLengthForSatelite(s:CommSubsystem) {
236 CommSubsystem.pathLength(s,l);
237 CommSubsystem.target(s,ts);
238 Spacecraft.commSubsystem(_,ts);
239 check(l<150);//150km
240}
241@Constraint(severity = "error", key = {s,s}, message = "error")
242pattern tooLowPathLengthForGroundStation(s:CommSubsystem) {
243 CommSubsystem.pathLength(s,l);
244 CommSubsystem.target(s,ts);
245 GroundStationNetwork.commSubsystem(_,ts);
246 check(l!=385000);//385.000km
247}
183//// 248////
184//// Metrics 249//// Metrics
185//// 250////
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
index 5e4e4ef0..0ac66ce9 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
@@ -12,6 +12,7 @@ final class SatelliteGeneratorMain {
12 public static def void main(String[] args) { 12 public static def void main(String[] args) {
13 ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, 13 ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE,
14 ReteBackendFactory.INSTANCE) 14 ReteBackendFactory.INSTANCE)
15 println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) 15 val res = StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")
16 if(res!==null) println(res)
16 } 17 }
17} 18}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 15:51:21 +0000