diff options
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 | 258 |
1 files changed, 258 insertions, 0 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 new file mode 100644 index 00000000..21e35a56 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.henshin | |||
@@ -0,0 +1,258 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <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="_rUcIgHyxEemI79hpD-o6pA"> | ||
3 | <imports href="cps.ecore#/"/> | ||
4 | <units xsi:type="henshin:Rule" xmi:id="_ttviMHyxEemI79hpD-o6pA" name="createAppInstance"> | ||
5 | <lhs xmi:id="_tuVYEHyxEemI79hpD-o6pA" name="Lhs"> | ||
6 | <nodes xmi:id="_8OoYwHyxEemI79hpD-o6pA" name="req" outgoing="_APd7gHyzEemI79hpD-o6pA"> | ||
7 | <type href="cps.ecore#//Requirement"/> | ||
8 | </nodes> | ||
9 | <nodes xmi:id="__cBFUHyyEemI79hpD-o6pA" incoming="_APd7gHyzEemI79hpD-o6pA"> | ||
10 | <type href="cps.ecore#//ApplicationType"/> | ||
11 | </nodes> | ||
12 | <edges xmi:id="_APd7gHyzEemI79hpD-o6pA" source="_8OoYwHyxEemI79hpD-o6pA" target="__cBFUHyyEemI79hpD-o6pA"> | ||
13 | <type href="cps.ecore#//Requirement/type"/> | ||
14 | </edges> | ||
15 | </lhs> | ||
16 | <rhs xmi:id="_txSlcHyxEemI79hpD-o6pA" name="Rhs"> | ||
17 | <nodes xmi:id="_8OufYHyxEemI79hpD-o6pA" name="req" outgoing="_6YaokHyyEemI79hpD-o6pA _APd7gXyzEemI79hpD-o6pA"> | ||
18 | <type href="cps.ecore#//Requirement"/> | ||
19 | </nodes> | ||
20 | <nodes xmi:id="_KIXvwHyyEemI79hpD-o6pA" incoming="_6YaokHyyEemI79hpD-o6pA _AoFP0HyzEemI79hpD-o6pA"> | ||
21 | <type href="cps.ecore#//ApplicationInstance"/> | ||
22 | </nodes> | ||
23 | <nodes xmi:id="__cBFUXyyEemI79hpD-o6pA" incoming="_APd7gXyzEemI79hpD-o6pA" outgoing="_AoFP0HyzEemI79hpD-o6pA"> | ||
24 | <type href="cps.ecore#//ApplicationType"/> | ||
25 | </nodes> | ||
26 | <edges xmi:id="_6YaokHyyEemI79hpD-o6pA" source="_8OufYHyxEemI79hpD-o6pA" target="_KIXvwHyyEemI79hpD-o6pA"> | ||
27 | <type href="cps.ecore#//Requirement/instances"/> | ||
28 | </edges> | ||
29 | <edges xmi:id="_APd7gXyzEemI79hpD-o6pA" source="_8OufYHyxEemI79hpD-o6pA" target="__cBFUXyyEemI79hpD-o6pA"> | ||
30 | <type href="cps.ecore#//Requirement/type"/> | ||
31 | </edges> | ||
32 | <edges xmi:id="_AoFP0HyzEemI79hpD-o6pA" source="__cBFUXyyEemI79hpD-o6pA" target="_KIXvwHyyEemI79hpD-o6pA"> | ||
33 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
34 | </edges> | ||
35 | </rhs> | ||
36 | <mappings xmi:id="_8OufYXyxEemI79hpD-o6pA" origin="_8OoYwHyxEemI79hpD-o6pA" image="_8OufYHyxEemI79hpD-o6pA"/> | ||
37 | <mappings xmi:id="__cBsYHyyEemI79hpD-o6pA" origin="__cBFUHyyEemI79hpD-o6pA" image="__cBFUXyyEemI79hpD-o6pA"/> | ||
38 | </units> | ||
39 | <units xsi:type="henshin:Rule" xmi:id="_M36NQHy0EemI79hpD-o6pA" name="createHostInstance"> | ||
40 | <lhs xmi:id="_M4D-QHy0EemI79hpD-o6pA" name="Lhs"> | ||
41 | <nodes xmi:id="_ZpwIEHy0EemI79hpD-o6pA"> | ||
42 | <type href="cps.ecore#//HostType"/> | ||
43 | </nodes> | ||
44 | </lhs> | ||
45 | <rhs xmi:id="_M4HBkHy0EemI79hpD-o6pA" name="Rhs"> | ||
46 | <nodes xmi:id="_Zp2OsHy0EemI79hpD-o6pA" outgoing="_faZ4EHy0EemI79hpD-o6pA"> | ||
47 | <type href="cps.ecore#//HostType"/> | ||
48 | </nodes> | ||
49 | <nodes xmi:id="_bFDBYHy0EemI79hpD-o6pA" incoming="_faZ4EHy0EemI79hpD-o6pA"> | ||
50 | <type href="cps.ecore#//HostInstance"/> | ||
51 | </nodes> | ||
52 | <edges xmi:id="_faZ4EHy0EemI79hpD-o6pA" source="_Zp2OsHy0EemI79hpD-o6pA" target="_bFDBYHy0EemI79hpD-o6pA"> | ||
53 | <type href="cps.ecore#//HostType/instances"/> | ||
54 | </edges> | ||
55 | </rhs> | ||
56 | <mappings xmi:id="_Zp2OsXy0EemI79hpD-o6pA" origin="_ZpwIEHy0EemI79hpD-o6pA" image="_Zp2OsHy0EemI79hpD-o6pA"/> | ||
57 | </units> | ||
58 | <units xsi:type="henshin:Rule" xmi:id="_2yQIQHy0EemI79hpD-o6pA" name="deleteHostInstance"> | ||
59 | <lhs xmi:id="_2yTLkHy0EemI79hpD-o6pA" name="Lhs"> | ||
60 | <nodes xmi:id="_5jfg0Hy0EemI79hpD-o6pA" outgoing="_7KrhEHy0EemI79hpD-o6pA"> | ||
61 | <type href="cps.ecore#//HostType"/> | ||
62 | </nodes> | ||
63 | <nodes xmi:id="_6FqZwHy0EemI79hpD-o6pA" incoming="_7KrhEHy0EemI79hpD-o6pA"> | ||
64 | <type href="cps.ecore#//HostInstance"/> | ||
65 | </nodes> | ||
66 | <edges xmi:id="_7KrhEHy0EemI79hpD-o6pA" source="_5jfg0Hy0EemI79hpD-o6pA" target="_6FqZwHy0EemI79hpD-o6pA"> | ||
67 | <type href="cps.ecore#//HostType/instances"/> | ||
68 | </edges> | ||
69 | <formula xsi:type="henshin:Not" xmi:id="__tHxgHy0EemI79hpD-o6pA"> | ||
70 | <child xsi:type="henshin:NestedCondition" xmi:id="__tIYkHy0EemI79hpD-o6pA"> | ||
71 | <conclusion xmi:id="__tIYkXy0EemI79hpD-o6pA"> | ||
72 | <nodes xmi:id="_8lTsAHy0EemI79hpD-o6pA" outgoing="__HvMgHy0EemI79hpD-o6pA"> | ||
73 | <type href="cps.ecore#//ApplicationInstance"/> | ||
74 | </nodes> | ||
75 | <nodes xmi:id="__tI_oHy0EemI79hpD-o6pA" incoming="__HvMgHy0EemI79hpD-o6pA _AuDqEHy1EemI79hpD-o6pA"> | ||
76 | <type href="cps.ecore#//HostInstance"/> | ||
77 | </nodes> | ||
78 | <nodes xmi:id="_AuDDAHy1EemI79hpD-o6pA" outgoing="_AuDqEHy1EemI79hpD-o6pA"> | ||
79 | <type href="cps.ecore#//HostType"/> | ||
80 | </nodes> | ||
81 | <edges xmi:id="__HvMgHy0EemI79hpD-o6pA" source="_8lTsAHy0EemI79hpD-o6pA" target="__tI_oHy0EemI79hpD-o6pA"> | ||
82 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
83 | </edges> | ||
84 | <edges xmi:id="_AuDqEHy1EemI79hpD-o6pA" source="_AuDDAHy1EemI79hpD-o6pA" target="__tI_oHy0EemI79hpD-o6pA"> | ||
85 | <type href="cps.ecore#//HostType/instances"/> | ||
86 | </edges> | ||
87 | </conclusion> | ||
88 | <mappings xmi:id="__tI_oXy0EemI79hpD-o6pA" origin="_6FqZwHy0EemI79hpD-o6pA" image="__tI_oHy0EemI79hpD-o6pA"/> | ||
89 | <mappings xmi:id="_AuDDAXy1EemI79hpD-o6pA" origin="_5jfg0Hy0EemI79hpD-o6pA" image="_AuDDAHy1EemI79hpD-o6pA"/> | ||
90 | </child> | ||
91 | </formula> | ||
92 | </lhs> | ||
93 | <rhs xmi:id="_2yUZsHy0EemI79hpD-o6pA" name="Rhs"> | ||
94 | <nodes xmi:id="_5jfg0Xy0EemI79hpD-o6pA"> | ||
95 | <type href="cps.ecore#//HostType"/> | ||
96 | </nodes> | ||
97 | </rhs> | ||
98 | <mappings xmi:id="_5jfg0ny0EemI79hpD-o6pA" origin="_5jfg0Hy0EemI79hpD-o6pA" image="_5jfg0Xy0EemI79hpD-o6pA"/> | ||
99 | </units> | ||
100 | <units xsi:type="henshin:Rule" xmi:id="_W9WPYHy4EemI79hpD-o6pA" name="allocate"> | ||
101 | <lhs xmi:id="_W9ag0Hy4EemI79hpD-o6pA" name="Lhs"> | ||
102 | <nodes xmi:id="_QzQ2QHy5EemI79hpD-o6pA" outgoing="_hW5nsHy5EemI79hpD-o6pA"> | ||
103 | <type href="cps.ecore#//Requirement"/> | ||
104 | </nodes> | ||
105 | <nodes xmi:id="_U88ocHy5EemI79hpD-o6pA" outgoing="_epK2IHy5EemI79hpD-o6pA _f_l2gHy5EemI79hpD-o6pA"> | ||
106 | <type href="cps.ecore#//ApplicationType"/> | ||
107 | </nodes> | ||
108 | <nodes xmi:id="_WEdqIHy5EemI79hpD-o6pA" incoming="_f_l2gHy5EemI79hpD-o6pA _hW5nsHy5EemI79hpD-o6pA"> | ||
109 | <type href="cps.ecore#//ApplicationInstance"/> | ||
110 | </nodes> | ||
111 | <nodes xmi:id="_XGRscHy5EemI79hpD-o6pA" incoming="_fGY9oHy5EemI79hpD-o6pA" outgoing="_fggGwHy5EemI79hpD-o6pA"> | ||
112 | <type href="cps.ecore#//HostType"/> | ||
113 | </nodes> | ||
114 | <nodes xmi:id="_XfSpYHy5EemI79hpD-o6pA" incoming="_fggGwHy5EemI79hpD-o6pA"> | ||
115 | <type href="cps.ecore#//HostInstance"/> | ||
116 | </nodes> | ||
117 | <nodes xmi:id="_YuZg0Hy5EemI79hpD-o6pA" incoming="_epK2IHy5EemI79hpD-o6pA" outgoing="_fGY9oHy5EemI79hpD-o6pA"> | ||
118 | <type href="cps.ecore#//ResourceRequirement"/> | ||
119 | </nodes> | ||
120 | <edges xmi:id="_epK2IHy5EemI79hpD-o6pA" source="_U88ocHy5EemI79hpD-o6pA" target="_YuZg0Hy5EemI79hpD-o6pA"> | ||
121 | <type href="cps.ecore#//ApplicationType/requirements"/> | ||
122 | </edges> | ||
123 | <edges xmi:id="_fGY9oHy5EemI79hpD-o6pA" source="_YuZg0Hy5EemI79hpD-o6pA" target="_XGRscHy5EemI79hpD-o6pA"> | ||
124 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | ||
125 | </edges> | ||
126 | <edges xmi:id="_fggGwHy5EemI79hpD-o6pA" source="_XGRscHy5EemI79hpD-o6pA" target="_XfSpYHy5EemI79hpD-o6pA"> | ||
127 | <type href="cps.ecore#//HostType/instances"/> | ||
128 | </edges> | ||
129 | <edges xmi:id="_f_l2gHy5EemI79hpD-o6pA" source="_U88ocHy5EemI79hpD-o6pA" target="_WEdqIHy5EemI79hpD-o6pA"> | ||
130 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
131 | </edges> | ||
132 | <edges xmi:id="_hW5nsHy5EemI79hpD-o6pA" source="_QzQ2QHy5EemI79hpD-o6pA" target="_WEdqIHy5EemI79hpD-o6pA"> | ||
133 | <type href="cps.ecore#//Requirement/instances"/> | ||
134 | </edges> | ||
135 | <formula xsi:type="henshin:Not" xmi:id="_jOTOMHy5EemI79hpD-o6pA"> | ||
136 | <child xsi:type="henshin:NestedCondition" xmi:id="_jOTOMXy5EemI79hpD-o6pA"> | ||
137 | <conclusion xmi:id="_jOTOMny5EemI79hpD-o6pA"> | ||
138 | <nodes xmi:id="_jOT1QHy5EemI79hpD-o6pA" outgoing="_jOT1RHy5EemI79hpD-o6pA _mLtagHy5EemI79hpD-o6pA"> | ||
139 | <type href="cps.ecore#//Requirement"/> | ||
140 | </nodes> | ||
141 | <nodes xmi:id="_jOT1Qny5EemI79hpD-o6pA" incoming="_jOT1RHy5EemI79hpD-o6pA _jOUcUny5EemI79hpD-o6pA"> | ||
142 | <type href="cps.ecore#//ApplicationInstance"/> | ||
143 | </nodes> | ||
144 | <nodes xmi:id="_jOT1RXy5EemI79hpD-o6pA" outgoing="_jOUcUXy5EemI79hpD-o6pA _jOUcUny5EemI79hpD-o6pA"> | ||
145 | <type href="cps.ecore#//ApplicationType"/> | ||
146 | </nodes> | ||
147 | <nodes xmi:id="_jOT1R3y5EemI79hpD-o6pA" incoming="_jOUcUXy5EemI79hpD-o6pA" outgoing="_jOUcVXy5EemI79hpD-o6pA"> | ||
148 | <type href="cps.ecore#//ResourceRequirement"/> | ||
149 | </nodes> | ||
150 | <nodes xmi:id="_jOUcU3y5EemI79hpD-o6pA" incoming="_jOUcVXy5EemI79hpD-o6pA" outgoing="_jOVDYny5EemI79hpD-o6pA"> | ||
151 | <type href="cps.ecore#//HostType"/> | ||
152 | </nodes> | ||
153 | <nodes xmi:id="_jOVDYHy5EemI79hpD-o6pA" incoming="_jOVDYny5EemI79hpD-o6pA _l0ud4Hy5EemI79hpD-o6pA"> | ||
154 | <type href="cps.ecore#//HostInstance"/> | ||
155 | </nodes> | ||
156 | <nodes xmi:id="_iu3gMHy5EemI79hpD-o6pA" incoming="_mLtagHy5EemI79hpD-o6pA" outgoing="_l0ud4Hy5EemI79hpD-o6pA"> | ||
157 | <type href="cps.ecore#//ApplicationInstance"/> | ||
158 | </nodes> | ||
159 | <edges xmi:id="_jOT1RHy5EemI79hpD-o6pA" source="_jOT1QHy5EemI79hpD-o6pA" target="_jOT1Qny5EemI79hpD-o6pA"> | ||
160 | <type href="cps.ecore#//Requirement/instances"/> | ||
161 | </edges> | ||
162 | <edges xmi:id="_jOUcUXy5EemI79hpD-o6pA" source="_jOT1RXy5EemI79hpD-o6pA" target="_jOT1R3y5EemI79hpD-o6pA"> | ||
163 | <type href="cps.ecore#//ApplicationType/requirements"/> | ||
164 | </edges> | ||
165 | <edges xmi:id="_jOUcUny5EemI79hpD-o6pA" source="_jOT1RXy5EemI79hpD-o6pA" target="_jOT1Qny5EemI79hpD-o6pA"> | ||
166 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
167 | </edges> | ||
168 | <edges xmi:id="_jOUcVXy5EemI79hpD-o6pA" source="_jOT1R3y5EemI79hpD-o6pA" target="_jOUcU3y5EemI79hpD-o6pA"> | ||
169 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | ||
170 | </edges> | ||
171 | <edges xmi:id="_jOVDYny5EemI79hpD-o6pA" source="_jOUcU3y5EemI79hpD-o6pA" target="_jOVDYHy5EemI79hpD-o6pA"> | ||
172 | <type href="cps.ecore#//HostType/instances"/> | ||
173 | </edges> | ||
174 | <edges xmi:id="_l0ud4Hy5EemI79hpD-o6pA" source="_iu3gMHy5EemI79hpD-o6pA" target="_jOVDYHy5EemI79hpD-o6pA"> | ||
175 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
176 | </edges> | ||
177 | <edges xmi:id="_mLtagHy5EemI79hpD-o6pA" source="_jOT1QHy5EemI79hpD-o6pA" target="_iu3gMHy5EemI79hpD-o6pA"> | ||
178 | <type href="cps.ecore#//Requirement/instances"/> | ||
179 | </edges> | ||
180 | </conclusion> | ||
181 | <mappings xmi:id="_jOT1QXy5EemI79hpD-o6pA" origin="_QzQ2QHy5EemI79hpD-o6pA" image="_jOT1QHy5EemI79hpD-o6pA"/> | ||
182 | <mappings xmi:id="_jOT1Q3y5EemI79hpD-o6pA" origin="_WEdqIHy5EemI79hpD-o6pA" image="_jOT1Qny5EemI79hpD-o6pA"/> | ||
183 | <mappings xmi:id="_jOT1Rny5EemI79hpD-o6pA" origin="_U88ocHy5EemI79hpD-o6pA" image="_jOT1RXy5EemI79hpD-o6pA"/> | ||
184 | <mappings xmi:id="_jOUcUHy5EemI79hpD-o6pA" origin="_YuZg0Hy5EemI79hpD-o6pA" image="_jOT1R3y5EemI79hpD-o6pA"/> | ||
185 | <mappings xmi:id="_jOUcVHy5EemI79hpD-o6pA" origin="_XGRscHy5EemI79hpD-o6pA" image="_jOUcU3y5EemI79hpD-o6pA"/> | ||
186 | <mappings xmi:id="_jOVDYXy5EemI79hpD-o6pA" origin="_XfSpYHy5EemI79hpD-o6pA" image="_jOVDYHy5EemI79hpD-o6pA"/> | ||
187 | </child> | ||
188 | </formula> | ||
189 | </lhs> | ||
190 | <rhs xmi:id="_W9bH4Hy4EemI79hpD-o6pA" name="Rhs"> | ||
191 | <nodes xmi:id="_QzT5kHy5EemI79hpD-o6pA" outgoing="_hW5nsXy5EemI79hpD-o6pA"> | ||
192 | <type href="cps.ecore#//Requirement"/> | ||
193 | </nodes> | ||
194 | <nodes xmi:id="_U89PgHy5EemI79hpD-o6pA" outgoing="_epK2IXy5EemI79hpD-o6pA _f_l2gXy5EemI79hpD-o6pA"> | ||
195 | <type href="cps.ecore#//ApplicationType"/> | ||
196 | </nodes> | ||
197 | <nodes xmi:id="_WEdqIXy5EemI79hpD-o6pA" incoming="_f_l2gXy5EemI79hpD-o6pA _hW5nsXy5EemI79hpD-o6pA" outgoing="_gh0Z0Hy5EemI79hpD-o6pA"> | ||
198 | <type href="cps.ecore#//ApplicationInstance"/> | ||
199 | </nodes> | ||
200 | <nodes xmi:id="_XGRscXy5EemI79hpD-o6pA" incoming="_fGY9oXy5EemI79hpD-o6pA" outgoing="_fggGwXy5EemI79hpD-o6pA"> | ||
201 | <type href="cps.ecore#//HostType"/> | ||
202 | </nodes> | ||
203 | <nodes xmi:id="_XfSpYXy5EemI79hpD-o6pA" incoming="_fggGwXy5EemI79hpD-o6pA _gh0Z0Hy5EemI79hpD-o6pA"> | ||
204 | <type href="cps.ecore#//HostInstance"/> | ||
205 | </nodes> | ||
206 | <nodes xmi:id="_YuZg0Xy5EemI79hpD-o6pA" incoming="_epK2IXy5EemI79hpD-o6pA" outgoing="_fGY9oXy5EemI79hpD-o6pA"> | ||
207 | <type href="cps.ecore#//ResourceRequirement"/> | ||
208 | </nodes> | ||
209 | <edges xmi:id="_epK2IXy5EemI79hpD-o6pA" source="_U89PgHy5EemI79hpD-o6pA" target="_YuZg0Xy5EemI79hpD-o6pA"> | ||
210 | <type href="cps.ecore#//ApplicationType/requirements"/> | ||
211 | </edges> | ||
212 | <edges xmi:id="_fGY9oXy5EemI79hpD-o6pA" source="_YuZg0Xy5EemI79hpD-o6pA" target="_XGRscXy5EemI79hpD-o6pA"> | ||
213 | <type href="cps.ecore#//ResourceRequirement/hostType"/> | ||
214 | </edges> | ||
215 | <edges xmi:id="_fggGwXy5EemI79hpD-o6pA" source="_XGRscXy5EemI79hpD-o6pA" target="_XfSpYXy5EemI79hpD-o6pA"> | ||
216 | <type href="cps.ecore#//HostType/instances"/> | ||
217 | </edges> | ||
218 | <edges xmi:id="_f_l2gXy5EemI79hpD-o6pA" source="_U89PgHy5EemI79hpD-o6pA" target="_WEdqIXy5EemI79hpD-o6pA"> | ||
219 | <type href="cps.ecore#//ApplicationType/instances"/> | ||
220 | </edges> | ||
221 | <edges xmi:id="_gh0Z0Hy5EemI79hpD-o6pA" source="_WEdqIXy5EemI79hpD-o6pA" target="_XfSpYXy5EemI79hpD-o6pA"> | ||
222 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
223 | </edges> | ||
224 | <edges xmi:id="_hW5nsXy5EemI79hpD-o6pA" source="_QzT5kHy5EemI79hpD-o6pA" target="_WEdqIXy5EemI79hpD-o6pA"> | ||
225 | <type href="cps.ecore#//Requirement/instances"/> | ||
226 | </edges> | ||
227 | </rhs> | ||
228 | <mappings xmi:id="_QzUgoHy5EemI79hpD-o6pA" origin="_QzQ2QHy5EemI79hpD-o6pA" image="_QzT5kHy5EemI79hpD-o6pA"/> | ||
229 | <mappings xmi:id="_U89PgXy5EemI79hpD-o6pA" origin="_U88ocHy5EemI79hpD-o6pA" image="_U89PgHy5EemI79hpD-o6pA"/> | ||
230 | <mappings xmi:id="_WEdqIny5EemI79hpD-o6pA" origin="_WEdqIHy5EemI79hpD-o6pA" image="_WEdqIXy5EemI79hpD-o6pA"/> | ||
231 | <mappings xmi:id="_XGRscny5EemI79hpD-o6pA" origin="_XGRscHy5EemI79hpD-o6pA" image="_XGRscXy5EemI79hpD-o6pA"/> | ||
232 | <mappings xmi:id="_XfSpYny5EemI79hpD-o6pA" origin="_XfSpYHy5EemI79hpD-o6pA" image="_XfSpYXy5EemI79hpD-o6pA"/> | ||
233 | <mappings xmi:id="_YuZg0ny5EemI79hpD-o6pA" origin="_YuZg0Hy5EemI79hpD-o6pA" image="_YuZg0Xy5EemI79hpD-o6pA"/> | ||
234 | </units> | ||
235 | <units xsi:type="henshin:Rule" xmi:id="_1VgrMHy5EemI79hpD-o6pA" name="unallocate"> | ||
236 | <lhs xmi:id="_1Vk8oHy5EemI79hpD-o6pA" name="Lhs"> | ||
237 | <nodes xmi:id="_OdtesHy6EemI79hpD-o6pA" outgoing="_UpBxcHy6EemI79hpD-o6pA"> | ||
238 | <type href="cps.ecore#//ApplicationInstance"/> | ||
239 | </nodes> | ||
240 | <nodes xmi:id="_PGadcHy6EemI79hpD-o6pA" incoming="_UpBxcHy6EemI79hpD-o6pA"> | ||
241 | <type href="cps.ecore#//HostInstance"/> | ||
242 | </nodes> | ||
243 | <edges xmi:id="_UpBxcHy6EemI79hpD-o6pA" source="_OdtesHy6EemI79hpD-o6pA" target="_PGadcHy6EemI79hpD-o6pA"> | ||
244 | <type href="cps.ecore#//ApplicationInstance/allocatedTo"/> | ||
245 | </edges> | ||
246 | </lhs> | ||
247 | <rhs xmi:id="_1VmKwHy5EemI79hpD-o6pA" name="Rhs"> | ||
248 | <nodes xmi:id="_OdwiAHy6EemI79hpD-o6pA"> | ||
249 | <type href="cps.ecore#//ApplicationInstance"/> | ||
250 | </nodes> | ||
251 | <nodes xmi:id="_PGadcXy6EemI79hpD-o6pA"> | ||
252 | <type href="cps.ecore#//HostInstance"/> | ||
253 | </nodes> | ||
254 | </rhs> | ||
255 | <mappings xmi:id="_OdwiAXy6EemI79hpD-o6pA" origin="_OdtesHy6EemI79hpD-o6pA" image="_OdwiAHy6EemI79hpD-o6pA"/> | ||
256 | <mappings xmi:id="_PGadcny6EemI79hpD-o6pA" origin="_PGadcHy6EemI79hpD-o6pA" image="_PGadcXy6EemI79hpD-o6pA"/> | ||
257 | </units> | ||
258 | </henshin:Module> | ||