Changes for page SCCharts Development

Last modified by Richard Kreissig on 2023/09/14 10:04
<
From version < 50.1 >
edited by ssm
on 2016/04/25 14:12
To version < 51.1 >
edited by cds
on 2023/07/07 05:46
>
Change comment: Renamed back-links.

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +KIELER and SCCharts
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.cds
Content
... ... @@ -3,8 +3,14 @@
3 3  {{layout-cell}}
4 4  This is a light-weight tutorial for developing transformations/additions for SCCharts in KIELER. It will use Eclipse, EMF, and Xtend and therefore, finishing the corresponding tutorials could prove useful. However, they are not a strict requirement for this tutorial.
5 5  
6 +{{warning title="Outdated!"}}
7 +The KiCo part "Model-to-Model Transformations with KiCo" is outdated. We will update this tutorials in the near future.
8 +{{/warning}}
6 6  
10 +\\
7 7  
12 +
13 +
8 8  {{toc/}}
9 9  
10 10  = Preliminaries =
... ... @@ -19,7 +19,7 @@
19 19  
20 20  {{layout-section ac:type="three_equal"}}
21 21  {{layout-cell}}
22 -
28 +\\
23 23  
24 24  Additionally, install the** EcoreViz** from the **Ecore Model Visualization** category from the **OpenKieler** update site: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/updatesite/nightly-openkieler/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/updatesite/nightly-openkieler/||rel="nofollow" shape="rect"]]. For this, choose //Install New Software...// in the //Help// tab.
25 25  
... ... @@ -32,15 +32,15 @@
32 32  {{/layout-cell}}
33 33  
34 34  {{layout-cell}}
35 -
41 +\\
36 36  
37 37  [[image:attach:InstallEcoreViz.png]]
38 38  
39 -
45 +\\
40 40  {{/layout-cell}}
41 41  
42 42  {{layout-cell}}
43 -
49 +\\
44 44  
45 45  [[image:attach:InstallKLighDFeatures.png]]
46 46  {{/layout-cell}}
... ... @@ -65,7 +65,7 @@
65 65  When developing within the KIELER semantics team, you will most likely be confronted with Xtext and [[doc:KIELER.Lightweight Diagrams (KLighD)]]. The following tutorials may be helpful but not required for this tutorial.
66 66  
67 67  1. [[doc:Xtext 2 - Creating a Grammar from Scratch]]
68 -1. [[doc:Lightweight Diagrams (KLighD)]]
74 +1. [[doc:TUT.Tutorials.Diagrams and Layout.Lightweight Diagrams (KLighD).WebHome]]
69 69  
70 70  == Finding Documentation ==
71 71  
... ... @@ -76,15 +76,15 @@
76 76  Additionally, the following list will give a short overview over the most important publications:
77 77  
78 78  * (% style="color: rgb(0,0,0);" %)**Main paper:**
79 -Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In (% class="cmti-10" %)Proc. ACM SIGPLAN Conference on Programming Language Design(%%) (% class="cmti-10" %)and Implementation (PLDI’14)(%%), Edinburgh, UK, June 2014. ACM. (%%)[[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/pldi14.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[talk>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/talks/pldi14-talk.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=vonHanxledenDM+14||shape="rect"]]
85 +Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In (% class="cmti-10" %)Proc. ACM SIGPLAN Conference on Programming Language Design(%%) (% class="cmti-10" %)and Implementation (PLDI’14)(%%), Edinburgh, UK, June 2014. ACM. [[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/pldi14.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[talk>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/talks/pldi14-talk.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=vonHanxledenDM+14||shape="rect"]]
80 80  * **SLIC Compilation:**
81 -(% style="color: rgb(0,0,0);" %)Christian Motika and Steven Smyth and Reinhard von Hanxleden. Compiling SCCharts—A Case-Study on Interactive Model-Based Compilation. In (% class="cmti-10" %)Proceedings of(%%) (% class="cmti-10" %)the 6th International Symposium on Leveraging Applications of Formal(%%) (% class="cmti-10" %)Methods, Verification and Validation (ISoLA 2014)(%%), volume 8802 of (% class="cmti-10" %)LNCS(%%), page 443–462, Corfu, Greece, October 2014. The (%%)[[original publication>>url:http://dx.doi.org/10.1007/978-3-662-45234-9||shape="rect"]](% style="color: rgb(0,0,0);" %) is available at (%%)[[http:~~/~~/link.springer.com>>url:http://link.springer.com/||shape="rect"]](% style="color: rgb(0,0,0);" %). (%%)[[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/isola14.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=MotikaSvH14||shape="rect"]]
87 +(% style="color: rgb(0,0,0);" %)Christian Motika and Steven Smyth and Reinhard von Hanxleden. Compiling SCCharts—A Case-Study on Interactive Model-Based Compilation. In (% class="cmti-10" %)Proceedings of(%%) (% class="cmti-10" %)the 6th International Symposium on Leveraging Applications of Formal(%%) (% class="cmti-10" %)Methods, Verification and Validation (ISoLA 2014)(%%), volume 8802 of (% class="cmti-10" %)LNCS(%%), page 443–462, Corfu, Greece, October 2014. The [[original publication>>url:http://dx.doi.org/10.1007/978-3-662-45234-9||shape="rect"]](% style="color: rgb(0,0,0);" %) is available at (%%)[[http:~~/~~/link.springer.com>>url:http://link.springer.com/||shape="rect"]](% style="color: rgb(0,0,0);" %). (%%)[[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/isola14.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=MotikaSvH14||shape="rect"]]
82 82  * **Theoretical Foundations:**
83 -(% style="color: rgb(0,0,0);" %)Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien and Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. (% class="cmti-10" %)ACM Transactions on Embedded Computing(%%) (% class="cmti-10" %)Systems, Special Issue on Applications of Concurrency to System Design(%%), 13(4s):144:1–144:26, July 2014. (%%)[[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/tecs14.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=vonHanxledenMA+14||shape="rect"]]
89 +(% style="color: rgb(0,0,0);" %)Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien and Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. (% class="cmti-10" %)ACM Transactions on Embedded Computing(%%) (% class="cmti-10" %)Systems, Special Issue on Applications of Concurrency to System Design(%%), 13(4s):144:1–144:26, July 2014. [[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/tecs14.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=vonHanxledenMA+14||shape="rect"]]
84 84  * **Overview and High-Level Transformations in Detail:**
85 85  (% style="color: rgb(0,0,0);" %)Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. Technical Report 1311, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2013. ISSN 2192-6247. (%%)[[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/report-1311.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=vonHanxledenDM+13b||shape="rect"]]
86 86  
87 -
93 +\\
88 88  {{/layout-cell}}
89 89  {{/layout-section}}
90 90  
... ... @@ -120,7 +120,7 @@
120 120  *1. Now, navigate to the //Super State: Strong Abort Transition //example. Write down (on paper) how the model of that SCCharts looks like.
121 121  *1. And finally a more sophisticated model: Write down the model of ABO (from [[doc:KIELER.Examples]]).
122 122  
123 -
129 +\\
124 124  
125 125  {{info title="KLighD Screenshots"}}
126 126  By the way: You can //right-click// on the Diagram View surface and select //Save as image...// to create a screenshot!
... ... @@ -260,7 +260,7 @@
260 260  *1. Click //Run// (or //Debug// if you opened// Debug Configuration...//)
261 261  *1. Create a new project and add you generated model.
262 262  
263 -
269 +\\
264 264  {{/layout-cell}}
265 265  
266 266  {{layout-cell}}
... ... @@ -340,7 +340,7 @@
340 340  {{/layout-cell}}
341 341  
342 342  {{layout-cell}}
343 -
349 +\\
344 344  {{/layout-cell}}
345 345  {{/layout-section}}
346 346  
... ... @@ -421,17 +421,17 @@
421 421  
422 422  //We will add more content to this subsection in the future...//
423 423  
424 -
430 +\\
425 425  {{/layout-cell}}
426 426  
427 427  {{layout-cell}}
428 428  [[image:attach:ABODoubleStates.png]]
429 429  
430 -
436 +\\
431 431  
432 -
438 +\\
433 433  
434 -
440 +\\
435 435  {{/layout-cell}}
436 436  {{/layout-section}}
437 437  
... ... @@ -443,7 +443,10 @@
443 443  
444 444  Now, you're going to transform the normalized form of HandleA from ABO to an SCG. The Sequentially Constructive Graph is a control-flow graph which can be seen as another representation of the same program. The SCG of the normalized version of ABO's HandleA is depicted on the right.
445 445  
452 +(% class="wrapped" %)
446 446  |(((
454 +(% class="content-wrapper" %)
455 +(((
447 447  {{code}}
448 448  scchart ABO_norm_HandleA {
449 449   input output bool A;
... ... @@ -466,12 +466,19 @@
466 466   --> _Pause immediate;
467 467  }
468 468  {{/code}}
478 +)))
469 469  )))|(((
480 +(% class="content-wrapper" %)
481 +(((
470 470  [[image:attach:abo_norm_HandleA.png]]
483 +)))
471 471  )))|(% colspan="1" %)(% colspan="1" %)
472 472  (((
486 +(% class="content-wrapper" %)
487 +(((
473 473  [[image:attach:abo_scg_HandleA.png]]
474 474  )))
490 +)))
475 475  {{/layout-cell}}
476 476  {{/layout-section}}
477 477  
... ... @@ -501,15 +501,15 @@
501 501  *1. Optimize the given SCG and compare the result with the previous one.
502 502  *1. Make sure that the two SCGs are still semantically identical.
503 503  
504 -
520 +\\
505 505  
506 506  Congratulations! You finished the SCCharts Development Tutorial. Ask your supervisor for further instructions!
507 507  
508 -
524 +\\
509 509  {{/layout-cell}}
510 510  
511 511  {{layout-cell}}
512 -
528 +\\
513 513  {{/layout-cell}}
514 514  {{/layout-section}}
515 515  {{/layout}}
ABODoubleStates.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +38.4 KB
Content
InstallEcoreViz.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +42.2 KB
Content
InstallKLighDFeatures.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +48.9 KB
Content
KLighDSaveAsImage.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +10.5 KB
Content
KielerSCTEditor.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +95.0 KB
Content
KielerSCTEditorOwnTransformation.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +91.1 KB
Content
KielerSCTEditorOwnTransformationOlolo.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +96.9 KB
Content
RunConfiguration.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +73.3 KB
Content
abo_norm_HandleA.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +57.1 KB
Content
abo_scg_HandleA.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +20.8 KB
Content
sccharts-scg.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +75.5 KB
Content
sccharts_metamodel.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +291.3 KB
Content
sccharts_metamodel_treeEditor.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +40.7 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -62783504
1 +16810199
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/62783504/SCCharts Development
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810199/SCCharts Development

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage