Tests/hu.bme.mit.inf.dslreasoner.run/initialModels/satellite.xmi


1
2
3
4
5
6
7
8
9
10
11
12
13
14

<?xml version="1.0" encoding="UTF-8"?>
<satellite:InterferometryMission
    xmi:version="2.0"
    xmlns:xmi="http://www.omg.org/XMI"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:satellite="http://www.example.org/satellite"
    xsi:schemaLocation="http://www.example.org/satellite ../../hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore">
  <groundStationNetwork>
    <commSubsystem
        xsi:type="satellite:XCommSubsystem"/>
    <commSubsystem
        xsi:type="satellite:KaCommSubsystem"/>
  </groundStationNetwork>
</satellite:InterferometryMission>