From 09b1255f11ee17828da706f682e33f50316887fe Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 6 May 2019 18:42:22 -0400 Subject: Trying to implement spacecraft case study --- .../outputs/models/1.gml | 282 ++++++++++++++------- 1 file changed, 196 insertions(+), 86 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml') 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 b8da662f..59498c9f 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 @@ -220,6 +220,114 @@ graph [ id 6 graphics + [ + w 288.20000000000005 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "CubeSat3U literal SpacecraftKind" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + SpacecraftKind enum + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 7 + graphics + [ + w 288.20000000000005 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "CubeSat6U literal SpacecraftKind" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + SpacecraftKind enum + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 8 + graphics + [ + w 279.40000000000003 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "SmallSat literal SpacecraftKind" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + SpacecraftKind enum + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 9 + graphics [ w 315.70000000000005 h 82 @@ -257,7 +365,7 @@ graph node [ - id 7 + id 10 graphics [ w 308.0 @@ -296,7 +404,7 @@ graph node [ - id 8 + id 11 graphics [ w 254.10000000000002 @@ -333,7 +441,7 @@ graph node [ - id 9 + id 12 graphics [ w 254.10000000000002 @@ -370,7 +478,7 @@ graph node [ - id 10 + id 13 graphics [ w 41.800000000000004 @@ -405,7 +513,7 @@ graph node [ - id 11 + id 14 graphics [ w 50.6 @@ -440,11 +548,11 @@ graph node [ - id 12 + id 15 graphics [ w 323.40000000000003 - h 82 + h 96 type "rectangle" fill "#FFFFFF" fill2 "#FFFFFF" @@ -467,6 +575,7 @@ graph CommunicatingElement class Spacecraft class CubeSat6U class + CubeSat class CommunicatingElement class UndefinedPart " fontSize 14 @@ -479,11 +588,11 @@ graph node [ - id 13 + id 16 graphics [ - w 223.3 - h 54 + w 323.40000000000003 + h 96 type "rectangle" fill "#FFFFFF" fill2 "#FFFFFF" @@ -503,8 +612,11 @@ graph LabelGraphics [ text " - Payload class - InterferometryPayload class + CommunicatingElement class + Spacecraft class + CubeSat3U class + CubeSat class + CommunicatingElement class UndefinedPart " fontSize 14 fontName "Consolas" @@ -516,10 +628,10 @@ graph node [ - id 14 + id 17 graphics [ - w 269.5 + w 223.3 h 54 type "rectangle" fill "#FFFFFF" @@ -540,8 +652,8 @@ graph LabelGraphics [ text " - CommSubsystem class - CommSubsystem class UndefinedPart + Payload class + InterferometryPayload class " fontSize 14 fontName "Consolas" @@ -553,11 +665,11 @@ graph node [ - id 15 + id 18 graphics [ - w 323.40000000000003 - h 82 + w 269.5 + h 54 type "rectangle" fill "#FFFFFF" fill2 "#FFFFFF" @@ -577,10 +689,8 @@ graph LabelGraphics [ text " - CommunicatingElement class - Spacecraft class - SmallSat class - CommunicatingElement class UndefinedPart + CommSubsystem class + CommSubsystem class UndefinedPart " fontSize 14 fontName "Consolas" @@ -592,7 +702,7 @@ graph node [ - id 16 + id 19 graphics [ w 223.3 @@ -629,7 +739,7 @@ graph node [ - id 17 + id 20 graphics [ w 269.5 @@ -666,11 +776,11 @@ graph node [ - id 18 + id 21 graphics [ - w 269.5 - h 54 + w 254.10000000000002 + h 40 type "rectangle" fill "#FFFFFF" fill2 "#FFFFFF" @@ -690,8 +800,7 @@ graph LabelGraphics [ text " - CommSubsystem class - CommSubsystem class UndefinedPart + DirectedCommunicationLink class " fontSize 14 fontName "Consolas" @@ -703,11 +812,11 @@ graph node [ - id 19 + id 22 graphics [ - w 254.10000000000002 - h 40 + w 269.5 + h 54 type "rectangle" fill "#FFFFFF" fill2 "#FFFFFF" @@ -727,7 +836,8 @@ graph LabelGraphics [ text " - DirectedCommunicationLink class + CommSubsystem class + CommSubsystem class UndefinedPart " fontSize 14 fontName "Consolas" @@ -739,7 +849,7 @@ graph node [ - id 20 + id 23 graphics [ w 269.5 @@ -776,7 +886,7 @@ graph node [ - id 21 + id 24 graphics [ w 254.10000000000002 @@ -812,7 +922,7 @@ graph node [ - id 22 + id 25 graphics [ w 112.2 @@ -847,7 +957,7 @@ graph node [ - id 23 + id 26 graphics [ w 85.80000000000001 @@ -882,7 +992,7 @@ graph node [ - id 24 + id 27 graphics [ w 103.4 @@ -917,7 +1027,7 @@ graph node [ - id 25 + id 28 graphics [ w 103.4 @@ -951,8 +1061,8 @@ graph ] edge [ - source 6 - target 7 + source 9 + target 10 graphics [ fill "#000000" @@ -971,8 +1081,8 @@ graph ] edge [ - source 6 - target 12 + source 9 + target 15 graphics [ fill "#000000" @@ -991,8 +1101,8 @@ graph ] edge [ - source 6 - target 15 + source 9 + target 16 graphics [ fill "#000000" @@ -1011,8 +1121,8 @@ graph ] edge [ - source 7 - target 8 + source 10 + target 11 graphics [ fill "#000000" @@ -1031,8 +1141,8 @@ graph ] edge [ - source 7 - target 9 + source 10 + target 12 graphics [ fill "#000000" @@ -1051,8 +1161,8 @@ graph ] edge [ - source 12 - target 14 + source 15 + target 18 graphics [ fill "#000000" @@ -1071,8 +1181,8 @@ graph ] edge [ - source 15 - target 17 + source 16 + target 20 graphics [ fill "#000000" @@ -1092,7 +1202,7 @@ graph edge [ source 15 - target 18 + target 22 graphics [ fill "#000000" @@ -1111,8 +1221,8 @@ graph ] edge [ - source 12 - target 20 + source 16 + target 23 graphics [ fill "#000000" @@ -1132,7 +1242,7 @@ graph edge [ source 15 - target 19 + target 21 graphics [ fill "#000000" @@ -1151,8 +1261,8 @@ graph ] edge [ - source 12 - target 21 + source 16 + target 24 graphics [ fill "#000000" @@ -1171,8 +1281,8 @@ graph ] edge [ - source 12 - target 13 + source 16 + target 17 graphics [ fill "#000000" @@ -1192,7 +1302,7 @@ graph edge [ source 15 - target 16 + target 19 graphics [ fill "#000000" @@ -1211,7 +1321,7 @@ graph ] edge [ - source 19 + source 21 target 18 graphics [ @@ -1230,8 +1340,8 @@ graph ] edge [ - source 21 - target 20 + source 24 + target 23 graphics [ fill "#000000" @@ -1249,8 +1359,8 @@ graph ] edge [ - source 19 - target 8 + source 21 + target 12 graphics [ fill "#000000" @@ -1268,8 +1378,8 @@ graph ] edge [ - source 21 - target 8 + source 24 + target 11 graphics [ fill "#000000" @@ -1287,7 +1397,7 @@ graph ] edge [ - source 8 + source 11 target 1 graphics [ @@ -1306,7 +1416,7 @@ graph ] edge [ - source 9 + source 12 target 2 graphics [ @@ -1325,8 +1435,8 @@ graph ] edge [ - source 14 - target 0 + source 18 + target 2 graphics [ fill "#000000" @@ -1344,7 +1454,7 @@ graph ] edge [ - source 17 + source 20 target 1 graphics [ @@ -1363,7 +1473,7 @@ graph ] edge [ - source 18 + source 22 target 1 graphics [ @@ -1382,7 +1492,7 @@ graph ] edge [ - source 20 + source 23 target 1 graphics [ @@ -1401,7 +1511,7 @@ graph ] edge [ - source 8 + source 11 target 4 graphics [ @@ -1420,7 +1530,7 @@ graph ] edge [ - source 9 + source 12 target 5 graphics [ @@ -1439,8 +1549,8 @@ graph ] edge [ - source 14 - target 3 + source 18 + target 5 graphics [ fill "#000000" @@ -1458,8 +1568,8 @@ graph ] edge [ - source 17 - target 3 + source 20 + target 5 graphics [ fill "#000000" @@ -1477,8 +1587,8 @@ graph ] edge [ - source 18 - target 4 + source 22 + target 5 graphics [ fill "#000000" @@ -1496,7 +1606,7 @@ graph ] edge [ - source 20 + source 23 target 4 graphics [ -- cgit v1.2.3-70-g09d2