diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml | 741 | ||||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png | bin | 230838 -> 248114 bytes | |||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi | 20 |
3 files changed, 110 insertions, 651 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml index 59498c9f..59a81169 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml | |||
@@ -5,330 +5,6 @@ graph | |||
5 | id 0 | 5 | id 0 |
6 | graphics | 6 | graphics |
7 | [ | 7 | [ |
8 | w 244.20000000000002 | ||
9 | h 40 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "UHF literal TransceiverBand" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | TransceiverBand enum | ||
30 | " | ||
31 | fontSize 14 | ||
32 | fontName "Consolas" | ||
33 | alignment "left" | ||
34 | anchor "tl" | ||
35 | borderDistance 6 | ||
36 | ] | ||
37 | ] | ||
38 | |||
39 | node | ||
40 | [ | ||
41 | id 1 | ||
42 | graphics | ||
43 | [ | ||
44 | w 226.60000000000002 | ||
45 | h 40 | ||
46 | type "rectangle" | ||
47 | fill "#FFFFFF" | ||
48 | fill2 "#FFFFFF" | ||
49 | outline "#000000" | ||
50 | ] | ||
51 | LabelGraphics | ||
52 | [ | ||
53 | text "X literal TransceiverBand" | ||
54 | outline "#000000" | ||
55 | fill "#FFFFFF" | ||
56 | fontSize 16 | ||
57 | fontName "Monospace" | ||
58 | autoSizePolicy "node_width" | ||
59 | anchor "t" | ||
60 | borderDistance 0.0 | ||
61 | ] | ||
62 | LabelGraphics | ||
63 | [ | ||
64 | text " | ||
65 | TransceiverBand enum | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 235.4 | ||
81 | h 40 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "Ka literal TransceiverBand" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | TransceiverBand enum | ||
102 | " | ||
103 | fontSize 14 | ||
104 | fontName "Consolas" | ||
105 | alignment "left" | ||
106 | anchor "tl" | ||
107 | borderDistance 6 | ||
108 | ] | ||
109 | ] | ||
110 | |||
111 | node | ||
112 | [ | ||
113 | id 3 | ||
114 | graphics | ||
115 | [ | ||
116 | w 209.00000000000003 | ||
117 | h 40 | ||
118 | type "rectangle" | ||
119 | fill "#FFFFFF" | ||
120 | fill2 "#FFFFFF" | ||
121 | outline "#000000" | ||
122 | ] | ||
123 | LabelGraphics | ||
124 | [ | ||
125 | text "LOW literal AntennaGain" | ||
126 | outline "#000000" | ||
127 | fill "#FFFFFF" | ||
128 | fontSize 16 | ||
129 | fontName "Monospace" | ||
130 | autoSizePolicy "node_width" | ||
131 | anchor "t" | ||
132 | borderDistance 0.0 | ||
133 | ] | ||
134 | LabelGraphics | ||
135 | [ | ||
136 | text " | ||
137 | AntennaGain enum | ||
138 | " | ||
139 | fontSize 14 | ||
140 | fontName "Consolas" | ||
141 | alignment "left" | ||
142 | anchor "tl" | ||
143 | borderDistance 6 | ||
144 | ] | ||
145 | ] | ||
146 | |||
147 | node | ||
148 | [ | ||
149 | id 4 | ||
150 | graphics | ||
151 | [ | ||
152 | w 235.4 | ||
153 | h 40 | ||
154 | type "rectangle" | ||
155 | fill "#FFFFFF" | ||
156 | fill2 "#FFFFFF" | ||
157 | outline "#000000" | ||
158 | ] | ||
159 | LabelGraphics | ||
160 | [ | ||
161 | text "MEDIUM literal AntennaGain" | ||
162 | outline "#000000" | ||
163 | fill "#FFFFFF" | ||
164 | fontSize 16 | ||
165 | fontName "Monospace" | ||
166 | autoSizePolicy "node_width" | ||
167 | anchor "t" | ||
168 | borderDistance 0.0 | ||
169 | ] | ||
170 | LabelGraphics | ||
171 | [ | ||
172 | text " | ||
173 | AntennaGain enum | ||
174 | " | ||
175 | fontSize 14 | ||
176 | fontName "Consolas" | ||
177 | alignment "left" | ||
178 | anchor "tl" | ||
179 | borderDistance 6 | ||
180 | ] | ||
181 | ] | ||
182 | |||
183 | node | ||
184 | [ | ||
185 | id 5 | ||
186 | graphics | ||
187 | [ | ||
188 | w 217.8 | ||
189 | h 40 | ||
190 | type "rectangle" | ||
191 | fill "#FFFFFF" | ||
192 | fill2 "#FFFFFF" | ||
193 | outline "#000000" | ||
194 | ] | ||
195 | LabelGraphics | ||
196 | [ | ||
197 | text "HIGH literal AntennaGain" | ||
198 | outline "#000000" | ||
199 | fill "#FFFFFF" | ||
200 | fontSize 16 | ||
201 | fontName "Monospace" | ||
202 | autoSizePolicy "node_width" | ||
203 | anchor "t" | ||
204 | borderDistance 0.0 | ||
205 | ] | ||
206 | LabelGraphics | ||
207 | [ | ||
208 | text " | ||
209 | AntennaGain enum | ||
210 | " | ||
211 | fontSize 14 | ||
212 | fontName "Consolas" | ||
213 | alignment "left" | ||
214 | anchor "tl" | ||
215 | borderDistance 6 | ||
216 | ] | ||
217 | ] | ||
218 | |||
219 | node | ||
220 | [ | ||
221 | id 6 | ||
222 | graphics | ||
223 | [ | ||
224 | w 288.20000000000005 | ||
225 | h 40 | ||
226 | type "rectangle" | ||
227 | fill "#FFFFFF" | ||
228 | fill2 "#FFFFFF" | ||
229 | outline "#000000" | ||
230 | ] | ||
231 | LabelGraphics | ||
232 | [ | ||
233 | text "CubeSat3U literal SpacecraftKind" | ||
234 | outline "#000000" | ||
235 | fill "#FFFFFF" | ||
236 | fontSize 16 | ||
237 | fontName "Monospace" | ||
238 | autoSizePolicy "node_width" | ||
239 | anchor "t" | ||
240 | borderDistance 0.0 | ||
241 | ] | ||
242 | LabelGraphics | ||
243 | [ | ||
244 | text " | ||
245 | SpacecraftKind enum | ||
246 | " | ||
247 | fontSize 14 | ||
248 | fontName "Consolas" | ||
249 | alignment "left" | ||
250 | anchor "tl" | ||
251 | borderDistance 6 | ||
252 | ] | ||
253 | ] | ||
254 | |||
255 | node | ||
256 | [ | ||
257 | id 7 | ||
258 | graphics | ||
259 | [ | ||
260 | w 288.20000000000005 | ||
261 | h 40 | ||
262 | type "rectangle" | ||
263 | fill "#FFFFFF" | ||
264 | fill2 "#FFFFFF" | ||
265 | outline "#000000" | ||
266 | ] | ||
267 | LabelGraphics | ||
268 | [ | ||
269 | text "CubeSat6U literal SpacecraftKind" | ||
270 | outline "#000000" | ||
271 | fill "#FFFFFF" | ||
272 | fontSize 16 | ||
273 | fontName "Monospace" | ||
274 | autoSizePolicy "node_width" | ||
275 | anchor "t" | ||
276 | borderDistance 0.0 | ||
277 | ] | ||
278 | LabelGraphics | ||
279 | [ | ||
280 | text " | ||
281 | SpacecraftKind enum | ||
282 | " | ||
283 | fontSize 14 | ||
284 | fontName "Consolas" | ||
285 | alignment "left" | ||
286 | anchor "tl" | ||
287 | borderDistance 6 | ||
288 | ] | ||
289 | ] | ||
290 | |||
291 | node | ||
292 | [ | ||
293 | id 8 | ||
294 | graphics | ||
295 | [ | ||
296 | w 279.40000000000003 | ||
297 | h 40 | ||
298 | type "rectangle" | ||
299 | fill "#FFFFFF" | ||
300 | fill2 "#FFFFFF" | ||
301 | outline "#000000" | ||
302 | ] | ||
303 | LabelGraphics | ||
304 | [ | ||
305 | text "SmallSat literal SpacecraftKind" | ||
306 | outline "#000000" | ||
307 | fill "#FFFFFF" | ||
308 | fontSize 16 | ||
309 | fontName "Monospace" | ||
310 | autoSizePolicy "node_width" | ||
311 | anchor "t" | ||
312 | borderDistance 0.0 | ||
313 | ] | ||
314 | LabelGraphics | ||
315 | [ | ||
316 | text " | ||
317 | SpacecraftKind enum | ||
318 | " | ||
319 | fontSize 14 | ||
320 | fontName "Consolas" | ||
321 | alignment "left" | ||
322 | anchor "tl" | ||
323 | borderDistance 6 | ||
324 | ] | ||
325 | ] | ||
326 | |||
327 | node | ||
328 | [ | ||
329 | id 9 | ||
330 | graphics | ||
331 | [ | ||
332 | w 315.70000000000005 | 8 | w 315.70000000000005 |
333 | h 82 | 9 | h 82 |
334 | type "rectangle" | 10 | type "rectangle" |
@@ -365,7 +41,7 @@ graph | |||
365 | 41 | ||
366 | node | 42 | node |
367 | [ | 43 | [ |
368 | id 10 | 44 | id 1 |
369 | graphics | 45 | graphics |
370 | [ | 46 | [ |
371 | w 308.0 | 47 | w 308.0 |
@@ -404,11 +80,11 @@ graph | |||
404 | 80 | ||
405 | node | 81 | node |
406 | [ | 82 | [ |
407 | id 11 | 83 | id 2 |
408 | graphics | 84 | graphics |
409 | [ | 85 | [ |
410 | w 254.10000000000002 | 86 | w 261.8 |
411 | h 54 | 87 | h 82 |
412 | type "rectangle" | 88 | type "rectangle" |
413 | fill "#FFFFFF" | 89 | fill "#FFFFFF" |
414 | fill2 "#FFFFFF" | 90 | fill2 "#FFFFFF" |
@@ -429,7 +105,9 @@ graph | |||
429 | [ | 105 | [ |
430 | text " | 106 | text " |
431 | CommSubsystem class DefinedPart | 107 | CommSubsystem class DefinedPart |
108 | XCommSubsystem class DefinedPart | ||
432 | CommSubsystem class | 109 | CommSubsystem class |
110 | XCommSubsystem class | ||
433 | " | 111 | " |
434 | fontSize 14 | 112 | fontSize 14 |
435 | fontName "Consolas" | 113 | fontName "Consolas" |
@@ -441,11 +119,11 @@ graph | |||
441 | 119 | ||
442 | node | 120 | node |
443 | [ | 121 | [ |
444 | id 12 | 122 | id 3 |
445 | graphics | 123 | graphics |
446 | [ | 124 | [ |
447 | w 254.10000000000002 | 125 | w 269.5 |
448 | h 54 | 126 | h 82 |
449 | type "rectangle" | 127 | type "rectangle" |
450 | fill "#FFFFFF" | 128 | fill "#FFFFFF" |
451 | fill2 "#FFFFFF" | 129 | fill2 "#FFFFFF" |
@@ -466,7 +144,9 @@ graph | |||
466 | [ | 144 | [ |
467 | text " | 145 | text " |
468 | CommSubsystem class DefinedPart | 146 | CommSubsystem class DefinedPart |
147 | KaCommSubsystem class DefinedPart | ||
469 | CommSubsystem class | 148 | CommSubsystem class |
149 | KaCommSubsystem class | ||
470 | " | 150 | " |
471 | fontSize 14 | 151 | fontSize 14 |
472 | fontName "Consolas" | 152 | fontName "Consolas" |
@@ -478,7 +158,7 @@ graph | |||
478 | 158 | ||
479 | node | 159 | node |
480 | [ | 160 | [ |
481 | id 13 | 161 | id 4 |
482 | graphics | 162 | graphics |
483 | [ | 163 | [ |
484 | w 41.800000000000004 | 164 | w 41.800000000000004 |
@@ -513,7 +193,7 @@ graph | |||
513 | 193 | ||
514 | node | 194 | node |
515 | [ | 195 | [ |
516 | id 14 | 196 | id 5 |
517 | graphics | 197 | graphics |
518 | [ | 198 | [ |
519 | w 50.6 | 199 | w 50.6 |
@@ -548,7 +228,7 @@ graph | |||
548 | 228 | ||
549 | node | 229 | node |
550 | [ | 230 | [ |
551 | id 15 | 231 | id 6 |
552 | graphics | 232 | graphics |
553 | [ | 233 | [ |
554 | w 323.40000000000003 | 234 | w 323.40000000000003 |
@@ -574,7 +254,7 @@ graph | |||
574 | text " | 254 | text " |
575 | CommunicatingElement class | 255 | CommunicatingElement class |
576 | Spacecraft class | 256 | Spacecraft class |
577 | CubeSat6U class | 257 | CubeSat3U class |
578 | CubeSat class | 258 | CubeSat class |
579 | CommunicatingElement class UndefinedPart | 259 | CommunicatingElement class UndefinedPart |
580 | " | 260 | " |
@@ -588,11 +268,11 @@ graph | |||
588 | 268 | ||
589 | node | 269 | node |
590 | [ | 270 | [ |
591 | id 16 | 271 | id 7 |
592 | graphics | 272 | graphics |
593 | [ | 273 | [ |
594 | w 323.40000000000003 | 274 | w 277.20000000000005 |
595 | h 96 | 275 | h 82 |
596 | type "rectangle" | 276 | type "rectangle" |
597 | fill "#FFFFFF" | 277 | fill "#FFFFFF" |
598 | fill2 "#FFFFFF" | 278 | fill2 "#FFFFFF" |
@@ -612,11 +292,10 @@ graph | |||
612 | LabelGraphics | 292 | LabelGraphics |
613 | [ | 293 | [ |
614 | text " | 294 | text " |
615 | CommunicatingElement class | 295 | CommSubsystem class |
616 | Spacecraft class | 296 | XCommSubsystem class |
617 | CubeSat3U class | 297 | CommSubsystem class UndefinedPart |
618 | CubeSat class | 298 | XCommSubsystem class UndefinedPart |
619 | CommunicatingElement class UndefinedPart | ||
620 | " | 299 | " |
621 | fontSize 14 | 300 | fontSize 14 |
622 | fontName "Consolas" | 301 | fontName "Consolas" |
@@ -628,11 +307,11 @@ graph | |||
628 | 307 | ||
629 | node | 308 | node |
630 | [ | 309 | [ |
631 | id 17 | 310 | id 8 |
632 | graphics | 311 | graphics |
633 | [ | 312 | [ |
634 | w 223.3 | 313 | w 277.20000000000005 |
635 | h 54 | 314 | h 82 |
636 | type "rectangle" | 315 | type "rectangle" |
637 | fill "#FFFFFF" | 316 | fill "#FFFFFF" |
638 | fill2 "#FFFFFF" | 317 | fill2 "#FFFFFF" |
@@ -652,8 +331,10 @@ graph | |||
652 | LabelGraphics | 331 | LabelGraphics |
653 | [ | 332 | [ |
654 | text " | 333 | text " |
655 | Payload class | 334 | CommSubsystem class |
656 | InterferometryPayload class | 335 | XCommSubsystem class |
336 | CommSubsystem class UndefinedPart | ||
337 | XCommSubsystem class UndefinedPart | ||
657 | " | 338 | " |
658 | fontSize 14 | 339 | fontSize 14 |
659 | fontName "Consolas" | 340 | fontName "Consolas" |
@@ -665,11 +346,11 @@ graph | |||
665 | 346 | ||
666 | node | 347 | node |
667 | [ | 348 | [ |
668 | id 18 | 349 | id 9 |
669 | graphics | 350 | graphics |
670 | [ | 351 | [ |
671 | w 269.5 | 352 | w 323.40000000000003 |
672 | h 54 | 353 | h 82 |
673 | type "rectangle" | 354 | type "rectangle" |
674 | fill "#FFFFFF" | 355 | fill "#FFFFFF" |
675 | fill2 "#FFFFFF" | 356 | fill2 "#FFFFFF" |
@@ -689,8 +370,10 @@ graph | |||
689 | LabelGraphics | 370 | LabelGraphics |
690 | [ | 371 | [ |
691 | text " | 372 | text " |
692 | CommSubsystem class | 373 | CommunicatingElement class |
693 | CommSubsystem class UndefinedPart | 374 | Spacecraft class |
375 | SmallSat class | ||
376 | CommunicatingElement class UndefinedPart | ||
694 | " | 377 | " |
695 | fontSize 14 | 378 | fontSize 14 |
696 | fontName "Consolas" | 379 | fontName "Consolas" |
@@ -702,11 +385,11 @@ graph | |||
702 | 385 | ||
703 | node | 386 | node |
704 | [ | 387 | [ |
705 | id 19 | 388 | id 10 |
706 | graphics | 389 | graphics |
707 | [ | 390 | [ |
708 | w 223.3 | 391 | w 277.20000000000005 |
709 | h 54 | 392 | h 82 |
710 | type "rectangle" | 393 | type "rectangle" |
711 | fill "#FFFFFF" | 394 | fill "#FFFFFF" |
712 | fill2 "#FFFFFF" | 395 | fill2 "#FFFFFF" |
@@ -726,8 +409,10 @@ graph | |||
726 | LabelGraphics | 409 | LabelGraphics |
727 | [ | 410 | [ |
728 | text " | 411 | text " |
729 | Payload class | 412 | CommSubsystem class |
730 | InterferometryPayload class | 413 | XCommSubsystem class |
414 | CommSubsystem class UndefinedPart | ||
415 | XCommSubsystem class UndefinedPart | ||
731 | " | 416 | " |
732 | fontSize 14 | 417 | fontSize 14 |
733 | fontName "Consolas" | 418 | fontName "Consolas" |
@@ -739,10 +424,10 @@ graph | |||
739 | 424 | ||
740 | node | 425 | node |
741 | [ | 426 | [ |
742 | id 20 | 427 | id 11 |
743 | graphics | 428 | graphics |
744 | [ | 429 | [ |
745 | w 269.5 | 430 | w 223.3 |
746 | h 54 | 431 | h 54 |
747 | type "rectangle" | 432 | type "rectangle" |
748 | fill "#FFFFFF" | 433 | fill "#FFFFFF" |
@@ -763,8 +448,8 @@ graph | |||
763 | LabelGraphics | 448 | LabelGraphics |
764 | [ | 449 | [ |
765 | text " | 450 | text " |
766 | CommSubsystem class | 451 | Payload class |
767 | CommSubsystem class UndefinedPart | 452 | InterferometryPayload class |
768 | " | 453 | " |
769 | fontSize 14 | 454 | fontSize 14 |
770 | fontName "Consolas" | 455 | fontName "Consolas" |
@@ -776,11 +461,11 @@ graph | |||
776 | 461 | ||
777 | node | 462 | node |
778 | [ | 463 | [ |
779 | id 21 | 464 | id 12 |
780 | graphics | 465 | graphics |
781 | [ | 466 | [ |
782 | w 254.10000000000002 | 467 | w 223.3 |
783 | h 40 | 468 | h 54 |
784 | type "rectangle" | 469 | type "rectangle" |
785 | fill "#FFFFFF" | 470 | fill "#FFFFFF" |
786 | fill2 "#FFFFFF" | 471 | fill2 "#FFFFFF" |
@@ -800,7 +485,8 @@ graph | |||
800 | LabelGraphics | 485 | LabelGraphics |
801 | [ | 486 | [ |
802 | text " | 487 | text " |
803 | DirectedCommunicationLink class | 488 | Payload class |
489 | InterferometryPayload class | ||
804 | " | 490 | " |
805 | fontSize 14 | 491 | fontSize 14 |
806 | fontName "Consolas" | 492 | fontName "Consolas" |
@@ -812,11 +498,11 @@ graph | |||
812 | 498 | ||
813 | node | 499 | node |
814 | [ | 500 | [ |
815 | id 22 | 501 | id 13 |
816 | graphics | 502 | graphics |
817 | [ | 503 | [ |
818 | w 269.5 | 504 | w 284.90000000000003 |
819 | h 54 | 505 | h 82 |
820 | type "rectangle" | 506 | type "rectangle" |
821 | fill "#FFFFFF" | 507 | fill "#FFFFFF" |
822 | fill2 "#FFFFFF" | 508 | fill2 "#FFFFFF" |
@@ -837,7 +523,9 @@ graph | |||
837 | [ | 523 | [ |
838 | text " | 524 | text " |
839 | CommSubsystem class | 525 | CommSubsystem class |
526 | KaCommSubsystem class | ||
840 | CommSubsystem class UndefinedPart | 527 | CommSubsystem class UndefinedPart |
528 | KaCommSubsystem class UndefinedPart | ||
841 | " | 529 | " |
842 | fontSize 14 | 530 | fontSize 14 |
843 | fontName "Consolas" | 531 | fontName "Consolas" |
@@ -849,11 +537,11 @@ graph | |||
849 | 537 | ||
850 | node | 538 | node |
851 | [ | 539 | [ |
852 | id 23 | 540 | id 14 |
853 | graphics | 541 | graphics |
854 | [ | 542 | [ |
855 | w 269.5 | 543 | w 254.10000000000002 |
856 | h 54 | 544 | h 40 |
857 | type "rectangle" | 545 | type "rectangle" |
858 | fill "#FFFFFF" | 546 | fill "#FFFFFF" |
859 | fill2 "#FFFFFF" | 547 | fill2 "#FFFFFF" |
@@ -873,8 +561,7 @@ graph | |||
873 | LabelGraphics | 561 | LabelGraphics |
874 | [ | 562 | [ |
875 | text " | 563 | text " |
876 | CommSubsystem class | 564 | DirectedCommunicationLink class |
877 | CommSubsystem class UndefinedPart | ||
878 | " | 565 | " |
879 | fontSize 14 | 566 | fontSize 14 |
880 | fontName "Consolas" | 567 | fontName "Consolas" |
@@ -886,7 +573,7 @@ graph | |||
886 | 573 | ||
887 | node | 574 | node |
888 | [ | 575 | [ |
889 | id 24 | 576 | id 15 |
890 | graphics | 577 | graphics |
891 | [ | 578 | [ |
892 | w 254.10000000000002 | 579 | w 254.10000000000002 |
@@ -922,7 +609,7 @@ graph | |||
922 | 609 | ||
923 | node | 610 | node |
924 | [ | 611 | [ |
925 | id 25 | 612 | id 16 |
926 | graphics | 613 | graphics |
927 | [ | 614 | [ |
928 | w 112.2 | 615 | w 112.2 |
@@ -957,7 +644,7 @@ graph | |||
957 | 644 | ||
958 | node | 645 | node |
959 | [ | 646 | [ |
960 | id 26 | 647 | id 17 |
961 | graphics | 648 | graphics |
962 | [ | 649 | [ |
963 | w 85.80000000000001 | 650 | w 85.80000000000001 |
@@ -992,7 +679,7 @@ graph | |||
992 | 679 | ||
993 | node | 680 | node |
994 | [ | 681 | [ |
995 | id 27 | 682 | id 18 |
996 | graphics | 683 | graphics |
997 | [ | 684 | [ |
998 | w 103.4 | 685 | w 103.4 |
@@ -1027,7 +714,7 @@ graph | |||
1027 | 714 | ||
1028 | node | 715 | node |
1029 | [ | 716 | [ |
1030 | id 28 | 717 | id 19 |
1031 | graphics | 718 | graphics |
1032 | [ | 719 | [ |
1033 | w 103.4 | 720 | w 103.4 |
@@ -1061,8 +748,8 @@ graph | |||
1061 | ] | 748 | ] |
1062 | edge | 749 | edge |
1063 | [ | 750 | [ |
1064 | source 9 | 751 | source 0 |
1065 | target 10 | 752 | target 1 |
1066 | graphics | 753 | graphics |
1067 | [ | 754 | [ |
1068 | fill "#000000" | 755 | fill "#000000" |
@@ -1081,8 +768,8 @@ graph | |||
1081 | ] | 768 | ] |
1082 | edge | 769 | edge |
1083 | [ | 770 | [ |
1084 | source 9 | 771 | source 0 |
1085 | target 15 | 772 | target 6 |
1086 | graphics | 773 | graphics |
1087 | [ | 774 | [ |
1088 | fill "#000000" | 775 | fill "#000000" |
@@ -1101,8 +788,8 @@ graph | |||
1101 | ] | 788 | ] |
1102 | edge | 789 | edge |
1103 | [ | 790 | [ |
1104 | source 9 | 791 | source 0 |
1105 | target 16 | 792 | target 9 |
1106 | graphics | 793 | graphics |
1107 | [ | 794 | [ |
1108 | fill "#000000" | 795 | fill "#000000" |
@@ -1121,8 +808,8 @@ graph | |||
1121 | ] | 808 | ] |
1122 | edge | 809 | edge |
1123 | [ | 810 | [ |
1124 | source 10 | 811 | source 1 |
1125 | target 11 | 812 | target 2 |
1126 | graphics | 813 | graphics |
1127 | [ | 814 | [ |
1128 | fill "#000000" | 815 | fill "#000000" |
@@ -1141,8 +828,8 @@ graph | |||
1141 | ] | 828 | ] |
1142 | edge | 829 | edge |
1143 | [ | 830 | [ |
1144 | source 10 | 831 | source 1 |
1145 | target 12 | 832 | target 3 |
1146 | graphics | 833 | graphics |
1147 | [ | 834 | [ |
1148 | fill "#000000" | 835 | fill "#000000" |
@@ -1161,8 +848,8 @@ graph | |||
1161 | ] | 848 | ] |
1162 | edge | 849 | edge |
1163 | [ | 850 | [ |
1164 | source 15 | 851 | source 6 |
1165 | target 18 | 852 | target 7 |
1166 | graphics | 853 | graphics |
1167 | [ | 854 | [ |
1168 | fill "#000000" | 855 | fill "#000000" |
@@ -1181,8 +868,8 @@ graph | |||
1181 | ] | 868 | ] |
1182 | edge | 869 | edge |
1183 | [ | 870 | [ |
1184 | source 16 | 871 | source 6 |
1185 | target 20 | 872 | target 8 |
1186 | graphics | 873 | graphics |
1187 | [ | 874 | [ |
1188 | fill "#000000" | 875 | fill "#000000" |
@@ -1201,8 +888,8 @@ graph | |||
1201 | ] | 888 | ] |
1202 | edge | 889 | edge |
1203 | [ | 890 | [ |
1204 | source 15 | 891 | source 9 |
1205 | target 22 | 892 | target 10 |
1206 | graphics | 893 | graphics |
1207 | [ | 894 | [ |
1208 | fill "#000000" | 895 | fill "#000000" |
@@ -1221,8 +908,8 @@ graph | |||
1221 | ] | 908 | ] |
1222 | edge | 909 | edge |
1223 | [ | 910 | [ |
1224 | source 16 | 911 | source 9 |
1225 | target 23 | 912 | target 13 |
1226 | graphics | 913 | graphics |
1227 | [ | 914 | [ |
1228 | fill "#000000" | 915 | fill "#000000" |
@@ -1241,8 +928,8 @@ graph | |||
1241 | ] | 928 | ] |
1242 | edge | 929 | edge |
1243 | [ | 930 | [ |
1244 | source 15 | 931 | source 9 |
1245 | target 21 | 932 | target 14 |
1246 | graphics | 933 | graphics |
1247 | [ | 934 | [ |
1248 | fill "#000000" | 935 | fill "#000000" |
@@ -1261,8 +948,8 @@ graph | |||
1261 | ] | 948 | ] |
1262 | edge | 949 | edge |
1263 | [ | 950 | [ |
1264 | source 16 | 951 | source 6 |
1265 | target 24 | 952 | target 15 |
1266 | graphics | 953 | graphics |
1267 | [ | 954 | [ |
1268 | fill "#000000" | 955 | fill "#000000" |
@@ -1281,8 +968,8 @@ graph | |||
1281 | ] | 968 | ] |
1282 | edge | 969 | edge |
1283 | [ | 970 | [ |
1284 | source 16 | 971 | source 6 |
1285 | target 17 | 972 | target 11 |
1286 | graphics | 973 | graphics |
1287 | [ | 974 | [ |
1288 | fill "#000000" | 975 | fill "#000000" |
@@ -1301,8 +988,8 @@ graph | |||
1301 | ] | 988 | ] |
1302 | edge | 989 | edge |
1303 | [ | 990 | [ |
1304 | source 15 | 991 | source 9 |
1305 | target 19 | 992 | target 12 |
1306 | graphics | 993 | graphics |
1307 | [ | 994 | [ |
1308 | fill "#000000" | 995 | fill "#000000" |
@@ -1321,8 +1008,8 @@ graph | |||
1321 | ] | 1008 | ] |
1322 | edge | 1009 | edge |
1323 | [ | 1010 | [ |
1324 | source 21 | 1011 | source 14 |
1325 | target 18 | 1012 | target 13 |
1326 | graphics | 1013 | graphics |
1327 | [ | 1014 | [ |
1328 | fill "#000000" | 1015 | fill "#000000" |
@@ -1340,8 +1027,8 @@ graph | |||
1340 | ] | 1027 | ] |
1341 | edge | 1028 | edge |
1342 | [ | 1029 | [ |
1343 | source 24 | 1030 | source 15 |
1344 | target 23 | 1031 | target 7 |
1345 | graphics | 1032 | graphics |
1346 | [ | 1033 | [ |
1347 | fill "#000000" | 1034 | fill "#000000" |
@@ -1359,8 +1046,8 @@ graph | |||
1359 | ] | 1046 | ] |
1360 | edge | 1047 | edge |
1361 | [ | 1048 | [ |
1362 | source 21 | 1049 | source 14 |
1363 | target 12 | 1050 | target 3 |
1364 | graphics | 1051 | graphics |
1365 | [ | 1052 | [ |
1366 | fill "#000000" | 1053 | fill "#000000" |
@@ -1378,64 +1065,7 @@ graph | |||
1378 | ] | 1065 | ] |
1379 | edge | 1066 | edge |
1380 | [ | 1067 | [ |
1381 | source 24 | 1068 | source 15 |
1382 | target 11 | ||
1383 | graphics | ||
1384 | [ | ||
1385 | fill "#000000" | ||
1386 | targetArrow "standard" | ||
1387 | ] | ||
1388 | LabelGraphics | ||
1389 | [ | ||
1390 | text "target reference DirectedCommunicationLink" | ||
1391 | fontSize 14 | ||
1392 | fontName "Consolas" | ||
1393 | configuration "AutoFlippingLabel" | ||
1394 | model "six_pos" | ||
1395 | position "thead" | ||
1396 | ] | ||
1397 | ] | ||
1398 | edge | ||
1399 | [ | ||
1400 | source 11 | ||
1401 | target 1 | ||
1402 | graphics | ||
1403 | [ | ||
1404 | fill "#000000" | ||
1405 | targetArrow "standard" | ||
1406 | ] | ||
1407 | LabelGraphics | ||
1408 | [ | ||
1409 | text "band attribute CommSubsystem" | ||
1410 | fontSize 14 | ||
1411 | fontName "Consolas" | ||
1412 | configuration "AutoFlippingLabel" | ||
1413 | model "six_pos" | ||
1414 | position "thead" | ||
1415 | ] | ||
1416 | ] | ||
1417 | edge | ||
1418 | [ | ||
1419 | source 12 | ||
1420 | target 2 | ||
1421 | graphics | ||
1422 | [ | ||
1423 | fill "#000000" | ||
1424 | targetArrow "standard" | ||
1425 | ] | ||
1426 | LabelGraphics | ||
1427 | [ | ||
1428 | text "band attribute CommSubsystem" | ||
1429 | fontSize 14 | ||
1430 | fontName "Consolas" | ||
1431 | configuration "AutoFlippingLabel" | ||
1432 | model "six_pos" | ||
1433 | position "thead" | ||
1434 | ] | ||
1435 | ] | ||
1436 | edge | ||
1437 | [ | ||
1438 | source 18 | ||
1439 | target 2 | 1069 | target 2 |
1440 | graphics | 1070 | graphics |
1441 | [ | 1071 | [ |
@@ -1444,178 +1074,7 @@ graph | |||
1444 | ] | 1074 | ] |
1445 | LabelGraphics | 1075 | LabelGraphics |
1446 | [ | 1076 | [ |
1447 | text "band attribute CommSubsystem" | 1077 | text "target reference DirectedCommunicationLink" |
1448 | fontSize 14 | ||
1449 | fontName "Consolas" | ||
1450 | configuration "AutoFlippingLabel" | ||
1451 | model "six_pos" | ||
1452 | position "thead" | ||
1453 | ] | ||
1454 | ] | ||
1455 | edge | ||
1456 | [ | ||
1457 | source 20 | ||
1458 | target 1 | ||
1459 | graphics | ||
1460 | [ | ||
1461 | fill "#000000" | ||
1462 | targetArrow "standard" | ||
1463 | ] | ||
1464 | LabelGraphics | ||
1465 | [ | ||
1466 | text "band attribute CommSubsystem" | ||
1467 | fontSize 14 | ||
1468 | fontName "Consolas" | ||
1469 | configuration "AutoFlippingLabel" | ||
1470 | model "six_pos" | ||
1471 | position "thead" | ||
1472 | ] | ||
1473 | ] | ||
1474 | edge | ||
1475 | [ | ||
1476 | source 22 | ||
1477 | target 1 | ||
1478 | graphics | ||
1479 | [ | ||
1480 | fill "#000000" | ||
1481 | targetArrow "standard" | ||
1482 | ] | ||
1483 | LabelGraphics | ||
1484 | [ | ||
1485 | text "band attribute CommSubsystem" | ||
1486 | fontSize 14 | ||
1487 | fontName "Consolas" | ||
1488 | configuration "AutoFlippingLabel" | ||
1489 | model "six_pos" | ||
1490 | position "thead" | ||
1491 | ] | ||
1492 | ] | ||
1493 | edge | ||
1494 | [ | ||
1495 | source 23 | ||
1496 | target 1 | ||
1497 | graphics | ||
1498 | [ | ||
1499 | fill "#000000" | ||
1500 | targetArrow "standard" | ||
1501 | ] | ||
1502 | LabelGraphics | ||
1503 | [ | ||
1504 | text "band attribute CommSubsystem" | ||
1505 | fontSize 14 | ||
1506 | fontName "Consolas" | ||
1507 | configuration "AutoFlippingLabel" | ||
1508 | model "six_pos" | ||
1509 | position "thead" | ||
1510 | ] | ||
1511 | ] | ||
1512 | edge | ||
1513 | [ | ||
1514 | source 11 | ||
1515 | target 4 | ||
1516 | graphics | ||
1517 | [ | ||
1518 | fill "#000000" | ||
1519 | targetArrow "standard" | ||
1520 | ] | ||
1521 | LabelGraphics | ||
1522 | [ | ||
1523 | text "gain attribute CommSubsystem" | ||
1524 | fontSize 14 | ||
1525 | fontName "Consolas" | ||
1526 | configuration "AutoFlippingLabel" | ||
1527 | model "six_pos" | ||
1528 | position "thead" | ||
1529 | ] | ||
1530 | ] | ||
1531 | edge | ||
1532 | [ | ||
1533 | source 12 | ||
1534 | target 5 | ||
1535 | graphics | ||
1536 | [ | ||
1537 | fill "#000000" | ||
1538 | targetArrow "standard" | ||
1539 | ] | ||
1540 | LabelGraphics | ||
1541 | [ | ||
1542 | text "gain attribute CommSubsystem" | ||
1543 | fontSize 14 | ||
1544 | fontName "Consolas" | ||
1545 | configuration "AutoFlippingLabel" | ||
1546 | model "six_pos" | ||
1547 | position "thead" | ||
1548 | ] | ||
1549 | ] | ||
1550 | edge | ||
1551 | [ | ||
1552 | source 18 | ||
1553 | target 5 | ||
1554 | graphics | ||
1555 | [ | ||
1556 | fill "#000000" | ||
1557 | targetArrow "standard" | ||
1558 | ] | ||
1559 | LabelGraphics | ||
1560 | [ | ||
1561 | text "gain attribute CommSubsystem" | ||
1562 | fontSize 14 | ||
1563 | fontName "Consolas" | ||
1564 | configuration "AutoFlippingLabel" | ||
1565 | model "six_pos" | ||
1566 | position "thead" | ||
1567 | ] | ||
1568 | ] | ||
1569 | edge | ||
1570 | [ | ||
1571 | source 20 | ||
1572 | target 5 | ||
1573 | graphics | ||
1574 | [ | ||
1575 | fill "#000000" | ||
1576 | targetArrow "standard" | ||
1577 | ] | ||
1578 | LabelGraphics | ||
1579 | [ | ||
1580 | text "gain attribute CommSubsystem" | ||
1581 | fontSize 14 | ||
1582 | fontName "Consolas" | ||
1583 | configuration "AutoFlippingLabel" | ||
1584 | model "six_pos" | ||
1585 | position "thead" | ||
1586 | ] | ||
1587 | ] | ||
1588 | edge | ||
1589 | [ | ||
1590 | source 22 | ||
1591 | target 5 | ||
1592 | graphics | ||
1593 | [ | ||
1594 | fill "#000000" | ||
1595 | targetArrow "standard" | ||
1596 | ] | ||
1597 | LabelGraphics | ||
1598 | [ | ||
1599 | text "gain attribute CommSubsystem" | ||
1600 | fontSize 14 | ||
1601 | fontName "Consolas" | ||
1602 | configuration "AutoFlippingLabel" | ||
1603 | model "six_pos" | ||
1604 | position "thead" | ||
1605 | ] | ||
1606 | ] | ||
1607 | edge | ||
1608 | [ | ||
1609 | source 23 | ||
1610 | target 4 | ||
1611 | graphics | ||
1612 | [ | ||
1613 | fill "#000000" | ||
1614 | targetArrow "standard" | ||
1615 | ] | ||
1616 | LabelGraphics | ||
1617 | [ | ||
1618 | text "gain attribute CommSubsystem" | ||
1619 | fontSize 14 | 1078 | fontSize 14 |
1620 | fontName "Consolas" | 1079 | fontName "Consolas" |
1621 | configuration "AutoFlippingLabel" | 1080 | configuration "AutoFlippingLabel" |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png index 832f8b42..bc4de349 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi index 44ca2b3e..bf29d722 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi | |||
@@ -1,19 +1,19 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | 1 | <?xml version="1.0" encoding="ASCII"?> |
2 | <satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite model/satellite.ecore"> | 2 | <satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite model/satellite.ecore"> |
3 | <groundStationNetwork> | 3 | <groundStationNetwork> |
4 | <commSubsystem band="X" gain="MEDIUM"/> | 4 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
5 | <commSubsystem band="Ka" gain="HIGH"/> | 5 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
6 | </groundStationNetwork> | 6 | </groundStationNetwork> |
7 | <spacecraft xsi:type="satellite:CubeSat3U"> | 7 | <spacecraft xsi:type="satellite:SmallSat"> |
8 | <commSubsystem band="X" gain="HIGH"/> | 8 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
9 | <commSubsystem band="X" gain="MEDIUM"/> | 9 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
10 | <communicationLink source="//@spacecraft.0/@commSubsystem.1" target="//@groundStationNetwork/@commSubsystem.0"/> | 10 | <communicationLink source="//@spacecraft.0/@commSubsystem.0" target="//@groundStationNetwork/@commSubsystem.0"/> |
11 | <payload xsi:type="satellite:InterferometryPayload"/> | 11 | <payload xsi:type="satellite:InterferometryPayload"/> |
12 | </spacecraft> | 12 | </spacecraft> |
13 | <spacecraft xsi:type="satellite:CubeSat6U"> | 13 | <spacecraft xsi:type="satellite:CubeSat3U"> |
14 | <commSubsystem band="X" gain="HIGH"/> | 14 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
15 | <commSubsystem band="Ka" gain="HIGH"/> | 15 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
16 | <communicationLink source="//@spacecraft.1/@commSubsystem.1" target="//@groundStationNetwork/@commSubsystem.1"/> | 16 | <communicationLink source="//@spacecraft.1/@commSubsystem.0" target="//@groundStationNetwork/@commSubsystem.1"/> |
17 | <payload xsi:type="satellite:InterferometryPayload"/> | 17 | <payload xsi:type="satellite:InterferometryPayload"/> |
18 | </spacecraft> | 18 | </spacecraft> |
19 | </satellite:InterferometryMission> | 19 | </satellite:InterferometryMission> |