Changes for page SCCharts Development

Last modified by Richard Kreissig on 2023/09/14 10:04
<
From version < 6.1 >
edited by ssm
on 2016/04/21 16:18
To version < 11.1 >
edited by ssm
on 2016/04/21 16:56
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,3 +1,8 @@
1 +{{layout}}
2 +{{layout-section ac:type="single"}}
3 +{{layout-cell}}
4 +
5 +
1 1  This is a light-weight tutorial for developing 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.
2 2  
3 3  = Preliminaries =
... ... @@ -7,9 +7,38 @@
7 7  == Required Software ==
8 8  
9 9  As you're going to develop for KIELER SCCharts we recommend to use the semantic Oomph setup as described in [[doc:KIELER.Getting Eclipse]] (Oomph Setup). However, you could also install all componentes by yourself. Please consult the other tutorials if you want to do that. You would need to install the Modeling Tools and the Xtext SDK.
15 +{{/layout-cell}}
16 +{{/layout-section}}
10 10  
11 -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.
18 +{{layout-section ac:type="three_equal"}}
19 +{{layout-cell}}
20 +
12 12  
22 +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.
23 +
24 +Due to the ongoing migration you have to install a workaround for EcoreViz to function. You have to install the KLighD diagram view directly from [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/updatesite/release_pragmatics_2016-02/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/updatesite/release_pragmatics_2016-02/||shape="rect"]]. Select the features
25 +
26 +* KIELER Lightweight Diagrams - Developer Resources and
27 +* KIELER Lightweight Diagrams Generic Diagram View.
28 +
29 +(This step should be obsolete in the near future.)
30 +{{/layout-cell}}
31 +
32 +{{layout-cell}}
33 +
34 +
35 +[[image:attach:InstallEcoreViz.png]]
36 +{{/layout-cell}}
37 +
38 +{{layout-cell}}
39 +
40 +
41 +[[image:attach:InstallKLighDFeatures.png]]
42 +{{/layout-cell}}
43 +{{/layout-section}}
44 +
45 +{{layout-section ac:type="single"}}
46 +{{layout-cell}}
13 13  == Recommended Tutorials ==
14 14  
15 15  We recommend that you have completed the following tutorials before diving into this one (or at least sweep over them). However, this is not a strict requirement.
... ... @@ -45,32 +45,76 @@
45 45  (% 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"]]
46 46  * **Overview and High-Level Transformations in Detail:**
47 47  (% 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"]]
82 +{{/layout-cell}}
83 +{{/layout-section}}
48 48  
85 +{{layout-section ac:type="two_right_sidebar"}}
86 +{{layout-cell}}
49 49  = The SCCharts Metamodel =
50 50  
51 -Navigate to the models folder of the plugin {{code language="none"}}de.cau.cs.kieler.sccharts{{/code}}. Here, open the {{code language="none"}}sccharts.ecore{{/code}} and right-click on the {{code language="none"}}sccharts.ecore{{/code}} file and select //Visualize Ecore Model//. Since you also installed **EcoreViz** from the OpenKieler Suite, you should now see a graphical representation of the SCCharts metamodel. Every SCChart will be a model of this metamodel.
89 +Navigate to the {{code language="none"}}models{{/code}} folder of the plugin {{code language="none"}}de.cau.cs.kieler.sccharts{{/code}}. Here, open the {{code language="none"}}sccharts.ecore{{/code}} and right-click on the {{code language="none"}}sccharts.ecore{{/code}} file and select //Visualize Ecore Model//. Since you also installed **EcoreViz** from the OpenKieler Suite, you should now see a graphical representation of the SCCharts metamodel. Every SCChart will be a model of this metamodel.
52 52  
53 -IMAGE
54 -
55 55  Try to understand most parts of the metamodel. You don't have to understand every detail but you should get the idea.
56 56  
57 57  ==== Model Task ====
58 58  
59 -1. (% style="line-height: 20.0px;" %)Answer the following questions
60 -11. (% style="line-height: 20.0px;" %)Name the class of the root element of an SCChart
61 -11. (% style="line-height: 20.0px;" %)How do you describe a superstate in the model?
62 -11. (% style="line-height: 20.0px;" %)What is a valued object?
63 -11. (% style="line-height: 20.0px;" %)How do you get the type of an interface variable?
95 +1. Answer the following questions
96 +11. Name the class of the root element of an SCChart
97 +11. How do you describe a superstate in the model?
98 +11. What is a valued object?
99 +11. How do you get the type of an interface variable?
64 64  11. Outline the relationship between states, regions, transitions, and valued objects
65 -11. (% style="line-height: 20.0px;" %)What other metamodels are needed for the SCCharts metamodel and write down which one is needed for what?
66 -1. (% style="line-height: 20.0px;" %)Write down (on paper, text editor, etc) how the following SCChart models look like
67 -11. (% style="line-height: 1.42857;" %)Open the wiki page that explains the [[doc:KIELER.Textual SCCharts Language SCT]].
68 -11. (% style="line-height: 1.4286; line-height: 1.4286" %)Search the (%%)//SCChart, Initial State, State, Transition and Immediate Transition //example and ...
101 +11. What other metamodels are needed for the SCCharts metamodel and write down which one is needed for what?
102 +1. Write down (on paper, text editor, etc) how the following SCChart models look like
103 +11. Open the wiki page that explains the [[doc:KIELER.Textual SCCharts Language SCT]].
104 +11. Search the //SCChart, Initial State, State, Transition and Immediate Transition //example and ...
69 69  111. write down (on paper or text editor, etc) how the model of that SCChart looks like.
70 70  111. The user now marks C as final. What has to be changed in the model? What semantic problem do you see?
71 -11. (% style="line-height: 1.42857;" %)Now, navigate to the //Super State: Strong Abort Transition //example. Write down (on paper) how the model of that SCCharts looks like.
107 +11. Now, navigate to the //Super State: Strong Abort Transition //example. Write down (on paper) how the model of that SCCharts looks like.
72 72  11. And finally a more sophisticated model: Write down the model of ABO (from [[doc:KIELER.Examples]]).
73 73  
110 +
111 +
112 +{{info title="KLighD Screenshots"}}
113 +By the way: You can //right-click// on the Diagram View surface to select //Save as image...// to create a screenshot!
114 +{{/info}}
115 +{{/layout-cell}}
116 +
117 +{{layout-cell}}
118 +
119 +
120 +
121 +
122 +[[image:attach:sccharts_metamodel.png]]
123 +
124 +
125 +
126 +
127 +
128 +
129 +
130 +
131 +
132 +[[image:attach:KLighDSaveAsImage.png]]
133 +{{/layout-cell}}
134 +{{/layout-section}}
135 +
136 +{{layout-section ac:type="single"}}
137 +{{layout-cell}}
138 +
139 +
140 +
141 +{{/layout-cell}}
142 +{{/layout-section}}
143 +
144 +{{layout-section ac:type="single"}}
145 +{{layout-cell}}
146 +
147 +{{/layout-cell}}
148 +{{/layout-section}}
149 +
150 +{{layout-section ac:type="single"}}
151 +{{layout-cell}}
74 74  = Creating SCCharts Models Programmatically =
75 75  
76 76  == Creating a Test Project ==
... ... @@ -404,3 +404,6 @@
404 404  Congratulations! You finished the SCCharts Development Tutorial. Ask your supervisor for further instructions!
405 405  
406 406  
485 +{{/layout-cell}}
486 +{{/layout-section}}
487 +{{/layout}}
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -16810292
1 +16810303
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810292/SCCharts Development
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810303/SCCharts Development

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage