diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml | 182 | ||||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.png | bin | 677187 -> 552885 bytes | |||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.xmi | 40 |
3 files changed, 112 insertions, 110 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml index de337fc2..68fc38e5 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml | |||
@@ -270,8 +270,8 @@ graph | |||
270 | id 7 | 270 | id 7 |
271 | graphics | 271 | graphics |
272 | [ | 272 | [ |
273 | w 269.5 | 273 | w 223.3 |
274 | h 68 | 274 | h 54 |
275 | type "rectangle" | 275 | type "rectangle" |
276 | fill "#FFFFFF" | 276 | fill "#FFFFFF" |
277 | fill2 "#FFFFFF" | 277 | fill2 "#FFFFFF" |
@@ -291,9 +291,8 @@ graph | |||
291 | LabelGraphics | 291 | LabelGraphics |
292 | [ | 292 | [ |
293 | text " | 293 | text " |
294 | CommSubsystem class | 294 | Payload class |
295 | UHFCommSubsystem class | 295 | InterferometryPayload class |
296 | CommSubsystem class UndefinedPart | ||
297 | " | 296 | " |
298 | fontSize 14 | 297 | fontSize 14 |
299 | fontName "Consolas" | 298 | fontName "Consolas" |
@@ -308,8 +307,8 @@ graph | |||
308 | id 8 | 307 | id 8 |
309 | graphics | 308 | graphics |
310 | [ | 309 | [ |
311 | w 223.3 | 310 | w 269.5 |
312 | h 54 | 311 | h 68 |
313 | type "rectangle" | 312 | type "rectangle" |
314 | fill "#FFFFFF" | 313 | fill "#FFFFFF" |
315 | fill2 "#FFFFFF" | 314 | fill2 "#FFFFFF" |
@@ -329,8 +328,9 @@ graph | |||
329 | LabelGraphics | 328 | LabelGraphics |
330 | [ | 329 | [ |
331 | text " | 330 | text " |
332 | Payload class | 331 | CommSubsystem class |
333 | InterferometryPayload class | 332 | UHFCommSubsystem class |
333 | CommSubsystem class UndefinedPart | ||
334 | " | 334 | " |
335 | fontSize 14 | 335 | fontSize 14 |
336 | fontName "Consolas" | 336 | fontName "Consolas" |
@@ -407,7 +407,7 @@ graph | |||
407 | text " | 407 | text " |
408 | CommunicatingElement class | 408 | CommunicatingElement class |
409 | Spacecraft class | 409 | Spacecraft class |
410 | CubeSat6U class | 410 | CubeSat3U class |
411 | CubeSat class | 411 | CubeSat class |
412 | CommunicatingElement class UndefinedPart | 412 | CommunicatingElement class UndefinedPart |
413 | " | 413 | " |
@@ -577,8 +577,8 @@ graph | |||
577 | id 15 | 577 | id 15 |
578 | graphics | 578 | graphics |
579 | [ | 579 | [ |
580 | w 277.20000000000005 | 580 | w 269.5 |
581 | h 82 | 581 | h 68 |
582 | type "rectangle" | 582 | type "rectangle" |
583 | fill "#FFFFFF" | 583 | fill "#FFFFFF" |
584 | fill2 "#FFFFFF" | 584 | fill2 "#FFFFFF" |
@@ -599,9 +599,8 @@ graph | |||
599 | [ | 599 | [ |
600 | text " | 600 | text " |
601 | CommSubsystem class | 601 | CommSubsystem class |
602 | XCommSubsystem class | 602 | UHFCommSubsystem class |
603 | CommSubsystem class UndefinedPart | 603 | CommSubsystem class UndefinedPart |
604 | XCommSubsystem class UndefinedPart | ||
605 | " | 604 | " |
606 | fontSize 14 | 605 | fontSize 14 |
607 | fontName "Consolas" | 606 | fontName "Consolas" |
@@ -616,8 +615,8 @@ graph | |||
616 | id 16 | 615 | id 16 |
617 | graphics | 616 | graphics |
618 | [ | 617 | [ |
619 | w 223.3 | 618 | w 284.90000000000003 |
620 | h 54 | 619 | h 82 |
621 | type "rectangle" | 620 | type "rectangle" |
622 | fill "#FFFFFF" | 621 | fill "#FFFFFF" |
623 | fill2 "#FFFFFF" | 622 | fill2 "#FFFFFF" |
@@ -637,8 +636,10 @@ graph | |||
637 | LabelGraphics | 636 | LabelGraphics |
638 | [ | 637 | [ |
639 | text " | 638 | text " |
640 | Payload class | 639 | CommSubsystem class |
641 | InterferometryPayload class | 640 | KaCommSubsystem class |
641 | CommSubsystem class UndefinedPart | ||
642 | KaCommSubsystem class UndefinedPart | ||
642 | " | 643 | " |
643 | fontSize 14 | 644 | fontSize 14 |
644 | fontName "Consolas" | 645 | fontName "Consolas" |
@@ -653,8 +654,8 @@ graph | |||
653 | id 17 | 654 | id 17 |
654 | graphics | 655 | graphics |
655 | [ | 656 | [ |
656 | w 277.20000000000005 | 657 | w 223.3 |
657 | h 82 | 658 | h 54 |
658 | type "rectangle" | 659 | type "rectangle" |
659 | fill "#FFFFFF" | 660 | fill "#FFFFFF" |
660 | fill2 "#FFFFFF" | 661 | fill2 "#FFFFFF" |
@@ -674,10 +675,8 @@ graph | |||
674 | LabelGraphics | 675 | LabelGraphics |
675 | [ | 676 | [ |
676 | text " | 677 | text " |
677 | CommSubsystem class | 678 | Payload class |
678 | XCommSubsystem class | 679 | InterferometryPayload class |
679 | CommSubsystem class UndefinedPart | ||
680 | XCommSubsystem class UndefinedPart | ||
681 | " | 680 | " |
682 | fontSize 14 | 681 | fontSize 14 |
683 | fontName "Consolas" | 682 | fontName "Consolas" |
@@ -715,7 +714,7 @@ graph | |||
715 | text " | 714 | text " |
716 | CommunicatingElement class | 715 | CommunicatingElement class |
717 | Spacecraft class | 716 | Spacecraft class |
718 | CubeSat3U class | 717 | CubeSat6U class |
719 | CubeSat class | 718 | CubeSat class |
720 | CommunicatingElement class UndefinedPart | 719 | CommunicatingElement class UndefinedPart |
721 | " | 720 | " |
@@ -732,8 +731,8 @@ graph | |||
732 | id 19 | 731 | id 19 |
733 | graphics | 732 | graphics |
734 | [ | 733 | [ |
735 | w 269.5 | 734 | w 277.20000000000005 |
736 | h 68 | 735 | h 82 |
737 | type "rectangle" | 736 | type "rectangle" |
738 | fill "#FFFFFF" | 737 | fill "#FFFFFF" |
739 | fill2 "#FFFFFF" | 738 | fill2 "#FFFFFF" |
@@ -754,8 +753,9 @@ graph | |||
754 | [ | 753 | [ |
755 | text " | 754 | text " |
756 | CommSubsystem class | 755 | CommSubsystem class |
757 | UHFCommSubsystem class | 756 | XCommSubsystem class |
758 | CommSubsystem class UndefinedPart | 757 | CommSubsystem class UndefinedPart |
758 | XCommSubsystem class UndefinedPart | ||
759 | " | 759 | " |
760 | fontSize 14 | 760 | fontSize 14 |
761 | fontName "Consolas" | 761 | fontName "Consolas" |
@@ -770,8 +770,8 @@ graph | |||
770 | id 20 | 770 | id 20 |
771 | graphics | 771 | graphics |
772 | [ | 772 | [ |
773 | w 269.5 | 773 | w 277.20000000000005 |
774 | h 68 | 774 | h 82 |
775 | type "rectangle" | 775 | type "rectangle" |
776 | fill "#FFFFFF" | 776 | fill "#FFFFFF" |
777 | fill2 "#FFFFFF" | 777 | fill2 "#FFFFFF" |
@@ -792,8 +792,9 @@ graph | |||
792 | [ | 792 | [ |
793 | text " | 793 | text " |
794 | CommSubsystem class | 794 | CommSubsystem class |
795 | UHFCommSubsystem class | 795 | XCommSubsystem class |
796 | CommSubsystem class UndefinedPart | 796 | CommSubsystem class UndefinedPart |
797 | XCommSubsystem class UndefinedPart | ||
797 | " | 798 | " |
798 | fontSize 14 | 799 | fontSize 14 |
799 | fontName "Consolas" | 800 | fontName "Consolas" |
@@ -846,7 +847,7 @@ graph | |||
846 | graphics | 847 | graphics |
847 | [ | 848 | [ |
848 | w 323.40000000000003 | 849 | w 323.40000000000003 |
849 | h 82 | 850 | h 96 |
850 | type "rectangle" | 851 | type "rectangle" |
851 | fill "#FFFFFF" | 852 | fill "#FFFFFF" |
852 | fill2 "#FFFFFF" | 853 | fill2 "#FFFFFF" |
@@ -868,7 +869,8 @@ graph | |||
868 | text " | 869 | text " |
869 | CommunicatingElement class | 870 | CommunicatingElement class |
870 | Spacecraft class | 871 | Spacecraft class |
871 | SmallSat class | 872 | CubeSat3U class |
873 | CubeSat class | ||
872 | CommunicatingElement class UndefinedPart | 874 | CommunicatingElement class UndefinedPart |
873 | " | 875 | " |
874 | fontSize 14 | 876 | fontSize 14 |
@@ -884,8 +886,8 @@ graph | |||
884 | id 23 | 886 | id 23 |
885 | graphics | 887 | graphics |
886 | [ | 888 | [ |
887 | w 277.20000000000005 | 889 | w 269.5 |
888 | h 82 | 890 | h 68 |
889 | type "rectangle" | 891 | type "rectangle" |
890 | fill "#FFFFFF" | 892 | fill "#FFFFFF" |
891 | fill2 "#FFFFFF" | 893 | fill2 "#FFFFFF" |
@@ -906,9 +908,8 @@ graph | |||
906 | [ | 908 | [ |
907 | text " | 909 | text " |
908 | CommSubsystem class | 910 | CommSubsystem class |
909 | XCommSubsystem class | 911 | UHFCommSubsystem class |
910 | CommSubsystem class UndefinedPart | 912 | CommSubsystem class UndefinedPart |
911 | XCommSubsystem class UndefinedPart | ||
912 | " | 913 | " |
913 | fontSize 14 | 914 | fontSize 14 |
914 | fontName "Consolas" | 915 | fontName "Consolas" |
@@ -1000,7 +1001,7 @@ graph | |||
1000 | graphics | 1001 | graphics |
1001 | [ | 1002 | [ |
1002 | w 323.40000000000003 | 1003 | w 323.40000000000003 |
1003 | h 82 | 1004 | h 96 |
1004 | type "rectangle" | 1005 | type "rectangle" |
1005 | fill "#FFFFFF" | 1006 | fill "#FFFFFF" |
1006 | fill2 "#FFFFFF" | 1007 | fill2 "#FFFFFF" |
@@ -1022,7 +1023,8 @@ graph | |||
1022 | text " | 1023 | text " |
1023 | CommunicatingElement class | 1024 | CommunicatingElement class |
1024 | Spacecraft class | 1025 | Spacecraft class |
1025 | SmallSat class | 1026 | CubeSat3U class |
1027 | CubeSat class | ||
1026 | CommunicatingElement class UndefinedPart | 1028 | CommunicatingElement class UndefinedPart |
1027 | " | 1029 | " |
1028 | fontSize 14 | 1030 | fontSize 14 |
@@ -1038,8 +1040,8 @@ graph | |||
1038 | id 27 | 1040 | id 27 |
1039 | graphics | 1041 | graphics |
1040 | [ | 1042 | [ |
1041 | w 277.20000000000005 | 1043 | w 269.5 |
1042 | h 82 | 1044 | h 68 |
1043 | type "rectangle" | 1045 | type "rectangle" |
1044 | fill "#FFFFFF" | 1046 | fill "#FFFFFF" |
1045 | fill2 "#FFFFFF" | 1047 | fill2 "#FFFFFF" |
@@ -1060,9 +1062,8 @@ graph | |||
1060 | [ | 1062 | [ |
1061 | text " | 1063 | text " |
1062 | CommSubsystem class | 1064 | CommSubsystem class |
1063 | XCommSubsystem class | 1065 | UHFCommSubsystem class |
1064 | CommSubsystem class UndefinedPart | 1066 | CommSubsystem class UndefinedPart |
1065 | XCommSubsystem class UndefinedPart | ||
1066 | " | 1067 | " |
1067 | fontSize 14 | 1068 | fontSize 14 |
1068 | fontName "Consolas" | 1069 | fontName "Consolas" |
@@ -1077,8 +1078,8 @@ graph | |||
1077 | id 28 | 1078 | id 28 |
1078 | graphics | 1079 | graphics |
1079 | [ | 1080 | [ |
1080 | w 223.3 | 1081 | w 277.20000000000005 |
1081 | h 54 | 1082 | h 82 |
1082 | type "rectangle" | 1083 | type "rectangle" |
1083 | fill "#FFFFFF" | 1084 | fill "#FFFFFF" |
1084 | fill2 "#FFFFFF" | 1085 | fill2 "#FFFFFF" |
@@ -1098,8 +1099,10 @@ graph | |||
1098 | LabelGraphics | 1099 | LabelGraphics |
1099 | [ | 1100 | [ |
1100 | text " | 1101 | text " |
1101 | Payload class | 1102 | CommSubsystem class |
1102 | InterferometryPayload class | 1103 | XCommSubsystem class |
1104 | CommSubsystem class UndefinedPart | ||
1105 | XCommSubsystem class UndefinedPart | ||
1103 | " | 1106 | " |
1104 | fontSize 14 | 1107 | fontSize 14 |
1105 | fontName "Consolas" | 1108 | fontName "Consolas" |
@@ -1114,8 +1117,8 @@ graph | |||
1114 | id 29 | 1117 | id 29 |
1115 | graphics | 1118 | graphics |
1116 | [ | 1119 | [ |
1117 | w 284.90000000000003 | 1120 | w 223.3 |
1118 | h 82 | 1121 | h 54 |
1119 | type "rectangle" | 1122 | type "rectangle" |
1120 | fill "#FFFFFF" | 1123 | fill "#FFFFFF" |
1121 | fill2 "#FFFFFF" | 1124 | fill2 "#FFFFFF" |
@@ -1135,10 +1138,8 @@ graph | |||
1135 | LabelGraphics | 1138 | LabelGraphics |
1136 | [ | 1139 | [ |
1137 | text " | 1140 | text " |
1138 | CommSubsystem class | 1141 | Payload class |
1139 | KaCommSubsystem class | 1142 | InterferometryPayload class |
1140 | CommSubsystem class UndefinedPart | ||
1141 | KaCommSubsystem class UndefinedPart | ||
1142 | " | 1143 | " |
1143 | fontSize 14 | 1144 | fontSize 14 |
1144 | fontName "Consolas" | 1145 | fontName "Consolas" |
@@ -1193,8 +1194,8 @@ graph | |||
1193 | id 31 | 1194 | id 31 |
1194 | graphics | 1195 | graphics |
1195 | [ | 1196 | [ |
1196 | w 269.5 | 1197 | w 223.3 |
1197 | h 68 | 1198 | h 54 |
1198 | type "rectangle" | 1199 | type "rectangle" |
1199 | fill "#FFFFFF" | 1200 | fill "#FFFFFF" |
1200 | fill2 "#FFFFFF" | 1201 | fill2 "#FFFFFF" |
@@ -1214,9 +1215,8 @@ graph | |||
1214 | LabelGraphics | 1215 | LabelGraphics |
1215 | [ | 1216 | [ |
1216 | text " | 1217 | text " |
1217 | CommSubsystem class | 1218 | Payload class |
1218 | UHFCommSubsystem class | 1219 | InterferometryPayload class |
1219 | CommSubsystem class UndefinedPart | ||
1220 | " | 1220 | " |
1221 | fontSize 14 | 1221 | fontSize 14 |
1222 | fontName "Consolas" | 1222 | fontName "Consolas" |
@@ -1231,8 +1231,8 @@ graph | |||
1231 | id 32 | 1231 | id 32 |
1232 | graphics | 1232 | graphics |
1233 | [ | 1233 | [ |
1234 | w 223.3 | 1234 | w 269.5 |
1235 | h 54 | 1235 | h 68 |
1236 | type "rectangle" | 1236 | type "rectangle" |
1237 | fill "#FFFFFF" | 1237 | fill "#FFFFFF" |
1238 | fill2 "#FFFFFF" | 1238 | fill2 "#FFFFFF" |
@@ -1252,8 +1252,9 @@ graph | |||
1252 | LabelGraphics | 1252 | LabelGraphics |
1253 | [ | 1253 | [ |
1254 | text " | 1254 | text " |
1255 | Payload class | 1255 | CommSubsystem class |
1256 | InterferometryPayload class | 1256 | UHFCommSubsystem class |
1257 | CommSubsystem class UndefinedPart | ||
1257 | " | 1258 | " |
1258 | fontSize 14 | 1259 | fontSize 14 |
1259 | fontName "Consolas" | 1260 | fontName "Consolas" |
@@ -1268,8 +1269,8 @@ graph | |||
1268 | id 33 | 1269 | id 33 |
1269 | graphics | 1270 | graphics |
1270 | [ | 1271 | [ |
1271 | w 269.5 | 1272 | w 277.20000000000005 |
1272 | h 68 | 1273 | h 82 |
1273 | type "rectangle" | 1274 | type "rectangle" |
1274 | fill "#FFFFFF" | 1275 | fill "#FFFFFF" |
1275 | fill2 "#FFFFFF" | 1276 | fill2 "#FFFFFF" |
@@ -1290,8 +1291,9 @@ graph | |||
1290 | [ | 1291 | [ |
1291 | text " | 1292 | text " |
1292 | CommSubsystem class | 1293 | CommSubsystem class |
1293 | UHFCommSubsystem class | 1294 | XCommSubsystem class |
1294 | CommSubsystem class UndefinedPart | 1295 | CommSubsystem class UndefinedPart |
1296 | XCommSubsystem class UndefinedPart | ||
1295 | " | 1297 | " |
1296 | fontSize 14 | 1298 | fontSize 14 |
1297 | fontName "Consolas" | 1299 | fontName "Consolas" |
@@ -1345,7 +1347,7 @@ graph | |||
1345 | id 35 | 1347 | id 35 |
1346 | graphics | 1348 | graphics |
1347 | [ | 1349 | [ |
1348 | w 277.20000000000005 | 1350 | w 284.90000000000003 |
1349 | h 82 | 1351 | h 82 |
1350 | type "rectangle" | 1352 | type "rectangle" |
1351 | fill "#FFFFFF" | 1353 | fill "#FFFFFF" |
@@ -1367,9 +1369,9 @@ graph | |||
1367 | [ | 1369 | [ |
1368 | text " | 1370 | text " |
1369 | CommSubsystem class | 1371 | CommSubsystem class |
1370 | XCommSubsystem class | 1372 | KaCommSubsystem class |
1371 | CommSubsystem class UndefinedPart | 1373 | CommSubsystem class UndefinedPart |
1372 | XCommSubsystem class UndefinedPart | 1374 | KaCommSubsystem class UndefinedPart |
1373 | " | 1375 | " |
1374 | fontSize 14 | 1376 | fontSize 14 |
1375 | fontName "Consolas" | 1377 | fontName "Consolas" |
@@ -1421,7 +1423,7 @@ graph | |||
1421 | id 37 | 1423 | id 37 |
1422 | graphics | 1424 | graphics |
1423 | [ | 1425 | [ |
1424 | w 284.90000000000003 | 1426 | w 277.20000000000005 |
1425 | h 82 | 1427 | h 82 |
1426 | type "rectangle" | 1428 | type "rectangle" |
1427 | fill "#FFFFFF" | 1429 | fill "#FFFFFF" |
@@ -1443,9 +1445,9 @@ graph | |||
1443 | [ | 1445 | [ |
1444 | text " | 1446 | text " |
1445 | CommSubsystem class | 1447 | CommSubsystem class |
1446 | KaCommSubsystem class | 1448 | XCommSubsystem class |
1447 | CommSubsystem class UndefinedPart | 1449 | CommSubsystem class UndefinedPart |
1448 | KaCommSubsystem class UndefinedPart | 1450 | XCommSubsystem class UndefinedPart |
1449 | " | 1451 | " |
1450 | fontSize 14 | 1452 | fontSize 14 |
1451 | fontName "Consolas" | 1453 | fontName "Consolas" |
@@ -1817,7 +1819,7 @@ graph | |||
1817 | edge | 1819 | edge |
1818 | [ | 1820 | [ |
1819 | source 6 | 1821 | source 6 |
1820 | target 7 | 1822 | target 8 |
1821 | graphics | 1823 | graphics |
1822 | [ | 1824 | [ |
1823 | fill "#000000" | 1825 | fill "#000000" |
@@ -1917,7 +1919,7 @@ graph | |||
1917 | edge | 1919 | edge |
1918 | [ | 1920 | [ |
1919 | source 14 | 1921 | source 14 |
1920 | target 17 | 1922 | target 16 |
1921 | graphics | 1923 | graphics |
1922 | [ | 1924 | [ |
1923 | fill "#000000" | 1925 | fill "#000000" |
@@ -2037,7 +2039,7 @@ graph | |||
2037 | edge | 2039 | edge |
2038 | [ | 2040 | [ |
2039 | source 26 | 2041 | source 26 |
2040 | target 29 | 2042 | target 28 |
2041 | graphics | 2043 | graphics |
2042 | [ | 2044 | [ |
2043 | fill "#000000" | 2045 | fill "#000000" |
@@ -2057,7 +2059,7 @@ graph | |||
2057 | edge | 2059 | edge |
2058 | [ | 2060 | [ |
2059 | source 30 | 2061 | source 30 |
2060 | target 31 | 2062 | target 32 |
2061 | graphics | 2063 | graphics |
2062 | [ | 2064 | [ |
2063 | fill "#000000" | 2065 | fill "#000000" |
@@ -2137,7 +2139,7 @@ graph | |||
2137 | edge | 2139 | edge |
2138 | [ | 2140 | [ |
2139 | source 6 | 2141 | source 6 |
2140 | target 8 | 2142 | target 7 |
2141 | graphics | 2143 | graphics |
2142 | [ | 2144 | [ |
2143 | fill "#000000" | 2145 | fill "#000000" |
@@ -2177,7 +2179,7 @@ graph | |||
2177 | edge | 2179 | edge |
2178 | [ | 2180 | [ |
2179 | source 14 | 2181 | source 14 |
2180 | target 16 | 2182 | target 17 |
2181 | graphics | 2183 | graphics |
2182 | [ | 2184 | [ |
2183 | fill "#000000" | 2185 | fill "#000000" |
@@ -2237,7 +2239,7 @@ graph | |||
2237 | edge | 2239 | edge |
2238 | [ | 2240 | [ |
2239 | source 26 | 2241 | source 26 |
2240 | target 28 | 2242 | target 29 |
2241 | graphics | 2243 | graphics |
2242 | [ | 2244 | [ |
2243 | fill "#000000" | 2245 | fill "#000000" |
@@ -2257,7 +2259,7 @@ graph | |||
2257 | edge | 2259 | edge |
2258 | [ | 2260 | [ |
2259 | source 30 | 2261 | source 30 |
2260 | target 32 | 2262 | target 31 |
2261 | graphics | 2263 | graphics |
2262 | [ | 2264 | [ |
2263 | fill "#000000" | 2265 | fill "#000000" |
@@ -2315,8 +2317,8 @@ graph | |||
2315 | ] | 2317 | ] |
2316 | edge | 2318 | edge |
2317 | [ | 2319 | [ |
2318 | source 11 | 2320 | source 12 |
2319 | target 2 | 2321 | target 8 |
2320 | graphics | 2322 | graphics |
2321 | [ | 2323 | [ |
2322 | fill "#000000" | 2324 | fill "#000000" |
@@ -2334,8 +2336,8 @@ graph | |||
2334 | ] | 2336 | ] |
2335 | edge | 2337 | edge |
2336 | [ | 2338 | [ |
2337 | source 15 | 2339 | source 16 |
2338 | target 9 | 2340 | target 3 |
2339 | graphics | 2341 | graphics |
2340 | [ | 2342 | [ |
2341 | fill "#000000" | 2343 | fill "#000000" |
@@ -2353,8 +2355,8 @@ graph | |||
2353 | ] | 2355 | ] |
2354 | edge | 2356 | edge |
2355 | [ | 2357 | [ |
2356 | source 20 | 2358 | source 19 |
2357 | target 7 | 2359 | target 9 |
2358 | graphics | 2360 | graphics |
2359 | [ | 2361 | [ |
2360 | fill "#000000" | 2362 | fill "#000000" |
@@ -2373,7 +2375,7 @@ graph | |||
2373 | edge | 2375 | edge |
2374 | [ | 2376 | [ |
2375 | source 23 | 2377 | source 23 |
2376 | target 15 | 2378 | target 12 |
2377 | graphics | 2379 | graphics |
2378 | [ | 2380 | [ |
2379 | fill "#000000" | 2381 | fill "#000000" |
@@ -2392,7 +2394,7 @@ graph | |||
2392 | edge | 2394 | edge |
2393 | [ | 2395 | [ |
2394 | source 27 | 2396 | source 27 |
2395 | target 24 | 2397 | target 15 |
2396 | graphics | 2398 | graphics |
2397 | [ | 2399 | [ |
2398 | fill "#000000" | 2400 | fill "#000000" |
@@ -2410,8 +2412,8 @@ graph | |||
2410 | ] | 2412 | ] |
2411 | edge | 2413 | edge |
2412 | [ | 2414 | [ |
2413 | source 31 | 2415 | source 32 |
2414 | target 19 | 2416 | target 15 |
2415 | graphics | 2417 | graphics |
2416 | [ | 2418 | [ |
2417 | fill "#000000" | 2419 | fill "#000000" |
@@ -2430,7 +2432,7 @@ graph | |||
2430 | edge | 2432 | edge |
2431 | [ | 2433 | [ |
2432 | source 35 | 2434 | source 35 |
2433 | target 2 | 2435 | target 16 |
2434 | graphics | 2436 | graphics |
2435 | [ | 2437 | [ |
2436 | fill "#000000" | 2438 | fill "#000000" |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.png index 5585b413..7484e249 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.png +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.png | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.xmi index 5f4f1251..ba3eec9b 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.xmi +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.xmi | |||
@@ -4,44 +4,44 @@ | |||
4 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> | 4 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
5 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 5 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
6 | </groundStationNetwork> | 6 | </groundStationNetwork> |
7 | <spacecraft xsi:type="satellite:CubeSat3U"> | 7 | <spacecraft xsi:type="satellite:SmallSat"> |
8 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.5/@commSubsystem.1"/> | 8 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> |
9 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 9 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
10 | <payload xsi:type="satellite:InterferometryPayload"/> | 10 | <payload xsi:type="satellite:InterferometryPayload"/> |
11 | </spacecraft> | 11 | </spacecraft> |
12 | <spacecraft xsi:type="satellite:SmallSat"> | 12 | <spacecraft xsi:type="satellite:CubeSat3U"> |
13 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | 13 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.4/@commSubsystem.0"/> |
14 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 14 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
15 | <payload xsi:type="satellite:InterferometryPayload"/> | 15 | <payload xsi:type="satellite:InterferometryPayload"/> |
16 | </spacecraft> | 16 | </spacecraft> |
17 | <spacecraft xsi:type="satellite:SmallSat"> | 17 | <spacecraft xsi:type="satellite:CubeSat3U"> |
18 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 18 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
19 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/> | 19 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/> |
20 | <payload xsi:type="satellite:InterferometryPayload"/> | 20 | <payload xsi:type="satellite:InterferometryPayload"/> |
21 | </spacecraft> | 21 | </spacecraft> |
22 | <spacecraft xsi:type="satellite:SmallSat"> | 22 | <spacecraft xsi:type="satellite:SmallSat"> |
23 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 23 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/> |
24 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.1/@commSubsystem.0"/> | 24 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> |
25 | <payload xsi:type="satellite:InterferometryPayload"/> | 25 | <payload xsi:type="satellite:InterferometryPayload"/> |
26 | </spacecraft> | 26 | </spacecraft> |
27 | <spacecraft xsi:type="satellite:CubeSat6U"> | 27 | <spacecraft xsi:type="satellite:SmallSat"> |
28 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | ||
29 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 28 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> |
29 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | ||
30 | <payload xsi:type="satellite:InterferometryPayload"/> | 30 | <payload xsi:type="satellite:InterferometryPayload"/> |
31 | </spacecraft> | 31 | </spacecraft> |
32 | <spacecraft xsi:type="satellite:CubeSat3U"> | 32 | <spacecraft xsi:type="satellite:CubeSat3U"> |
33 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.1/@commSubsystem.1"/> | 33 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
34 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 34 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.1/@commSubsystem.0"/> |
35 | <payload xsi:type="satellite:InterferometryPayload"/> | 35 | <payload xsi:type="satellite:InterferometryPayload"/> |
36 | </spacecraft> | 36 | </spacecraft> |
37 | <spacecraft xsi:type="satellite:SmallSat"> | 37 | <spacecraft xsi:type="satellite:CubeSat6U"> |
38 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.2/@commSubsystem.0"/> | 38 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
39 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> | 39 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.4/@commSubsystem.1"/> |
40 | <payload xsi:type="satellite:InterferometryPayload"/> | 40 | <payload xsi:type="satellite:InterferometryPayload"/> |
41 | </spacecraft> | 41 | </spacecraft> |
42 | <spacecraft xsi:type="satellite:SmallSat"> | 42 | <spacecraft xsi:type="satellite:CubeSat3U"> |
43 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | 43 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/> |
44 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> | 44 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
45 | <payload xsi:type="satellite:InterferometryPayload"/> | 45 | <payload xsi:type="satellite:InterferometryPayload"/> |
46 | </spacecraft> | 46 | </spacecraft> |
47 | </satellite:InterferometryMission> | 47 | </satellite:InterferometryMission> |