diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.henshin')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.henshin | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.henshin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.henshin new file mode 100644 index 00000000..33059424 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.henshin | |||
@@ -0,0 +1,61 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <henshin:Module xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:henshin="http://www.eclipse.org/emf/2011/Henshin" xmi:id="_4hnG4H9CEemiUoPdWqOlQg"> | ||
3 | <imports href="satellite.ecore#/"/> | ||
4 | <units xsi:type="henshin:Rule" xmi:id="_I7PyUH9EEemiUoPdWqOlQg" name="addCubeSat3U"> | ||
5 | <lhs xmi:id="_I7YVMH9EEemiUoPdWqOlQg" name="Lhs"> | ||
6 | <nodes xmi:id="_Qn3fwH9EEemiUoPdWqOlQg"> | ||
7 | <type href="satellite.ecore#//InterferometryMission"/> | ||
8 | </nodes> | ||
9 | </lhs> | ||
10 | <rhs xmi:id="_I9zXEH9EEemiUoPdWqOlQg" name="Rhs"> | ||
11 | <nodes xmi:id="_Qn4G0H9EEemiUoPdWqOlQg" outgoing="_W5hEAH9EEemiUoPdWqOlQg"> | ||
12 | <type href="satellite.ecore#//InterferometryMission"/> | ||
13 | </nodes> | ||
14 | <nodes xmi:id="_TD7SgH9EEemiUoPdWqOlQg" incoming="_W5hEAH9EEemiUoPdWqOlQg"> | ||
15 | <type href="satellite.ecore#//CubeSat3U"/> | ||
16 | </nodes> | ||
17 | <edges xmi:id="_W5hEAH9EEemiUoPdWqOlQg" source="_Qn4G0H9EEemiUoPdWqOlQg" target="_TD7SgH9EEemiUoPdWqOlQg"> | ||
18 | <type href="satellite.ecore#//ConstellationMission/spacecraft"/> | ||
19 | </edges> | ||
20 | </rhs> | ||
21 | <mappings xmi:id="_Qn4G0X9EEemiUoPdWqOlQg" origin="_Qn3fwH9EEemiUoPdWqOlQg" image="_Qn4G0H9EEemiUoPdWqOlQg"/> | ||
22 | </units> | ||
23 | <units xsi:type="henshin:Rule" xmi:id="_kgBHMH9KEemiUoPdWqOlQg" name="addCubeSat6U"> | ||
24 | <lhs xmi:id="_kgHN0H9KEemiUoPdWqOlQg" name="Lhs"> | ||
25 | <nodes xmi:id="_obHq0H9KEemiUoPdWqOlQg"> | ||
26 | <type href="satellite.ecore#//InterferometryMission"/> | ||
27 | </nodes> | ||
28 | </lhs> | ||
29 | <rhs xmi:id="_kgIb8H9KEemiUoPdWqOlQg" name="Rhs"> | ||
30 | <nodes xmi:id="_obIR4H9KEemiUoPdWqOlQg" outgoing="_skabcH9KEemiUoPdWqOlQg"> | ||
31 | <type href="satellite.ecore#//InterferometryMission"/> | ||
32 | </nodes> | ||
33 | <nodes xmi:id="_qHno4H9KEemiUoPdWqOlQg" incoming="_skabcH9KEemiUoPdWqOlQg"> | ||
34 | <type href="satellite.ecore#//CubeSat6U"/> | ||
35 | </nodes> | ||
36 | <edges xmi:id="_skabcH9KEemiUoPdWqOlQg" source="_obIR4H9KEemiUoPdWqOlQg" target="_qHno4H9KEemiUoPdWqOlQg"> | ||
37 | <type href="satellite.ecore#//ConstellationMission/spacecraft"/> | ||
38 | </edges> | ||
39 | </rhs> | ||
40 | <mappings xmi:id="_obIR4X9KEemiUoPdWqOlQg" origin="_obHq0H9KEemiUoPdWqOlQg" image="_obIR4H9KEemiUoPdWqOlQg"/> | ||
41 | </units> | ||
42 | <units xsi:type="henshin:Rule" xmi:id="_xFdIQH9LEemiUoPdWqOlQg" name="addSmallSat"> | ||
43 | <lhs xmi:id="_xFiAwH9LEemiUoPdWqOlQg" name="Lhs"> | ||
44 | <nodes xmi:id="_a7r_UH9MEemiUoPdWqOlQg"> | ||
45 | <type href="satellite.ecore#//InterferometryMission"/> | ||
46 | </nodes> | ||
47 | </lhs> | ||
48 | <rhs xmi:id="_xFjO4H9LEemiUoPdWqOlQg" name="Rhs"> | ||
49 | <nodes xmi:id="_a7w30H9MEemiUoPdWqOlQg" outgoing="_hORXsH9MEemiUoPdWqOlQg"> | ||
50 | <type href="satellite.ecore#//InterferometryMission"/> | ||
51 | </nodes> | ||
52 | <nodes xmi:id="_dt0vwH9MEemiUoPdWqOlQg" incoming="_hORXsH9MEemiUoPdWqOlQg"> | ||
53 | <type href="satellite.ecore#//SmallSat"/> | ||
54 | </nodes> | ||
55 | <edges xmi:id="_hORXsH9MEemiUoPdWqOlQg" source="_a7w30H9MEemiUoPdWqOlQg" target="_dt0vwH9MEemiUoPdWqOlQg"> | ||
56 | <type href="satellite.ecore#//ConstellationMission/spacecraft"/> | ||
57 | </edges> | ||
58 | </rhs> | ||
59 | <mappings xmi:id="_a7xe4H9MEemiUoPdWqOlQg" origin="_a7r_UH9MEemiUoPdWqOlQg" image="_a7w30H9MEemiUoPdWqOlQg"/> | ||
60 | </units> | ||
61 | </henshin:Module> | ||