Skip to Content

Changes for page Kieler Compiler

Last modified by Richard Kreissig on 2023/09/14 10:52
From version 26.1
edited by cmot
on 2014/06/26 15:14
Change comment: There is no comment for this version
To version 31.3
edited by Alexander Schulz-Rosengarten
on 2023/07/06 14:36
Change comment: Updated the relative links.

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).WebHome
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cmot
1 +XWiki.als
Content
... ... @@ -1,4 +1,8 @@
1 -{{panel title="Project Overview" borderStyle="dashed"}}
1 +{{panel bgColor="orange" title="Deprecated since 0.13"}}
2 +This article is deprecated. The described features are no longer available in current releases.
3 +{{/panel}}
4 +
5 +{{panel borderStyle="dashed" title="Project Overview"}}
2 2  Responsible:
3 3  
4 4  * [[Christian Motika>>url:http://www.informatik.uni-kiel.de/rtsys/kontakt/cmot/||shape="rect"]], [[Steven Smyth>>url:http://www.informatik.uni-kiel.de/rtsys/kontakt/ssm/||shape="rect"]]
... ... @@ -7,12 +7,12 @@
7 7  
8 8  * none yet
9 9  
10 -**To see the KielerCompiler in action, we provide an Online SCCharts Compiler [[here>>doc:Online Compiler]].**
14 +**To see the KielerCompiler in action, we provide an Online SCCharts Compiler [[here>>doc:KIELER.Online Compiler]].**
11 11  {{/panel}}
12 12  
13 13  = Kieler Compiler (KiCo) =
14 14  
15 -In order to integrate and be able to evaluate our compiler chain from SCCharts to C or VHDL code we use the KiCo project as a generic framework that allows to register setp-by-step transformations on EObjects. These can then be handled by the generic KIEM KiCo DataComponent.
19 +In order to integrate and be able to evaluate our compiler chain from SCCharts to C or VHDL code we use the KiCo project as a generic framework that allows to register setp-by-step transformations on EObjects. These can then be handled by the generic KIEM KiCo DataComponent. **To see the KielerCompiler in action, we provide an Online SCCharts Compiler [[here>>url:http://www.sccharts.com/||shape="rect"]].**
16 16  
17 17  
18 18  
... ... @@ -22,11 +22,18 @@
22 22  
23 23  The KIELER Compiler (KiCo) project allows to register step-by-step model transformations on EObjects that could be written in Xtend or Java. These transformations are registered using an extension point provided (see below). After registering transformations these can be used by simply call the KielerCompiler compilation method as also explained further below.
24 24  
29 +(% class="wrapped" %)
25 25  |=(((
31 +(% class="content-wrapper" %)
32 +(((
26 26  [[image:attach:IMAG4642.jpg]]
34 +)))
27 27  )))|=(((
36 +(% class="content-wrapper" %)
37 +(((
28 28  [[image:attach:KiCo.jpg]]
29 29  )))
40 +)))
30 30  
31 31  == Extension Point ==
32 32  
... ... @@ -37,14 +37,16 @@
37 37  
38 38  {{{de.cau.cs.kieler.kico}}}
39 39  
40 -
51 +\\
41 41  )))
42 42  1. Add the extension
43 43  
55 +{{{de.cau.cs.kieler.kico.transformation}}}
44 44  
45 -{{{de.cau.cs.kieler.kico.transformation}}}(((
46 -
57 +(((
58 +\\
47 47  )))
60 +
48 48  1. (((
49 49  Add one of the following extension element
50 50  
... ... @@ -51,6 +51,7 @@
51 51  [[image:attach:KiCo2.jpg]]
52 52  )))
53 53  
67 +(% class="wrapped" %)
54 54  |=(((
55 55  Extension Element
56 56  )))|=(((
... ... @@ -121,12 +121,13 @@
121 121   </extension>
122 122  {{/code}}
123 123  
124 -
138 +\\
125 125  
126 126  == Compilation ==
127 127  
128 128  Once a bunch of model transformations are registered, these can simply be called using the KiCo central "KielerCompiler" class with its method compile(). This will be given a List<String> of transformation IDs or a comma separated String of transformation IDs as the first parameter. The second parameter is the EObject that is being transformed. It should meet the signature of the first model transformation called. Note that the actual model transformations that are done may vary because KiCo will automatically inspect the dependencies of each transformation requested (deep-recursively). If you do not like this to happen as an advanced user you can use a third parameter that will skip this autocompletion. Note that if you switch this off also NO transformation groups can be processed. Here is an overview and examples how to use the compile() method:
129 129  
144 +(% class="wrapped" %)
130 130  |=(((
131 131  Method
132 132  )))|=(((
... ... @@ -149,7 +149,6 @@
149 149  This is a convenient method only which can be used to give transformation IDs or transformation group IDs as a comma separated String. For eObject and the return value see above.
150 150  )))
151 151  |(((
152 -
153 153  \\
154 154  
155 155  {{{EObject KielerCompiler.compile(List&#x3c;String&#x3e; transformationIDs, EObject eObject, boolean autoexpand)}}}
... ... @@ -186,19 +186,28 @@
186 186  
187 187  === Requirement Completion ===
188 188  
189 -
203 +\\
190 190  
205 +(% class="wrapped" %)
191 191  |=(((
207 +(% class="content-wrapper" %)
208 +(((
192 192  (% style="text-align: center;" %)
193 193  Original
194 194  
212 +(% class="wrapped" %)
195 195  |=(((
214 +(% class="content-wrapper" %)
215 +(((
196 196   [[image:attach:dependencies2.jpg]]
197 197  
198 198  (% style="text-align: center;" %)
199 199  Original Dependency
200 200  Graph
221 +)))
201 201  )))|=(((
223 +(% class="content-wrapper" %)
224 +(((
202 202  (% style="text-align: center;" %)
203 203  [[image:attach:dependencies3.jpg]]
204 204  
... ... @@ -208,19 +208,29 @@
208 208  implementations
209 209  for Abort
210 210  )))
234 +)))
211 211  
212 -
236 +\\
237 +)))
213 213  )))|=(((
239 +(% class="content-wrapper" %)
240 +(((
214 214  (% style="text-align: center;" %)
215 215  Example 1
216 216  
244 +(% class="wrapped" %)
217 217  |=(((
246 +(% class="content-wrapper" %)
247 +(((
218 218   [[image:attach:dependencies4.jpg]]
219 219  
220 220  (% style="text-align: center;" %)
221 221  Selected for
222 222  transformation
253 +)))
223 223  )))|=(((
255 +(% class="content-wrapper" %)
256 +(((
224 224   [[image:attach:dependencies4b.jpg]]
225 225  
226 226  (% style="text-align: center;" %)
... ... @@ -227,26 +227,37 @@
227 227  Auto selected
228 228  requirements
229 229  )))
263 +)))
230 230  
231 -
265 +\\
232 232  )))
267 +)))
233 233  
234 -
269 +\\
235 235  
236 -
271 +\\
237 237  
273 +(% class="wrapped" %)
238 238  |=(((
275 +(% class="content-wrapper" %)
276 +(((
239 239  (% style="text-align: center;" %)
240 240  Example 2
241 241  
280 +(% class="wrapped" %)
242 242  |=(((
282 +(% class="content-wrapper" %)
283 +(((
243 243  [[image:attach:dependencies5.jpg]]
244 244  
245 245  (% style="text-align: center;" %)
246 246  Selected for
247 247  transformation
289 +)))
248 248  )))|=(% style="text-align: center;" %)(% style="text-align: center;" %)
249 249  (((
292 +(% class="content-wrapper" %)
293 +(((
250 250  [[image:attach:dependencies5b.jpg]]
251 251  
252 252  Auto selected
... ... @@ -255,21 +255,31 @@
255 255  of alternative
256 256  group
257 257  
258 -
302 +\\
259 259  )))
304 +)))
260 260  
261 -
306 +\\
307 +)))
262 262  )))|=(((
309 +(% class="content-wrapper" %)
310 +(((
263 263  (% style="text-align: center;" %)
264 264  Example 3
265 265  
314 +(% class="wrapped" %)
266 266  |=(((
316 +(% class="content-wrapper" %)
317 +(((
267 267  [[image:attach:dependencies6.jpg]]
268 268  
269 269  (% style="text-align: center;" %)
270 270  Selected for
271 271  transformation
323 +)))
272 272  )))|=(((
325 +(% class="content-wrapper" %)
326 +(((
273 273  [[image:attach:dependencies6b.jpg]]
274 274  
275 275  (% style="text-align: center;" %)
... ... @@ -278,16 +278,19 @@
278 278  using selected
279 279  alternative
280 280  )))
335 +)))
281 281  
282 -
337 +\\
283 283  )))
339 +)))
284 284  
285 -
341 +\\
286 286  
287 287  == Help / Problems / FAQs ==
288 288  
289 289  Maybe you get into problems when using KiCo. The following list should give you hints to solve these. If you have a problem not considered here please write us an e-mail (see above for contact information of the persons in charge of KiCo).
290 290  
347 +(% class="wrapped" %)
291 291  |=(((
292 292  Symptom
293 293  )))|=(((
... ... @@ -299,7 +299,8 @@
299 299  You get the following run time error:
300 300  
301 301  
302 -\\\\\\\\\\\\\\\\[[java:102>>url:http://java:102||shape="rect"]]
359 +
360 +\\\\\\\\\\\\\\[[java:102>>url:http://java:102||shape="rect"]]
303 303  [[java:136>>url:http://java:136||shape="rect"]]
304 304  [[java:164>>url:http://java:164||shape="rect"]]\\
305 305  
... ... @@ -316,7 +316,7 @@
316 316  Maybe the plugin declaring "ABORT2" was not loaded
317 317  or the ID is misspelled.
318 318  
319 -
377 +\\
320 320  )))|(((
321 321  Check why "ABORT2" may not be found
322 322  by KiCo, more specifically, check if the
IMAG4642.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +1.5 MB
Content
KiCo.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +138.2 KB
Content
KiCo2.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +5.0 KB
Content
KiCo3.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +166.2 KB
Content
dependencies2.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +170.9 KB
Content
dependencies2.pdf
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +18.5 KB
Content
dependencies3.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +242.8 KB
Content
dependencies4.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +252.6 KB
Content
dependencies4b.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +260.5 KB
Content
dependencies5.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +249.6 KB
Content
dependencies5b.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +281.7 KB
Content
dependencies6.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +258.3 KB
Content
dependencies6b.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +283.2 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471252
1 +9470057
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471252/Kieler Compiler
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470057/Kieler Compiler