Changes for page SCCharts Development

Last modified by Richard Kreissig on 2023/09/14 10:04
<
From version < 7.1 >
edited by ssm
on 2016/04/21 16:23
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
... ... @@ -15,14 +15,31 @@
15 15  {{/layout-cell}}
16 16  {{/layout-section}}
17 17  
18 -{{layout-section ac:type="two_equal"}}
18 +{{layout-section ac:type="three_equal"}}
19 19  {{layout-cell}}
20 +
21 +
20 20  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.)
21 21  {{/layout-cell}}
22 22  
23 23  {{layout-cell}}
33 +
34 +
24 24  [[image:attach:InstallEcoreViz.png]]
25 25  {{/layout-cell}}
37 +
38 +{{layout-cell}}
39 +
40 +
41 +[[image:attach:InstallKLighDFeatures.png]]
42 +{{/layout-cell}}
26 26  {{/layout-section}}
27 27  
28 28  {{layout-section ac:type="single"}}
... ... @@ -62,32 +62,76 @@
62 62  (% 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"]]
63 63  * **Overview and High-Level Transformations in Detail:**
64 64  (% 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}}
65 65  
85 +{{layout-section ac:type="two_right_sidebar"}}
86 +{{layout-cell}}
66 66  = The SCCharts Metamodel =
67 67  
68 -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.
69 69  
70 -IMAGE
71 -
72 72  Try to understand most parts of the metamodel. You don't have to understand every detail but you should get the idea.
73 73  
74 74  ==== Model Task ====
75 75  
76 -1. (% style="line-height: 20.0px;" %)Answer the following questions
77 -11. (% style="line-height: 20.0px;" %)Name the class of the root element of an SCChart
78 -11. (% style="line-height: 20.0px;" %)How do you describe a superstate in the model?
79 -11. (% style="line-height: 20.0px;" %)What is a valued object?
80 -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?
81 81  11. Outline the relationship between states, regions, transitions, and valued objects
82 -11. (% style="line-height: 20.0px;" %)What other metamodels are needed for the SCCharts metamodel and write down which one is needed for what?
83 -1. (% style="line-height: 20.0px;" %)Write down (on paper, text editor, etc) how the following SCChart models look like
84 -11. (% style="line-height: 1.42857;" %)Open the wiki page that explains the [[doc:KIELER.Textual SCCharts Language SCT]].
85 -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 ...
86 86  111. write down (on paper or text editor, etc) how the model of that SCChart looks like.
87 87  111. The user now marks C as final. What has to be changed in the model? What semantic problem do you see?
88 -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.
89 89  11. And finally a more sophisticated model: Write down the model of ABO (from [[doc:KIELER.Examples]]).
90 90  
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}}
91 91  = Creating SCCharts Models Programmatically =
92 92  
93 93  == Creating a Test Project ==
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -16810295
1 +16810303
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810295/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