diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite_fixup.henshin')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite_fixup.henshin | 38 |
1 files changed, 38 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 index 5cc76605..224ced8f 100644 --- 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 | |||
| @@ -20,4 +20,42 @@ | |||
| 20 | </rhs> | 20 | </rhs> |
| 21 | <mappings xmi:id="_Qn4G0X9EEemiUoPdWqOlQg" origin="_Qn3fwH9EEemiUoPdWqOlQg" image="_Qn4G0H9EEemiUoPdWqOlQg"/> | 21 | <mappings xmi:id="_Qn4G0X9EEemiUoPdWqOlQg" origin="_Qn3fwH9EEemiUoPdWqOlQg" image="_Qn4G0H9EEemiUoPdWqOlQg"/> |
| 22 | </units> | 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="http://www.example.org/satellite#//InterferometryMission"/> | ||
| 27 | </nodes> | ||
| 28 | </lhs> | ||
| 29 | <rhs xmi:id="_kgIb8H9KEemiUoPdWqOlQg" name="Rhs"> | ||
| 30 | <nodes xmi:id="_obIR4H9KEemiUoPdWqOlQg" outgoing="_skabcH9KEemiUoPdWqOlQg"> | ||
| 31 | <type href="http://www.example.org/satellite#//InterferometryMission"/> | ||
| 32 | </nodes> | ||
| 33 | <nodes xmi:id="_qHno4H9KEemiUoPdWqOlQg" incoming="_skabcH9KEemiUoPdWqOlQg"> | ||
| 34 | <type href="http://www.example.org/satellite#//CubeSat6U"/> | ||
| 35 | </nodes> | ||
| 36 | <edges xmi:id="_skabcH9KEemiUoPdWqOlQg" source="_obIR4H9KEemiUoPdWqOlQg" target="_qHno4H9KEemiUoPdWqOlQg"> | ||
| 37 | <type href="http://www.example.org/satellite#//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="http://www.example.org/satellite#//InterferometryMission"/> | ||
| 46 | </nodes> | ||
| 47 | </lhs> | ||
| 48 | <rhs xmi:id="_xFjO4H9LEemiUoPdWqOlQg" name="Rhs"> | ||
| 49 | <nodes xmi:id="_a7w30H9MEemiUoPdWqOlQg" outgoing="_hORXsH9MEemiUoPdWqOlQg"> | ||
| 50 | <type href="http://www.example.org/satellite#//InterferometryMission"/> | ||
| 51 | </nodes> | ||
| 52 | <nodes xmi:id="_dt0vwH9MEemiUoPdWqOlQg" incoming="_hORXsH9MEemiUoPdWqOlQg"> | ||
| 53 | <type href="http://www.example.org/satellite#//SmallSat"/> | ||
| 54 | </nodes> | ||
| 55 | <edges xmi:id="_hORXsH9MEemiUoPdWqOlQg" source="_a7w30H9MEemiUoPdWqOlQg" target="_dt0vwH9MEemiUoPdWqOlQg"> | ||
| 56 | <type href="http://www.example.org/satellite#//ConstellationMission/spacecraft"/> | ||
| 57 | </edges> | ||
| 58 | </rhs> | ||
| 59 | <mappings xmi:id="_a7xe4H9MEemiUoPdWqOlQg" origin="_a7r_UH9MEemiUoPdWqOlQg" image="_a7w30H9MEemiUoPdWqOlQg"/> | ||
| 60 | </units> | ||
| 23 | </henshin:Module> | 61 | </henshin:Module> |