1 files changed, 23 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite_fixup.henshin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite_fixup.henshin
new file mode 100644
index 00000000..5cc76605
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite_fixup.henshin
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<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">
+  <imports href="http://www.example.org/satellite#/"/>
+  <units xsi:type="henshin:Rule" xmi:id="_I7PyUH9EEemiUoPdWqOlQg" name="addCubeSat3U">
+    <lhs xmi:id="_I7YVMH9EEemiUoPdWqOlQg" name="Lhs">
+      <nodes xmi:id="_Qn3fwH9EEemiUoPdWqOlQg">
+        <type href="http://www.example.org/satellite#//InterferometryMission"/>
+      </nodes>
+    </lhs>
+    <rhs xmi:id="_I9zXEH9EEemiUoPdWqOlQg" name="Rhs">
+      <nodes xmi:id="_Qn4G0H9EEemiUoPdWqOlQg" outgoing="_W5hEAH9EEemiUoPdWqOlQg">
+        <type href="http://www.example.org/satellite#//InterferometryMission"/>
+      </nodes>
+      <nodes xmi:id="_TD7SgH9EEemiUoPdWqOlQg" incoming="_W5hEAH9EEemiUoPdWqOlQg">
+        <type href="http://www.example.org/satellite#//CubeSat3U"/>
+      </nodes>
+      <edges xmi:id="_W5hEAH9EEemiUoPdWqOlQg" source="_Qn4G0H9EEemiUoPdWqOlQg" target="_TD7SgH9EEemiUoPdWqOlQg">
+        <type href="http://www.example.org/satellite#//ConstellationMission/spacecraft"/>
+      </edges>
+    </rhs>
+    <mappings xmi:id="_Qn4G0X9EEemiUoPdWqOlQg" origin="_Qn3fwH9EEemiUoPdWqOlQg" image="_Qn4G0H9EEemiUoPdWqOlQg"/>
+  </units>
+</henshin:Module>