Changes for page SCCharts Development

Last modified by Richard Kreissig on 2023/09/14 10:04
<
From version < 51.1 >
edited by cds
on 2023/07/07 05:46
To version < 50.1 >
edited by ssm
on 2016/04/25 14:12
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Parent
... ... @@ -1,1 +1,0 @@
1 -KIELER and SCCharts
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cds
1 +XWiki.ssm
Content
... ... @@ -3,14 +3,8 @@
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}}
9 9  
10 -\\
11 11  
12 -
13 -
14 14  {{toc/}}
15 15  
16 16  = Preliminaries =
... ... @@ -25,7 +25,7 @@
25 25  
26 26  {{layout-section ac:type="three_equal"}}
27 27  {{layout-cell}}
28 -\\
22 +
29 29  
30 30  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.
31 31  
... ... @@ -38,15 +38,15 @@
38 38  {{/layout-cell}}
39 39  
40 40  {{layout-cell}}
41 -\\
35 +
42 42  
43 43  [[image:attach:InstallEcoreViz.png]]
44 44  
45 -\\
39 +
46 46  {{/layout-cell}}
47 47  
48 48  {{layout-cell}}
49 -\\
43 +
50 50  
51 51  [[image:attach:InstallKLighDFeatures.png]]
52 52  {{/layout-cell}}
... ... @@ -71,7 +71,7 @@
71 71  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.
72 72  
73 73  1. [[doc:Xtext 2 - Creating a Grammar from Scratch]]
74 -1. [[doc:TUT.Tutorials.Diagrams and Layout.Lightweight Diagrams (KLighD).WebHome]]
68 +1. [[doc:Lightweight Diagrams (KLighD)]]
75 75  
76 76  == Finding Documentation ==
77 77  
... ... @@ -82,15 +82,15 @@
82 82  Additionally, the following list will give a short overview over the most important publications:
83 83  
84 84  * (% style="color: rgb(0,0,0);" %)**Main paper:**
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"]]
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"]]
86 86  * **SLIC Compilation:**
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"]]
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"]]
88 88  * **Theoretical Foundations:**
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"]]
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"]]
90 90  * **Overview and High-Level Transformations in Detail:**
91 91  (% 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"]]
92 92  
93 -\\
87 +
94 94  {{/layout-cell}}
95 95  {{/layout-section}}
96 96  
... ... @@ -126,7 +126,7 @@
126 126  *1. Now, navigate to the //Super State: Strong Abort Transition //example. Write down (on paper) how the model of that SCCharts looks like.
127 127  *1. And finally a more sophisticated model: Write down the model of ABO (from [[doc:KIELER.Examples]]).
128 128  
129 -\\
123 +
130 130  
131 131  {{info title="KLighD Screenshots"}}
132 132  By the way: You can //right-click// on the Diagram View surface and select //Save as image...// to create a screenshot!
... ... @@ -266,7 +266,7 @@
266 266  *1. Click //Run// (or //Debug// if you opened// Debug Configuration...//)
267 267  *1. Create a new project and add you generated model.
268 268  
269 -\\
263 +
270 270  {{/layout-cell}}
271 271  
272 272  {{layout-cell}}
... ... @@ -346,7 +346,7 @@
346 346  {{/layout-cell}}
347 347  
348 348  {{layout-cell}}
349 -\\
343 +
350 350  {{/layout-cell}}
351 351  {{/layout-section}}
352 352  
... ... @@ -427,17 +427,17 @@
427 427  
428 428  //We will add more content to this subsection in the future...//
429 429  
430 -\\
424 +
431 431  {{/layout-cell}}
432 432  
433 433  {{layout-cell}}
434 434  [[image:attach:ABODoubleStates.png]]
435 435  
436 -\\
430 +
437 437  
438 -\\
432 +
439 439  
440 -\\
434 +
441 441  {{/layout-cell}}
442 442  {{/layout-section}}
443 443  
... ... @@ -449,10 +449,7 @@
449 449  
450 450  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.
451 451  
452 -(% class="wrapped" %)
453 453  |(((
454 -(% class="content-wrapper" %)
455 -(((
456 456  {{code}}
457 457  scchart ABO_norm_HandleA {
458 458   input output bool A;
... ... @@ -475,19 +475,12 @@
475 475   --> _Pause immediate;
476 476  }
477 477  {{/code}}
478 -)))
479 479  )))|(((
480 -(% class="content-wrapper" %)
481 -(((
482 482  [[image:attach:abo_norm_HandleA.png]]
483 -)))
484 484  )))|(% colspan="1" %)(% colspan="1" %)
485 485  (((
486 -(% class="content-wrapper" %)
487 -(((
488 488  [[image:attach:abo_scg_HandleA.png]]
489 489  )))
490 -)))
491 491  {{/layout-cell}}
492 492  {{/layout-section}}
493 493  
... ... @@ -517,15 +517,15 @@
517 517  *1. Optimize the given SCG and compare the result with the previous one.
518 518  *1. Make sure that the two SCGs are still semantically identical.
519 519  
520 -\\
504 +
521 521  
522 522  Congratulations! You finished the SCCharts Development Tutorial. Ask your supervisor for further instructions!
523 523  
524 -\\
508 +
525 525  {{/layout-cell}}
526 526  
527 527  {{layout-cell}}
528 -\\
512 +
529 529  {{/layout-cell}}
530 530  {{/layout-section}}
531 531  {{/layout}}
ABODoubleStates.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -38.4 KB
Content
InstallEcoreViz.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -42.2 KB
Content
InstallKLighDFeatures.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -48.9 KB
Content
KLighDSaveAsImage.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -10.5 KB
Content
KielerSCTEditor.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -95.0 KB
Content
KielerSCTEditorOwnTransformation.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -91.1 KB
Content
KielerSCTEditorOwnTransformationOlolo.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -96.9 KB
Content
RunConfiguration.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -73.3 KB
Content
abo_norm_HandleA.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -57.1 KB
Content
abo_scg_HandleA.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -20.8 KB
Content
sccharts-scg.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -75.5 KB
Content
sccharts_metamodel.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -291.3 KB
Content
sccharts_metamodel_treeEditor.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -40.7 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -16810199
1 +62783504
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810199/SCCharts Development
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/62783504/SCCharts Development

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage