diff options
author | 2019-05-25 15:00:10 -0400 | |
---|---|---|
committer | 2019-05-25 15:00:10 -0400 | |
commit | 89fe6051866933495237f0c733147700275b9549 (patch) | |
tree | fee5157ef3a68af17aac1a8bdfbf7cfa50240e23 /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin | |
parent | MDEOptimiser implementation of CPS benchmark (diff) | |
download | VIATRA-Generator-89fe6051866933495237f0c733147700275b9549.tar.gz VIATRA-Generator-89fe6051866933495237f0c733147700275b9549.tar.zst VIATRA-Generator-89fe6051866933495237f0c733147700275b9549.zip |
MDEOptimiser tuning for CPS
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin | 346 |
1 files changed, 293 insertions, 53 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin index 21e35a56..a4f4f576 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin | |||
@@ -132,59 +132,112 @@ | |||
132 | <edges xmi:id="_hW5nsHy5EemI79hpD-o6pA" source="_QzQ2QHy5EemI79hpD-o6pA" target="_WEdqIHy5EemI79hpD-o6pA"> | 132 | <edges xmi:id="_hW5nsHy5EemI79hpD-o6pA" source="_QzQ2QHy5EemI79hpD-o6pA" target="_WEdqIHy5EemI79hpD-o6pA"> |
133 | <type href="cps.ecore#//Requirement/instances"/> | 133 | <type href="cps.ecore#//Requirement/instances"/> |
134 | </edges> | 134 | </edges> |
135 | <formula xsi:type="henshin:Not" xmi:id="_jOTOMHy5EemI79hpD-o6pA"> | 135 | <formula xsi:type="henshin:And" xmi:id="_JNyfMH8VEemiUoPdWqOlQg"> |
136 | <child xsi:type="henshin:NestedCondition" xmi:id="_jOTOMXy5EemI79hpD-o6pA"> | 136 | <left xsi:type="henshin:Not" xmi:id="_GpwcMX8VEemiUoPdWqOlQg"> |
137 | <conclusion xmi:id="_jOTOMny5EemI79hpD-o6pA"> | 137 | <child xsi:type="henshin:NestedCondition" xmi:id="_GpwcMn8VEemiUoPdWqOlQg"> |
138 | <nodes xmi:id="_jOT1QHy5EemI79hpD-o6pA" outgoing="_jOT1RHy5EemI79hpD-o6pA _mLtagHy5EemI79hpD-o6pA"> | 138 | <conclusion xmi:id="_GpwcM38VEemiUoPdWqOlQg" name="2"> |
139 | <type href="cps.ecore#//Requirement"/> | 139 | <nodes xmi:id="_GpwcNH8VEemiUoPdWqOlQg" outgoing="_GpxDQn8VEemiUoPdWqOlQg"> |
140 | </nodes> | 140 | <type href="cps.ecore#//Requirement"/> |
141 | <nodes xmi:id="_jOT1Qny5EemI79hpD-o6pA" incoming="_jOT1RHy5EemI79hpD-o6pA _jOUcUny5EemI79hpD-o6pA"> | 141 | </nodes> |
142 | <type href="cps.ecore#//ApplicationInstance"/> | 142 | <nodes xmi:id="_GpxDQH8VEemiUoPdWqOlQg" incoming="_GpxDQn8VEemiUoPdWqOlQg _GpxDSH8VEemiUoPdWqOlQg" outgoing="_LOADcH8VEemiUoPdWqOlQg"> |
143 | </nodes> | 143 | <type href="cps.ecore#//ApplicationInstance"/> |
144 | <nodes xmi:id="_jOT1RXy5EemI79hpD-o6pA" outgoing="_jOUcUXy5EemI79hpD-o6pA _jOUcUny5EemI79hpD-o6pA"> | 144 | </nodes> |
145 | <type href="cps.ecore#//ApplicationType"/> | 145 | <nodes xmi:id="_GpxDQ38VEemiUoPdWqOlQg" outgoing="_GpxDR38VEemiUoPdWqOlQg _GpxDSH8VEemiUoPdWqOlQg"> |
146 | </nodes> | 146 | <type href="cps.ecore#//ApplicationType"/> |
147 | <nodes xmi:id="_jOT1R3y5EemI79hpD-o6pA" incoming="_jOUcUXy5EemI79hpD-o6pA" outgoing="_jOUcVXy5EemI79hpD-o6pA"> | 147 | </nodes> |
148 | <type href="cps.ecore#//ResourceRequirement"/> | 148 | <nodes xmi:id="_GpxDRX8VEemiUoPdWqOlQg" incoming="_GpxDR38VEemiUoPdWqOlQg" outgoing="_GpxqUH8VEemiUoPdWqOlQg"> |
149 | </nodes> | 149 | <type href="cps.ecore#//ResourceRequirement"/> |
150 | <nodes xmi:id="_jOUcU3y5EemI79hpD-o6pA" incoming="_jOUcVXy5EemI79hpD-o6pA" outgoing="_jOVDYny5EemI79hpD-o6pA"> | 150 | </nodes> |
151 | <type href="cps.ecore#//HostType"/> | 151 | <nodes xmi:id="_GpxDSX8VEemiUoPdWqOlQg" incoming="_GpxqUH8VEemiUoPdWqOlQg" outgoing="_GpxqU38VEemiUoPdWqOlQg"> |
152 | </nodes> | 152 | <type href="cps.ecore#//HostType"/> |
153 | <nodes xmi:id="_jOVDYHy5EemI79hpD-o6pA" incoming="_jOVDYny5EemI79hpD-o6pA _l0ud4Hy5EemI79hpD-o6pA"> | 153 | </nodes> |
154 | <type href="cps.ecore#//HostInstance"/> | 154 | <nodes xmi:id="_GpxqUX8VEemiUoPdWqOlQg" incoming="_GpxqU38VEemiUoPdWqOlQg"> |
155 | </nodes> | 155 | <type href="cps.ecore#//HostInstance"/> |
156 | <nodes xmi:id="_iu3gMHy5EemI79hpD-o6pA" incoming="_mLtagHy5EemI79hpD-o6pA" outgoing="_l0ud4Hy5EemI79hpD-o6pA"> | 156 | </nodes> |
157 | <type href="cps.ecore#//ApplicationInstance"/> | 157 | <nodes xmi:id="_DK7k4H8VEemiUoPdWqOlQg" description="" incoming="_LOADcH8VEemiUoPdWqOlQg"> |
158 | </nodes> | 158 | <type href="cps.ecore#//HostInstance"/> |
159 | <edges xmi:id="_jOT1RHy5EemI79hpD-o6pA" source="_jOT1QHy5EemI79hpD-o6pA" target="_jOT1Qny5EemI79hpD-o6pA"> | 159 | </nodes> |
160 | <type href="cps.ecore#//Requirement/instances"/> | 160 | <edges xmi:id="_GpxDQn8VEemiUoPdWqOlQg" source="_GpwcNH8VEemiUoPdWqOlQg" target="_GpxDQH8VEemiUoPdWqOlQg"> |
161 | </edges> | 161 | <type href="cps.ecore#//Requirement/instances"/> |
162 | <edges xmi:id="_jOUcUXy5EemI79hpD-o6pA" source="_jOT1RXy5EemI79hpD-o6pA" target="_jOT1R3y5EemI79hpD-o6pA"> | 162 | </edges> |
163 | <type href="cps.ecore#//ApplicationType/requirements"/> | 163 | <edges xmi:id="_GpxDR38VEemiUoPdWqOlQg" source="_GpxDQ38VEemiUoPdWqOlQg" target="_GpxDRX8VEemiUoPdWqOlQg"> |
164 | </edges> | 164 | <type href="cps.ecore#//ApplicationType/requirements"/> |
165 | <edges xmi:id="_jOUcUny5EemI79hpD-o6pA" source="_jOT1RXy5EemI79hpD-o6pA" target="_jOT1Qny5EemI79hpD-o6pA"> | 165 | </edges> |
166 | <type href="cps.ecore#//ApplicationType/instances"/> | 166 | <edges xmi:id="_GpxDSH8VEemiUoPdWqOlQg" source="_GpxDQ38VEemiUoPdWqOlQg" target="_GpxDQH8VEemiUoPdWqOlQg"> |
167 | </edges> | 167 | <type href="cps.ecore#//ApplicationType/instances"/> |
168 | <edges xmi:id="_jOUcVXy5EemI79hpD-o6pA" source="_jOT1R3y5EemI79hpD-o6pA" target="_jOUcU3y5EemI79hpD-o6pA"> | 168 | </edges> |
169 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | 169 | <edges xmi:id="_GpxqUH8VEemiUoPdWqOlQg" source="_GpxDRX8VEemiUoPdWqOlQg" target="_GpxDSX8VEemiUoPdWqOlQg"> |
170 | </edges> | 170 | <type href="cps.ecore#//ResourceRequirement/hostType"/> |
171 | <edges xmi:id="_jOVDYny5EemI79hpD-o6pA" source="_jOUcU3y5EemI79hpD-o6pA" target="_jOVDYHy5EemI79hpD-o6pA"> | 171 | </edges> |
172 | <type href="cps.ecore#//HostType/instances"/> | 172 | <edges xmi:id="_GpxqU38VEemiUoPdWqOlQg" source="_GpxDSX8VEemiUoPdWqOlQg" target="_GpxqUX8VEemiUoPdWqOlQg"> |
173 | </edges> | 173 | <type href="cps.ecore#//HostType/instances"/> |
174 | <edges xmi:id="_l0ud4Hy5EemI79hpD-o6pA" source="_iu3gMHy5EemI79hpD-o6pA" target="_jOVDYHy5EemI79hpD-o6pA"> | 174 | </edges> |
175 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | 175 | <edges xmi:id="_LOADcH8VEemiUoPdWqOlQg" source="_GpxDQH8VEemiUoPdWqOlQg" target="_DK7k4H8VEemiUoPdWqOlQg"> |
176 | </edges> | 176 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> |
177 | <edges xmi:id="_mLtagHy5EemI79hpD-o6pA" source="_jOT1QHy5EemI79hpD-o6pA" target="_iu3gMHy5EemI79hpD-o6pA"> | 177 | </edges> |
178 | <type href="cps.ecore#//Requirement/instances"/> | 178 | </conclusion> |
179 | </edges> | 179 | <mappings xmi:id="_GpwcNX8VEemiUoPdWqOlQg" origin="_QzQ2QHy5EemI79hpD-o6pA" image="_GpwcNH8VEemiUoPdWqOlQg"/> |
180 | </conclusion> | 180 | <mappings xmi:id="_GpxDQX8VEemiUoPdWqOlQg" origin="_WEdqIHy5EemI79hpD-o6pA" image="_GpxDQH8VEemiUoPdWqOlQg"/> |
181 | <mappings xmi:id="_jOT1QXy5EemI79hpD-o6pA" origin="_QzQ2QHy5EemI79hpD-o6pA" image="_jOT1QHy5EemI79hpD-o6pA"/> | 181 | <mappings xmi:id="_GpxDRH8VEemiUoPdWqOlQg" origin="_U88ocHy5EemI79hpD-o6pA" image="_GpxDQ38VEemiUoPdWqOlQg"/> |
182 | <mappings xmi:id="_jOT1Q3y5EemI79hpD-o6pA" origin="_WEdqIHy5EemI79hpD-o6pA" image="_jOT1Qny5EemI79hpD-o6pA"/> | 182 | <mappings xmi:id="_GpxDRn8VEemiUoPdWqOlQg" origin="_YuZg0Hy5EemI79hpD-o6pA" image="_GpxDRX8VEemiUoPdWqOlQg"/> |
183 | <mappings xmi:id="_jOT1Rny5EemI79hpD-o6pA" origin="_U88ocHy5EemI79hpD-o6pA" image="_jOT1RXy5EemI79hpD-o6pA"/> | 183 | <mappings xmi:id="_GpxDSn8VEemiUoPdWqOlQg" origin="_XGRscHy5EemI79hpD-o6pA" image="_GpxDSX8VEemiUoPdWqOlQg"/> |
184 | <mappings xmi:id="_jOUcUHy5EemI79hpD-o6pA" origin="_YuZg0Hy5EemI79hpD-o6pA" image="_jOT1R3y5EemI79hpD-o6pA"/> | 184 | <mappings xmi:id="_GpxqUn8VEemiUoPdWqOlQg" origin="_XfSpYHy5EemI79hpD-o6pA" image="_GpxqUX8VEemiUoPdWqOlQg"/> |
185 | <mappings xmi:id="_jOUcVHy5EemI79hpD-o6pA" origin="_XGRscHy5EemI79hpD-o6pA" image="_jOUcU3y5EemI79hpD-o6pA"/> | 185 | </child> |
186 | <mappings xmi:id="_jOVDYXy5EemI79hpD-o6pA" origin="_XfSpYHy5EemI79hpD-o6pA" image="_jOVDYHy5EemI79hpD-o6pA"/> | 186 | </left> |
187 | </child> | 187 | <right xsi:type="henshin:Not" xmi:id="_JNyfMX8VEemiUoPdWqOlQg"> |
188 | <child xsi:type="henshin:NestedCondition" xmi:id="_JNzGQH8VEemiUoPdWqOlQg"> | ||
189 | <conclusion xmi:id="_JNzGQX8VEemiUoPdWqOlQg" name="1"> | ||
190 | <nodes xmi:id="_JNzGQn8VEemiUoPdWqOlQg" outgoing="_JNztUH8VEemiUoPdWqOlQg _mLtagHy5EemI79hpD-o6pA"> | ||
191 | <type href="cps.ecore#//Requirement"/> | ||
192 | </nodes> | ||
193 | <nodes xmi:id="_JNzGRH8VEemiUoPdWqOlQg" incoming="_JNztUH8VEemiUoPdWqOlQg _JN0UY38VEemiUoPdWqOlQg"> | ||
194 | <type href="cps.ecore#//ApplicationInstance"/> | ||
195 | </nodes> | ||
196 | <nodes xmi:id="_iu3gMHy5EemI79hpD-o6pA" incoming="_mLtagHy5EemI79hpD-o6pA" outgoing="_l0ud4Hy5EemI79hpD-o6pA"> | ||
197 | <type href="cps.ecore#//ApplicationInstance"/> | ||
198 | </nodes> | ||
199 | <nodes xmi:id="_JNztVH8VEemiUoPdWqOlQg" outgoing="_JN0UYn8VEemiUoPdWqOlQg _JN0UY38VEemiUoPdWqOlQg"> | ||
200 | <type href="cps.ecore#//ApplicationType"/> | ||
201 | </nodes> | ||
202 | <nodes xmi:id="_JN0UYH8VEemiUoPdWqOlQg" incoming="_JN0UYn8VEemiUoPdWqOlQg" outgoing="_JN07cn8VEemiUoPdWqOlQg"> | ||
203 | <type href="cps.ecore#//ResourceRequirement"/> | ||
204 | </nodes> | ||
205 | <nodes xmi:id="_JN07cH8VEemiUoPdWqOlQg" incoming="_JN07cn8VEemiUoPdWqOlQg" outgoing="_JN1igX8VEemiUoPdWqOlQg"> | ||
206 | <type href="cps.ecore#//HostType"/> | ||
207 | </nodes> | ||
208 | <nodes xmi:id="_JN07c38VEemiUoPdWqOlQg" incoming="_JN1igX8VEemiUoPdWqOlQg _l0ud4Hy5EemI79hpD-o6pA"> | ||
209 | <type href="cps.ecore#//HostInstance"/> | ||
210 | </nodes> | ||
211 | <edges xmi:id="_JNztUH8VEemiUoPdWqOlQg" source="_JNzGQn8VEemiUoPdWqOlQg" target="_JNzGRH8VEemiUoPdWqOlQg"> | ||
212 | <type href="cps.ecore#//Requirement/instances"/> | ||
213 | </edges> | ||
214 | <edges xmi:id="_JN0UYn8VEemiUoPdWqOlQg" source="_JNztVH8VEemiUoPdWqOlQg" target="_JN0UYH8VEemiUoPdWqOlQg"> | ||
215 | <type href="cps.ecore#//ApplicationType/requirements"/> | ||
216 | </edges> | ||
217 | <edges xmi:id="_JN0UY38VEemiUoPdWqOlQg" source="_JNztVH8VEemiUoPdWqOlQg" target="_JNzGRH8VEemiUoPdWqOlQg"> | ||
218 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
219 | </edges> | ||
220 | <edges xmi:id="_JN07cn8VEemiUoPdWqOlQg" source="_JN0UYH8VEemiUoPdWqOlQg" target="_JN07cH8VEemiUoPdWqOlQg"> | ||
221 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | ||
222 | </edges> | ||
223 | <edges xmi:id="_JN1igX8VEemiUoPdWqOlQg" source="_JN07cH8VEemiUoPdWqOlQg" target="_JN07c38VEemiUoPdWqOlQg"> | ||
224 | <type href="cps.ecore#//HostType/instances"/> | ||
225 | </edges> | ||
226 | <edges xmi:id="_mLtagHy5EemI79hpD-o6pA" source="_JNzGQn8VEemiUoPdWqOlQg" target="_iu3gMHy5EemI79hpD-o6pA"> | ||
227 | <type href="cps.ecore#//Requirement/instances"/> | ||
228 | </edges> | ||
229 | <edges xmi:id="_l0ud4Hy5EemI79hpD-o6pA" source="_iu3gMHy5EemI79hpD-o6pA" target="_JN07c38VEemiUoPdWqOlQg"> | ||
230 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
231 | </edges> | ||
232 | </conclusion> | ||
233 | <mappings xmi:id="_JNzGQ38VEemiUoPdWqOlQg" origin="_QzQ2QHy5EemI79hpD-o6pA" image="_JNzGQn8VEemiUoPdWqOlQg"/> | ||
234 | <mappings xmi:id="_JNzGRX8VEemiUoPdWqOlQg" origin="_WEdqIHy5EemI79hpD-o6pA" image="_JNzGRH8VEemiUoPdWqOlQg"/> | ||
235 | <mappings xmi:id="_JNztVX8VEemiUoPdWqOlQg" origin="_U88ocHy5EemI79hpD-o6pA" image="_JNztVH8VEemiUoPdWqOlQg"/> | ||
236 | <mappings xmi:id="_JN0UYX8VEemiUoPdWqOlQg" origin="_YuZg0Hy5EemI79hpD-o6pA" image="_JN0UYH8VEemiUoPdWqOlQg"/> | ||
237 | <mappings xmi:id="_JN07cX8VEemiUoPdWqOlQg" origin="_XGRscHy5EemI79hpD-o6pA" image="_JN07cH8VEemiUoPdWqOlQg"/> | ||
238 | <mappings xmi:id="_JN1igH8VEemiUoPdWqOlQg" origin="_XfSpYHy5EemI79hpD-o6pA" image="_JN07c38VEemiUoPdWqOlQg"/> | ||
239 | </child> | ||
240 | </right> | ||
188 | </formula> | 241 | </formula> |
189 | </lhs> | 242 | </lhs> |
190 | <rhs xmi:id="_W9bH4Hy4EemI79hpD-o6pA" name="Rhs"> | 243 | <rhs xmi:id="_W9bH4Hy4EemI79hpD-o6pA" name="Rhs"> |
@@ -255,4 +308,191 @@ | |||
255 | <mappings xmi:id="_OdwiAXy6EemI79hpD-o6pA" origin="_OdtesHy6EemI79hpD-o6pA" image="_OdwiAHy6EemI79hpD-o6pA"/> | 308 | <mappings xmi:id="_OdwiAXy6EemI79hpD-o6pA" origin="_OdtesHy6EemI79hpD-o6pA" image="_OdwiAHy6EemI79hpD-o6pA"/> |
256 | <mappings xmi:id="_PGadcny6EemI79hpD-o6pA" origin="_PGadcHy6EemI79hpD-o6pA" image="_PGadcXy6EemI79hpD-o6pA"/> | 309 | <mappings xmi:id="_PGadcny6EemI79hpD-o6pA" origin="_PGadcHy6EemI79hpD-o6pA" image="_PGadcXy6EemI79hpD-o6pA"/> |
257 | </units> | 310 | </units> |
311 | <units xsi:type="henshin:Rule" xmi:id="_4lbl0H8UEemiUoPdWqOlQg" name="reallocate"> | ||
312 | <lhs xmi:id="_4lkvwH8UEemiUoPdWqOlQg" name="Lhs"> | ||
313 | <nodes xmi:id="_VfKxQH8VEemiUoPdWqOlQg" outgoing="_uW8jIH8VEemiUoPdWqOlQg"> | ||
314 | <type href="cps.ecore#//Requirement"/> | ||
315 | </nodes> | ||
316 | <nodes xmi:id="_WJkZIH8VEemiUoPdWqOlQg" outgoing="_4SqlYH8VEemiUoPdWqOlQg _44kHwH8VEemiUoPdWqOlQg"> | ||
317 | <type href="cps.ecore#//ApplicationType"/> | ||
318 | </nodes> | ||
319 | <nodes xmi:id="_Yz9i0H8VEemiUoPdWqOlQg" incoming="_5r5CIH8VEemiUoPdWqOlQg"> | ||
320 | <type href="cps.ecore#//HostInstance"/> | ||
321 | </nodes> | ||
322 | <nodes xmi:id="_cTchcH8VEemiUoPdWqOlQg" incoming="_uW8jIH8VEemiUoPdWqOlQg _4SqlYH8VEemiUoPdWqOlQg" outgoing="_3NH5oH8VEemiUoPdWqOlQg"> | ||
323 | <type href="cps.ecore#//ApplicationInstance"/> | ||
324 | </nodes> | ||
325 | <nodes xmi:id="_fYauUH8VEemiUoPdWqOlQg" incoming="_44kHwH8VEemiUoPdWqOlQg" outgoing="_5Rch0H8VEemiUoPdWqOlQg"> | ||
326 | <type href="cps.ecore#//ResourceRequirement"/> | ||
327 | </nodes> | ||
328 | <nodes xmi:id="_kl-_YH8VEemiUoPdWqOlQg" incoming="_5Rch0H8VEemiUoPdWqOlQg" outgoing="_5r5CIH8VEemiUoPdWqOlQg"> | ||
329 | <type href="cps.ecore#//HostType"/> | ||
330 | </nodes> | ||
331 | <nodes xmi:id="_wZrP4H8VEemiUoPdWqOlQg" incoming="_3NH5oH8VEemiUoPdWqOlQg"> | ||
332 | <type href="cps.ecore#//HostInstance"/> | ||
333 | </nodes> | ||
334 | <edges xmi:id="_uW8jIH8VEemiUoPdWqOlQg" source="_VfKxQH8VEemiUoPdWqOlQg" target="_cTchcH8VEemiUoPdWqOlQg"> | ||
335 | <type href="cps.ecore#//Requirement/instances"/> | ||
336 | </edges> | ||
337 | <edges xmi:id="_4SqlYH8VEemiUoPdWqOlQg" source="_WJkZIH8VEemiUoPdWqOlQg" target="_cTchcH8VEemiUoPdWqOlQg"> | ||
338 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
339 | </edges> | ||
340 | <edges xmi:id="_44kHwH8VEemiUoPdWqOlQg" source="_WJkZIH8VEemiUoPdWqOlQg" target="_fYauUH8VEemiUoPdWqOlQg"> | ||
341 | <type href="cps.ecore#//ApplicationType/requirements"/> | ||
342 | </edges> | ||
343 | <edges xmi:id="_5Rch0H8VEemiUoPdWqOlQg" source="_fYauUH8VEemiUoPdWqOlQg" target="_kl-_YH8VEemiUoPdWqOlQg"> | ||
344 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | ||
345 | </edges> | ||
346 | <edges xmi:id="_5r5CIH8VEemiUoPdWqOlQg" source="_kl-_YH8VEemiUoPdWqOlQg" target="_Yz9i0H8VEemiUoPdWqOlQg"> | ||
347 | <type href="cps.ecore#//HostType/instances"/> | ||
348 | </edges> | ||
349 | <edges xmi:id="_3NH5oH8VEemiUoPdWqOlQg" source="_cTchcH8VEemiUoPdWqOlQg" target="_wZrP4H8VEemiUoPdWqOlQg"> | ||
350 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
351 | </edges> | ||
352 | <formula xsi:type="henshin:Not" xmi:id="_9Q-5gH8VEemiUoPdWqOlQg"> | ||
353 | <child xsi:type="henshin:NestedCondition" xmi:id="_9Q-5gX8VEemiUoPdWqOlQg"> | ||
354 | <conclusion xmi:id="_9Q-5gn8VEemiUoPdWqOlQg"> | ||
355 | <nodes xmi:id="_9Q-5g38VEemiUoPdWqOlQg" outgoing="_9Q-5h38VEemiUoPdWqOlQg _ulPd0H8VEemiUoPdWqOlQg"> | ||
356 | <type href="cps.ecore#//Requirement"/> | ||
357 | </nodes> | ||
358 | <nodes xmi:id="_9Q-5hX8VEemiUoPdWqOlQg" incoming="_9Q-5h38VEemiUoPdWqOlQg _9Q-5jX8VEemiUoPdWqOlQg" outgoing="_9Q-5mH8VEemiUoPdWqOlQg"> | ||
359 | <type href="cps.ecore#//ApplicationInstance"/> | ||
360 | </nodes> | ||
361 | <nodes xmi:id="_Xr-AAH8VEemiUoPdWqOlQg" incoming="_ulPd0H8VEemiUoPdWqOlQg" outgoing="_-vrFEH8VEemiUoPdWqOlQg"> | ||
362 | <type href="cps.ecore#//ApplicationInstance"/> | ||
363 | </nodes> | ||
364 | <nodes xmi:id="_9Q-5i38VEemiUoPdWqOlQg" outgoing="_9Q-5jX8VEemiUoPdWqOlQg _9Q-5kH8VEemiUoPdWqOlQg"> | ||
365 | <type href="cps.ecore#//ApplicationType"/> | ||
366 | </nodes> | ||
367 | <nodes xmi:id="_9Q-5jn8VEemiUoPdWqOlQg" incoming="_9Q-5kH8VEemiUoPdWqOlQg" outgoing="_9Q-5mX8VEemiUoPdWqOlQg"> | ||
368 | <type href="cps.ecore#//ResourceRequirement"/> | ||
369 | </nodes> | ||
370 | <nodes xmi:id="_9Q-5kX8VEemiUoPdWqOlQg" incoming="_9Q-5lX8VEemiUoPdWqOlQg _-vrFEH8VEemiUoPdWqOlQg"> | ||
371 | <type href="cps.ecore#//HostInstance"/> | ||
372 | </nodes> | ||
373 | <nodes xmi:id="_9Q-5k38VEemiUoPdWqOlQg" incoming="_9Q-5mX8VEemiUoPdWqOlQg" outgoing="_9Q-5lX8VEemiUoPdWqOlQg"> | ||
374 | <type href="cps.ecore#//HostType"/> | ||
375 | </nodes> | ||
376 | <nodes xmi:id="_9Q-5ln8VEemiUoPdWqOlQg" incoming="_9Q-5mH8VEemiUoPdWqOlQg"> | ||
377 | <type href="cps.ecore#//HostInstance"/> | ||
378 | </nodes> | ||
379 | <edges xmi:id="_9Q-5h38VEemiUoPdWqOlQg" source="_9Q-5g38VEemiUoPdWqOlQg" target="_9Q-5hX8VEemiUoPdWqOlQg"> | ||
380 | <type href="cps.ecore#//Requirement/instances"/> | ||
381 | </edges> | ||
382 | <edges xmi:id="_9Q-5jX8VEemiUoPdWqOlQg" source="_9Q-5i38VEemiUoPdWqOlQg" target="_9Q-5hX8VEemiUoPdWqOlQg"> | ||
383 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
384 | </edges> | ||
385 | <edges xmi:id="_9Q-5kH8VEemiUoPdWqOlQg" source="_9Q-5i38VEemiUoPdWqOlQg" target="_9Q-5jn8VEemiUoPdWqOlQg"> | ||
386 | <type href="cps.ecore#//ApplicationType/requirements"/> | ||
387 | </edges> | ||
388 | <edges xmi:id="_9Q-5lX8VEemiUoPdWqOlQg" source="_9Q-5k38VEemiUoPdWqOlQg" target="_9Q-5kX8VEemiUoPdWqOlQg"> | ||
389 | <type href="cps.ecore#//HostType/instances"/> | ||
390 | </edges> | ||
391 | <edges xmi:id="_9Q-5mH8VEemiUoPdWqOlQg" source="_9Q-5hX8VEemiUoPdWqOlQg" target="_9Q-5ln8VEemiUoPdWqOlQg"> | ||
392 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
393 | </edges> | ||
394 | <edges xmi:id="_9Q-5mX8VEemiUoPdWqOlQg" source="_9Q-5jn8VEemiUoPdWqOlQg" target="_9Q-5k38VEemiUoPdWqOlQg"> | ||
395 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | ||
396 | </edges> | ||
397 | <edges xmi:id="_ulPd0H8VEemiUoPdWqOlQg" source="_9Q-5g38VEemiUoPdWqOlQg" target="_Xr-AAH8VEemiUoPdWqOlQg"> | ||
398 | <type href="cps.ecore#//Requirement/instances"/> | ||
399 | </edges> | ||
400 | <edges xmi:id="_-vrFEH8VEemiUoPdWqOlQg" source="_Xr-AAH8VEemiUoPdWqOlQg" target="_9Q-5kX8VEemiUoPdWqOlQg"> | ||
401 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
402 | </edges> | ||
403 | </conclusion> | ||
404 | <mappings xmi:id="_9Q-5hH8VEemiUoPdWqOlQg" origin="_VfKxQH8VEemiUoPdWqOlQg" image="_9Q-5g38VEemiUoPdWqOlQg"/> | ||
405 | <mappings xmi:id="_9Q-5hn8VEemiUoPdWqOlQg" origin="_cTchcH8VEemiUoPdWqOlQg" image="_9Q-5hX8VEemiUoPdWqOlQg"/> | ||
406 | <mappings xmi:id="_9Q-5jH8VEemiUoPdWqOlQg" origin="_WJkZIH8VEemiUoPdWqOlQg" image="_9Q-5i38VEemiUoPdWqOlQg"/> | ||
407 | <mappings xmi:id="_9Q-5j38VEemiUoPdWqOlQg" origin="_fYauUH8VEemiUoPdWqOlQg" image="_9Q-5jn8VEemiUoPdWqOlQg"/> | ||
408 | <mappings xmi:id="_9Q-5kn8VEemiUoPdWqOlQg" origin="_Yz9i0H8VEemiUoPdWqOlQg" image="_9Q-5kX8VEemiUoPdWqOlQg"/> | ||
409 | <mappings xmi:id="_9Q-5lH8VEemiUoPdWqOlQg" origin="_kl-_YH8VEemiUoPdWqOlQg" image="_9Q-5k38VEemiUoPdWqOlQg"/> | ||
410 | <mappings xmi:id="_9Q-5l38VEemiUoPdWqOlQg" origin="_wZrP4H8VEemiUoPdWqOlQg" image="_9Q-5ln8VEemiUoPdWqOlQg"/> | ||
411 | </child> | ||
412 | </formula> | ||
413 | </lhs> | ||
414 | <rhs xmi:id="_4lnMAH8UEemiUoPdWqOlQg" name="Rhs"> | ||
415 | <nodes xmi:id="_VfNNgH8VEemiUoPdWqOlQg" outgoing="_uW9KMH8VEemiUoPdWqOlQg"> | ||
416 | <type href="cps.ecore#//Requirement"/> | ||
417 | </nodes> | ||
418 | <nodes xmi:id="_WJkZIX8VEemiUoPdWqOlQg" outgoing="_4SqlYX8VEemiUoPdWqOlQg _44kHwX8VEemiUoPdWqOlQg"> | ||
419 | <type href="cps.ecore#//ApplicationType"/> | ||
420 | </nodes> | ||
421 | <nodes xmi:id="_Y0DCYH8VEemiUoPdWqOlQg" incoming="_5r5CIX8VEemiUoPdWqOlQg __Te8wH8VEemiUoPdWqOlQg"> | ||
422 | <type href="cps.ecore#//HostInstance"/> | ||
423 | </nodes> | ||
424 | <nodes xmi:id="_cTchcX8VEemiUoPdWqOlQg" incoming="_uW9KMH8VEemiUoPdWqOlQg _4SqlYX8VEemiUoPdWqOlQg" outgoing="__Te8wH8VEemiUoPdWqOlQg"> | ||
425 | <type href="cps.ecore#//ApplicationInstance"/> | ||
426 | </nodes> | ||
427 | <nodes xmi:id="_fYbVYH8VEemiUoPdWqOlQg" incoming="_44kHwX8VEemiUoPdWqOlQg" outgoing="_5Rch0X8VEemiUoPdWqOlQg"> | ||
428 | <type href="cps.ecore#//ResourceRequirement"/> | ||
429 | </nodes> | ||
430 | <nodes xmi:id="_kl-_YX8VEemiUoPdWqOlQg" incoming="_5Rch0X8VEemiUoPdWqOlQg" outgoing="_5r5CIX8VEemiUoPdWqOlQg"> | ||
431 | <type href="cps.ecore#//HostType"/> | ||
432 | </nodes> | ||
433 | <nodes xmi:id="_6wB_sH8VEemiUoPdWqOlQg"> | ||
434 | <type href="cps.ecore#//HostInstance"/> | ||
435 | </nodes> | ||
436 | <edges xmi:id="_uW9KMH8VEemiUoPdWqOlQg" source="_VfNNgH8VEemiUoPdWqOlQg" target="_cTchcX8VEemiUoPdWqOlQg"> | ||
437 | <type href="cps.ecore#//Requirement/instances"/> | ||
438 | </edges> | ||
439 | <edges xmi:id="_4SqlYX8VEemiUoPdWqOlQg" source="_WJkZIX8VEemiUoPdWqOlQg" target="_cTchcX8VEemiUoPdWqOlQg"> | ||
440 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
441 | </edges> | ||
442 | <edges xmi:id="_44kHwX8VEemiUoPdWqOlQg" source="_WJkZIX8VEemiUoPdWqOlQg" target="_fYbVYH8VEemiUoPdWqOlQg"> | ||
443 | <type href="cps.ecore#//ApplicationType/requirements"/> | ||
444 | </edges> | ||
445 | <edges xmi:id="_5Rch0X8VEemiUoPdWqOlQg" source="_fYbVYH8VEemiUoPdWqOlQg" target="_kl-_YX8VEemiUoPdWqOlQg"> | ||
446 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | ||
447 | </edges> | ||
448 | <edges xmi:id="_5r5CIX8VEemiUoPdWqOlQg" source="_kl-_YX8VEemiUoPdWqOlQg" target="_Y0DCYH8VEemiUoPdWqOlQg"> | ||
449 | <type href="cps.ecore#//HostType/instances"/> | ||
450 | </edges> | ||
451 | <edges xmi:id="__Te8wH8VEemiUoPdWqOlQg" source="_cTchcX8VEemiUoPdWqOlQg" target="_Y0DCYH8VEemiUoPdWqOlQg"> | ||
452 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
453 | </edges> | ||
454 | </rhs> | ||
455 | <mappings xmi:id="_VfNNgX8VEemiUoPdWqOlQg" origin="_VfKxQH8VEemiUoPdWqOlQg" image="_VfNNgH8VEemiUoPdWqOlQg"/> | ||
456 | <mappings xmi:id="_WJkZIn8VEemiUoPdWqOlQg" origin="_WJkZIH8VEemiUoPdWqOlQg" image="_WJkZIX8VEemiUoPdWqOlQg"/> | ||
457 | <mappings xmi:id="_Y0DCYX8VEemiUoPdWqOlQg" origin="_Yz9i0H8VEemiUoPdWqOlQg" image="_Y0DCYH8VEemiUoPdWqOlQg"/> | ||
458 | <mappings xmi:id="_cTchcn8VEemiUoPdWqOlQg" origin="_cTchcH8VEemiUoPdWqOlQg" image="_cTchcX8VEemiUoPdWqOlQg"/> | ||
459 | <mappings xmi:id="_fYbVYX8VEemiUoPdWqOlQg" origin="_fYauUH8VEemiUoPdWqOlQg" image="_fYbVYH8VEemiUoPdWqOlQg"/> | ||
460 | <mappings xmi:id="_kl_mcH8VEemiUoPdWqOlQg" origin="_kl-_YH8VEemiUoPdWqOlQg" image="_kl-_YX8VEemiUoPdWqOlQg"/> | ||
461 | <mappings xmi:id="_6wB_sX8VEemiUoPdWqOlQg" origin="_wZrP4H8VEemiUoPdWqOlQg" image="_6wB_sH8VEemiUoPdWqOlQg"/> | ||
462 | </units> | ||
463 | <units xsi:type="henshin:Rule" xmi:id="_7SLYkH8XEemiUoPdWqOlQg" name="deleteAppInstance"> | ||
464 | <lhs xmi:id="_7SQREH8XEemiUoPdWqOlQg" name="Lhs"> | ||
465 | <nodes xmi:id="_AUFMMH8YEemiUoPdWqOlQg" outgoing="_IR7MgH8YEemiUoPdWqOlQg _InEWEH8YEemiUoPdWqOlQg"> | ||
466 | <type href="cps.ecore#//Requirement"/> | ||
467 | </nodes> | ||
468 | <nodes xmi:id="_A8eo8H8YEemiUoPdWqOlQg" incoming="_InEWEH8YEemiUoPdWqOlQg" outgoing="_H6p8AH8YEemiUoPdWqOlQg"> | ||
469 | <type href="cps.ecore#//ApplicationType"/> | ||
470 | </nodes> | ||
471 | <nodes xmi:id="_Dova4H8YEemiUoPdWqOlQg" incoming="_H6p8AH8YEemiUoPdWqOlQg _IR7MgH8YEemiUoPdWqOlQg"> | ||
472 | <type href="cps.ecore#//ApplicationInstance"/> | ||
473 | </nodes> | ||
474 | <edges xmi:id="_H6p8AH8YEemiUoPdWqOlQg" source="_A8eo8H8YEemiUoPdWqOlQg" target="_Dova4H8YEemiUoPdWqOlQg"> | ||
475 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
476 | </edges> | ||
477 | <edges xmi:id="_IR7MgH8YEemiUoPdWqOlQg" source="_AUFMMH8YEemiUoPdWqOlQg" target="_Dova4H8YEemiUoPdWqOlQg"> | ||
478 | <type href="cps.ecore#//Requirement/instances"/> | ||
479 | </edges> | ||
480 | <edges xmi:id="_InEWEH8YEemiUoPdWqOlQg" source="_AUFMMH8YEemiUoPdWqOlQg" target="_A8eo8H8YEemiUoPdWqOlQg"> | ||
481 | <type href="cps.ecore#//Requirement/type"/> | ||
482 | </edges> | ||
483 | </lhs> | ||
484 | <rhs xmi:id="_7SQ4IH8XEemiUoPdWqOlQg" name="Rhs"> | ||
485 | <nodes xmi:id="_AUFMMX8YEemiUoPdWqOlQg" outgoing="_InEWEX8YEemiUoPdWqOlQg"> | ||
486 | <type href="cps.ecore#//Requirement"/> | ||
487 | </nodes> | ||
488 | <nodes xmi:id="_A8eo8X8YEemiUoPdWqOlQg" incoming="_InEWEX8YEemiUoPdWqOlQg"> | ||
489 | <type href="cps.ecore#//ApplicationType"/> | ||
490 | </nodes> | ||
491 | <edges xmi:id="_InEWEX8YEemiUoPdWqOlQg" source="_AUFMMX8YEemiUoPdWqOlQg" target="_A8eo8X8YEemiUoPdWqOlQg"> | ||
492 | <type href="cps.ecore#//Requirement/type"/> | ||
493 | </edges> | ||
494 | </rhs> | ||
495 | <mappings xmi:id="_AUFMMn8YEemiUoPdWqOlQg" origin="_AUFMMH8YEemiUoPdWqOlQg" image="_AUFMMX8YEemiUoPdWqOlQg"/> | ||
496 | <mappings xmi:id="_A8eo8n8YEemiUoPdWqOlQg" origin="_A8eo8H8YEemiUoPdWqOlQg" image="_A8eo8X8YEemiUoPdWqOlQg"/> | ||
497 | </units> | ||
258 | </henshin:Module> | 498 | </henshin:Module> |