aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/Satellite/size300_13-0108/run4/4_1.xmi
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-13 11:35:08 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-13 11:35:08 -0400
commitc28b680ed70fa9445a25c4921887940b099511d5 (patch)
treebdbbd7bd520f35a1d5c207dd23b4c8b930852a1f /Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/Satellite/size300_13-0108/run4/4_1.xmi
parentupper limit is soft (diff)
downloadVIATRA-Generator-c28b680ed70fa9445a25c4921887940b099511d5.tar.gz
VIATRA-Generator-c28b680ed70fa9445a25c4921887940b099511d5.tar.zst
VIATRA-Generator-c28b680ed70fa9445a25c4921887940b099511d5.zip
Add measurements, generate new jar that allows upper limit (w/o viz)
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/Satellite/size300_13-0108/run4/4_1.xmi')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/Satellite/size300_13-0108/run4/4_1.xmi198
1 files changed, 198 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/Satellite/size300_13-0108/run4/4_1.xmi b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/Satellite/size300_13-0108/run4/4_1.xmi
new file mode 100644
index 00000000..5af8866f
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/Satellite/size300_13-0108/run4/4_1.xmi
@@ -0,0 +1,198 @@
1<?xml version="1.0" encoding="ASCII"?>
2<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 ../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore">
3 <groundStationNetwork>
4 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
5 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
6 </groundStationNetwork>
7 <spacecraft xsi:type="satellite:SmallSat">
8 <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
9 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
10 <payload xsi:type="satellite:InterferometryPayload"/>
11 </spacecraft>
12 <spacecraft xsi:type="satellite:SmallSat">
13 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.1"/>
14 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
15 <payload xsi:type="satellite:InterferometryPayload"/>
16 </spacecraft>
17 <spacecraft xsi:type="satellite:CubeSat3U">
18 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
19 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0" pathLength="385000"/>
20 <payload xsi:type="satellite:InterferometryPayload"/>
21 </spacecraft>
22 <spacecraft xsi:type="satellite:CubeSat3U">
23 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.26/@commSubsystem.0"/>
24 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
25 <payload xsi:type="satellite:InterferometryPayload"/>
26 </spacecraft>
27 <spacecraft xsi:type="satellite:CubeSat6U">
28 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
29 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.21/@commSubsystem.0"/>
30 <payload xsi:type="satellite:InterferometryPayload"/>
31 </spacecraft>
32 <spacecraft xsi:type="satellite:SmallSat">
33 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
34 <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.0/@commSubsystem.0"/>
35 <payload xsi:type="satellite:InterferometryPayload"/>
36 </spacecraft>
37 <spacecraft xsi:type="satellite:SmallSat">
38 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
39 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.5/@commSubsystem.0"/>
40 <payload xsi:type="satellite:InterferometryPayload"/>
41 </spacecraft>
42 <spacecraft xsi:type="satellite:CubeSat3U">
43 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
44 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.26/@commSubsystem.0"/>
45 <payload xsi:type="satellite:InterferometryPayload"/>
46 </spacecraft>
47 <spacecraft xsi:type="satellite:CubeSat6U">
48 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
49 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.22/@commSubsystem.1"/>
50 </spacecraft>
51 <spacecraft xsi:type="satellite:CubeSat6U">
52 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.8/@commSubsystem.1" pathLength="150"/>
53 <commSubsystem xsi:type="satellite:XCommSubsystem" frequency="8000"/>
54 <payload xsi:type="satellite:InterferometryPayload"/>
55 </spacecraft>
56 <spacecraft xsi:type="satellite:CubeSat3U">
57 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
58 </spacecraft>
59 <spacecraft xsi:type="satellite:CubeSat3U">
60 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.39/@commSubsystem.1"/>
61 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
62 <payload xsi:type="satellite:InterferometryPayload"/>
63 </spacecraft>
64 <spacecraft xsi:type="satellite:CubeSat6U">
65 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.39/@commSubsystem.1"/>
66 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
67 <payload xsi:type="satellite:InterferometryPayload"/>
68 </spacecraft>
69 <spacecraft xsi:type="satellite:SmallSat">
70 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.23/@commSubsystem.0"/>
71 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
72 <payload xsi:type="satellite:InterferometryPayload"/>
73 </spacecraft>
74 <spacecraft xsi:type="satellite:SmallSat">
75 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.7/@commSubsystem.0"/>
76 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
77 <payload xsi:type="satellite:InterferometryPayload"/>
78 </spacecraft>
79 <spacecraft xsi:type="satellite:CubeSat3U">
80 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
81 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
82 <payload xsi:type="satellite:InterferometryPayload"/>
83 </spacecraft>
84 <spacecraft xsi:type="satellite:CubeSat3U">
85 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.26/@commSubsystem.0"/>
86 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
87 <payload xsi:type="satellite:InterferometryPayload"/>
88 </spacecraft>
89 <spacecraft xsi:type="satellite:CubeSat6U">
90 <commSubsystem xsi:type="satellite:UHFCommSubsystem" frequency="300"/>
91 </spacecraft>
92 <spacecraft xsi:type="satellite:CubeSat3U">
93 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.35/@commSubsystem.0"/>
94 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
95 <payload xsi:type="satellite:InterferometryPayload"/>
96 </spacecraft>
97 <spacecraft xsi:type="satellite:CubeSat6U">
98 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
99 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.14/@commSubsystem.1"/>
100 <payload xsi:type="satellite:InterferometryPayload"/>
101 </spacecraft>
102 <spacecraft xsi:type="satellite:SmallSat">
103 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.34/@commSubsystem.1"/>
104 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
105 <payload xsi:type="satellite:InterferometryPayload"/>
106 </spacecraft>
107 <spacecraft xsi:type="satellite:CubeSat6U">
108 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.29/@commSubsystem.0"/>
109 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
110 <payload xsi:type="satellite:InterferometryPayload"/>
111 </spacecraft>
112 <spacecraft xsi:type="satellite:SmallSat">
113 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
114 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.29/@commSubsystem.1"/>
115 <payload xsi:type="satellite:InterferometryPayload"/>
116 </spacecraft>
117 <spacecraft xsi:type="satellite:SmallSat">
118 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
119 <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.0/@commSubsystem.1"/>
120 <payload xsi:type="satellite:InterferometryPayload"/>
121 </spacecraft>
122 <spacecraft xsi:type="satellite:CubeSat6U">
123 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
124 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
125 <payload xsi:type="satellite:InterferometryPayload"/>
126 </spacecraft>
127 <spacecraft xsi:type="satellite:CubeSat3U">
128 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.23/@commSubsystem.0"/>
129 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
130 <payload xsi:type="satellite:InterferometryPayload"/>
131 </spacecraft>
132 <spacecraft xsi:type="satellite:CubeSat6U">
133 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
134 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.35/@commSubsystem.1"/>
135 <payload xsi:type="satellite:InterferometryPayload"/>
136 </spacecraft>
137 <spacecraft xsi:type="satellite:SmallSat">
138 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.7/@commSubsystem.0"/>
139 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
140 <payload xsi:type="satellite:InterferometryPayload"/>
141 </spacecraft>
142 <spacecraft xsi:type="satellite:CubeSat3U">
143 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
144 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
145 <payload xsi:type="satellite:InterferometryPayload"/>
146 </spacecraft>
147 <spacecraft xsi:type="satellite:SmallSat">
148 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
149 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
150 <payload xsi:type="satellite:InterferometryPayload"/>
151 </spacecraft>
152 <spacecraft xsi:type="satellite:CubeSat6U">
153 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.15/@commSubsystem.0"/>
154 </spacecraft>
155 <spacecraft xsi:type="satellite:SmallSat">
156 <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.1/@commSubsystem.1"/>
157 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
158 <payload xsi:type="satellite:InterferometryPayload"/>
159 </spacecraft>
160 <spacecraft xsi:type="satellite:SmallSat">
161 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
162 <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.1/@commSubsystem.1" frequency="26500"/>
163 <payload xsi:type="satellite:InterferometryPayload"/>
164 </spacecraft>
165 <spacecraft xsi:type="satellite:CubeSat6U">
166 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.29/@commSubsystem.0"/>
167 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
168 <payload xsi:type="satellite:InterferometryPayload"/>
169 </spacecraft>
170 <spacecraft xsi:type="satellite:SmallSat">
171 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
172 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.39/@commSubsystem.0"/>
173 <payload xsi:type="satellite:InterferometryPayload"/>
174 </spacecraft>
175 <spacecraft xsi:type="satellite:CubeSat6U">
176 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.29/@commSubsystem.1"/>
177 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
178 <payload xsi:type="satellite:InterferometryPayload"/>
179 </spacecraft>
180 <spacecraft xsi:type="satellite:SmallSat">
181 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
182 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.26/@commSubsystem.0"/>
183 </spacecraft>
184 <spacecraft xsi:type="satellite:CubeSat6U">
185 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.15/@commSubsystem.0"/>
186 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
187 <payload xsi:type="satellite:InterferometryPayload"/>
188 </spacecraft>
189 <spacecraft xsi:type="satellite:CubeSat6U">
190 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.16/@commSubsystem.1"/>
191 <payload xsi:type="satellite:InterferometryPayload"/>
192 </spacecraft>
193 <spacecraft xsi:type="satellite:CubeSat3U">
194 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
195 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
196 <payload xsi:type="satellite:InterferometryPayload"/>
197 </spacecraft>
198</satellite:InterferometryMission>