aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindumm class diagram.svg
blob: ec1eec69f0942aa0aa04cc56745032358e47afd2 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
<?xml version="1.0" encoding="UTF-8"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" stroke-dasharray="none" shape-rendering="auto" font-family="'Dialog'" width="668" text-rendering="auto" fill-opacity="1" contentScriptType="text/ecmascript" color-interpolation="auto" color-rendering="auto" preserveAspectRatio="xMidYMid meet" font-size="12" viewBox="0 0 668 209" fill="black" stroke="black" image-rendering="auto" stroke-miterlimit="10" zoomAndPan="magnify" version="1.0" stroke-linecap="square" stroke-linejoin="miter" contentStyleType="text/css" font-style="normal" height="209" stroke-width="1" stroke-dashoffset="0" font-weight="normal" stroke-opacity="1">
<!--Generated by the Batik Graphics2D SVG Generator-->
<defs id="genericDefs"/>
<g>
<defs id="defs1">
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath1">
<path d="M99 92 L221 92 L221 135 L99 135 L99 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath2">
<path d="M99 92 L219 92 L219 133 L99 133 L99 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath3">
<path d="M120 97 L197 97 L197 115 L120 115 L120 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath4">
<path d="M120 97 L199 97 L199 115 L120 115 L120 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath5">
<path d="M100 118 L218 118 L218 132 L100 132 L100 118 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath6">
<path d="M344 27 L466 27 L466 70 L344 70 L344 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath7">
<path d="M344 27 L464 27 L464 68 L344 68 L344 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath8">
<path d="M378 32 L429 32 L429 50 L378 50 L378 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath9">
<path d="M378 32 L431 32 L431 50 L378 50 L378 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath10">
<path d="M345 53 L463 53 L463 67 L345 67 L345 53 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath11">
<path d="M537 27 L659 27 L659 70 L537 70 L537 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath12">
<path d="M537 27 L657 27 L657 68 L537 68 L537 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath13">
<path d="M568 32 L626 32 L626 50 L568 50 L568 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath14">
<path d="M568 32 L629 32 L629 50 L568 50 L568 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath15">
<path d="M538 53 L656 53 L656 67 L538 67 L538 53 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath16">
<path d="M9 27 L131 27 L131 70 L9 70 L9 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath17">
<path d="M9 27 L129 27 L129 68 L9 68 L9 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath18">
<path d="M33 32 L104 32 L104 50 L33 50 L33 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath19">
<path d="M33 32 L106 32 L106 50 L33 50 L33 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath20">
<path d="M10 53 L128 53 L128 67 L10 67 L10 53 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath21">
<path d="M537 157 L659 157 L659 200 L537 200 L537 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath22">
<path d="M537 157 L657 157 L657 198 L537 198 L537 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath23">
<path d="M560 162 L633 162 L633 180 L560 180 L560 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath24">
<path d="M560 162 L635 162 L635 180 L560 180 L560 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath25">
<path d="M538 183 L656 183 L656 197 L538 197 L538 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath26">
<path d="M14 157 L136 157 L136 200 L14 200 L14 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath27">
<path d="M14 157 L134 157 L134 198 L14 198 L14 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath28">
<path d="M50 162 L97 162 L97 180 L50 180 L50 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath29">
<path d="M50 162 L99 162 L99 180 L50 180 L50 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath30">
<path d="M15 183 L133 183 L133 197 L15 197 L15 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath31">
<path d="M184 157 L306 157 L306 200 L184 200 L184 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath32">
<path d="M184 157 L304 157 L304 198 L184 198 L184 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath33">
<path d="M192 162 L296 162 L296 180 L192 180 L192 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath34">
<path d="M192 162 L298 162 L298 180 L192 180 L192 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath35">
<path d="M185 183 L303 183 L303 197 L185 197 L185 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath36">
<path d="M354 157 L476 157 L476 200 L354 200 L354 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath37">
<path d="M354 157 L474 157 L474 198 L354 198 L354 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath38">
<path d="M390 162 L437 162 L437 180 L390 180 L390 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath39">
<path d="M390 162 L439 162 L439 180 L390 180 L390 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath40">
<path d="M355 183 L473 183 L473 197 L355 197 L355 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath41">
<path d="M354 92 L476 92 L476 135 L354 135 L354 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath42">
<path d="M354 92 L474 92 L474 133 L354 133 L354 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath43">
<path d="M373 97 L454 97 L454 115 L373 115 L373 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath44">
<path d="M373 97 L456 97 L456 115 L373 115 L373 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath45">
<path d="M355 118 L473 118 L473 132 L355 132 L355 118 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath46">
<path d="M537 92 L659 92 L659 135 L537 135 L537 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath47">
<path d="M537 92 L657 92 L657 133 L537 133 L537 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath48">
<path d="M543 97 L651 97 L651 115 L543 115 L543 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath49">
<path d="M543 97 L653 97 L653 115 L543 115 L543 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath50">
<path d="M538 118 L656 118 L656 132 L538 132 L538 118 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath51">
<path d="M-1 -1 L669 -1 L669 210 L-1 210 L-1 -1 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath52">
<path d="M469 27 L537 27 L537 42 L469 42 L469 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath53">
<path d="M525 43 L540 43 L540 52 L525 52 L525 43 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath54">
<path d="M462 43 L472 43 L472 52 L462 52 L462 43 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath55">
<path d="M563 72 L632 72 L632 87 L563 87 L563 72 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath56">
<path d="M556 80 L565 80 L565 95 L556 95 L556 80 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath57">
<path d="M556 66 L565 66 L565 76 L556 76 L556 66 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath58">
<path d="M400 66 L411 66 L411 77 L400 77 L400 66 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath59">
<path d="M565 131 L576 131 L576 142 L565 142 L565 131 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath60">
<path d="M155 131 L166 131 L166 142 L155 142 L155 131 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath61">
<path d="M387 131 L398 131 L398 142 L387 142 L387 131 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath62">
<path d="M284 62 L346 62 L346 77 L284 77 L284 62 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath63">
<path d="M129 62 L262 62 L262 77 L129 77 L129 62 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath64">
<path d="M337 54 L347 54 L347 63 L337 63 L337 54 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath65">
<path d="M127 54 L137 54 L137 63 L127 63 L127 54 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath66">
<path d="M282 22 L347 22 L347 37 L282 37 L282 22 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath67">
<path d="M129 22 L263 22 L263 37 L129 37 L129 22 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath68">
<path d="M332 34 L347 34 L347 43 L332 43 L332 34 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath69">
<path d="M127 34 L137 34 L137 43 L127 43 L127 34 Z"/>
</clipPath>
</defs>
<g font-size="11" fill="rgb(131,122,133)" font-family="'Segoe UI'" stroke-linejoin="round" font-style="italic" stroke="rgb(131,122,133)" stroke-width="0" stroke-miterlimit="0">
<rect x="101" y="94" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="102" y="95" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="100" y="93" clip-path="url(#clipPath2)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
</g>
<g stroke-linecap="butt" font-size="11" fill="rgb(125,125,125)" font-family="'Segoe UI'" font-style="italic" stroke="rgb(125,125,125)" stroke-width="1.1">
<rect x="100" y="93" clip-path="url(#clipPath2)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="121" y="98" clip-path="url(#clipPath3)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="140" y="111" clip-path="url(#clipPath4)" fill="black" stroke="none" xml:space="preserve">Pseudostate</text>
<line clip-path="url(#clipPath5)" fill="none" x1="101" x2="217" y1="119" y2="119"/>
<rect x="346" y="29" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="347" y="30" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="345" y="28" clip-path="url(#clipPath7)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="345" y="28" clip-path="url(#clipPath7)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="379" y="33" clip-path="url(#clipPath8)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="398" y="46" clip-path="url(#clipPath9)" fill="black" stroke="none" xml:space="preserve">Vertex</text>
<line clip-path="url(#clipPath10)" fill="none" x1="346" x2="462" y1="54" y2="54"/>
<rect x="539" y="29" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="540" y="30" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="538" y="28" clip-path="url(#clipPath12)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="538" y="28" clip-path="url(#clipPath12)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath13)" preserveAspectRatio="none" height="16" font-style="normal" x="569" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="588" y="46" clip-path="url(#clipPath14)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Region</text>
<line clip-path="url(#clipPath15)" fill="none" x1="539" x2="655" y1="54" y2="54" stroke="black"/>
<rect x="11" y="29" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="12" y="30" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="10" y="28" clip-path="url(#clipPath17)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="10" y="28" clip-path="url(#clipPath17)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath18)" preserveAspectRatio="none" height="16" font-style="normal" x="34" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="53" y="46" clip-path="url(#clipPath19)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Transition</text>
<line clip-path="url(#clipPath20)" fill="none" x1="11" x2="127" y1="54" y2="54" stroke="black"/>
<rect x="539" y="159" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="540" y="160" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="538" y="158" clip-path="url(#clipPath22)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="538" y="158" clip-path="url(#clipPath22)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath23)" preserveAspectRatio="none" height="16" font-style="normal" x="561" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="580" y="176" clip-path="url(#clipPath24)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Statechart</text>
<line clip-path="url(#clipPath25)" fill="none" x1="539" x2="655" y1="184" y2="184" stroke="black"/>
<rect x="16" y="159" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="17" y="160" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="15" y="158" clip-path="url(#clipPath27)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="15" y="158" clip-path="url(#clipPath27)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath28)" preserveAspectRatio="none" height="16" font-style="normal" x="51" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="70" y="176" clip-path="url(#clipPath29)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Entry</text>
<line clip-path="url(#clipPath30)" fill="none" x1="16" x2="132" y1="184" y2="184" stroke="black"/>
<rect x="186" y="159" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="187" y="160" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="185" y="158" clip-path="url(#clipPath32)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="185" y="158" clip-path="url(#clipPath32)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath33)" preserveAspectRatio="none" height="16" font-style="normal" x="193" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="212" y="176" clip-path="url(#clipPath34)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Synchronization</text>
<line clip-path="url(#clipPath35)" fill="none" x1="186" x2="302" y1="184" y2="184" stroke="black"/>
<rect x="356" y="159" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="357" y="160" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="355" y="158" clip-path="url(#clipPath37)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="355" y="158" clip-path="url(#clipPath37)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath38)" preserveAspectRatio="none" height="16" font-style="normal" x="391" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="410" y="176" clip-path="url(#clipPath39)" fill="black" font-style="normal" stroke="none" xml:space="preserve">State</text>
<line clip-path="url(#clipPath40)" fill="none" x1="356" x2="472" y1="184" y2="184" stroke="black"/>
<rect x="356" y="94" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="357" y="95" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="355" y="93" clip-path="url(#clipPath42)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="355" y="93" clip-path="url(#clipPath42)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="374" y="98" clip-path="url(#clipPath43)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="393" y="111" clip-path="url(#clipPath44)" fill="black" stroke="none" xml:space="preserve">RegularState</text>
<line clip-path="url(#clipPath45)" fill="none" x1="356" x2="472" y1="119" y2="119"/>
<rect x="539" y="94" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="540" y="95" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="538" y="93" clip-path="url(#clipPath47)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="538" y="93" clip-path="url(#clipPath47)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="544" y="98" clip-path="url(#clipPath48)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="563" y="111" clip-path="url(#clipPath49)" fill="black" stroke="none" xml:space="preserve">CompositeElement</text>
<line clip-path="url(#clipPath50)" fill="none" x1="539" x2="655" y1="119" y2="119"/>
<line clip-path="url(#clipPath51)" fill="none" x1="538" x2="463" y1="47" y2="47" stroke="black"/>
<text x="470" y="40" clip-path="url(#clipPath52)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] vertices</text>
<polygon fill="black" clip-path="url(#clipPath53)" points=" 538 47 532 50 526 47 532 44" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath53)" points=" 538 47 532 50 526 47 532 44" stroke="black"/>
<line clip-path="url(#clipPath54)" fill="none" x1="470" x2="463" y1="44" y2="47" stroke="black"/>
<line clip-path="url(#clipPath54)" fill="none" x1="463" x2="470" y1="47" y2="50" stroke="black"/>
<line clip-path="url(#clipPath51)" fill="none" x1="560" x2="560" y1="93" y2="67" stroke="black"/>
<text x="564" y="85" clip-path="url(#clipPath55)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] regions</text>
<polygon fill="black" clip-path="url(#clipPath56)" points=" 560 93 557 87 560 81 563 87" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath56)" points=" 560 93 557 87 560 81 563 87" stroke="black"/>
<line clip-path="url(#clipPath57)" fill="none" x1="563" x2="560" y1="74" y2="67" stroke="black"/>
<line clip-path="url(#clipPath57)" fill="none" x1="560" x2="557" y1="67" y2="74" stroke="black"/>
<line clip-path="url(#clipPath51)" fill="none" x1="159" x2="159" y1="93" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="159" x2="405" y1="85" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="405" x2="405" y1="85" y2="67" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="597" x2="597" y1="158" y2="148" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="597" x2="570" y1="148" y2="148" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="570" x2="570" y1="148" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="74" x2="74" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="74" x2="160" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="160" x2="160" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="244" x2="244" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="244" x2="160" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="160" x2="160" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="414" y1="158" y2="148" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="392" y1="148" y2="148" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="392" x2="392" y1="148" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath61)" points=" 392 132 396 140 388 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath61)" points=" 392 132 396 140 388 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="414" y1="158" y2="148" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="570" y1="148" y2="148" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="570" x2="570" y1="148" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="414" y1="93" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="405" y1="85" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="405" x2="405" y1="85" y2="67" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath51)" fill="none" x1="345" x2="128" y1="58" y2="58" stroke="black"/>
<text x="285" y="75" clip-path="url(#clipPath62)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[1..1] target</text>
<text x="130" y="75" clip-path="url(#clipPath63)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] incomingTransitions</text>
<line clip-path="url(#clipPath64)" fill="none" x1="338" x2="345" y1="61" y2="58" stroke="black"/>
<line clip-path="url(#clipPath64)" fill="none" x1="345" x2="338" y1="58" y2="55" stroke="black"/>
<line clip-path="url(#clipPath65)" fill="none" x1="135" x2="128" y1="55" y2="58" stroke="black"/>
<line clip-path="url(#clipPath65)" fill="none" x1="128" x2="135" y1="58" y2="61" stroke="black"/>
<line clip-path="url(#clipPath51)" fill="none" x1="345" x2="128" y1="38" y2="38" stroke="black"/>
<text x="283" y="35" clip-path="url(#clipPath66)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[1..1] source</text>
<text x="130" y="35" clip-path="url(#clipPath67)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] outgoingTransitions</text>
<polygon fill="black" clip-path="url(#clipPath68)" points=" 345 38 339 41 333 38 339 35" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath68)" points=" 345 38 339 41 333 38 339 35" stroke="black"/>
<line clip-path="url(#clipPath69)" fill="none" x1="135" x2="128" y1="35" y2="38" stroke="black"/>
<line clip-path="url(#clipPath69)" fill="none" x1="128" x2="135" y1="38" y2="41" stroke="black"/>
</g>
</g>
</svg>