Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -83,8 +83,6 @@
83	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"]]
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		-
87		-
88	88	{{/layout-cell}}
89	89	{{/layout-section}}
90	90
...	...	@@ -94,20 +94,16 @@
94	94
95	95	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.
96	96
97		-To see all class information check //Attributes/Literals// in the Diagram Options on the right.
98		-
99		-EcoreViz gives you an overview over the selected Ecore diagram. However, Ecore model definitions may depend on other Ecore definitions that are not displayed in the diagram. You can open new diagrams for these Ecore files as described before or use the Ecore tree editor to inspect all classes.
100		-
101	101	Try to understand most parts of the metamodel. You don't have to understand every detail but you should get the idea.
102	102
103	103	==== Model Task ====
104	104
105	105	1. Answer the following questions
	100	+11. Name the class of the root element of an SCChart
106	106	11. How do you describe a superstate in the model?
107		-11. Outline the relationship between states, regions, transitions, and valued objects.\\
108		-11. Name the class of the root element of an SCChart.
109	109	11. What is a valued object?
110	110	11. How do you get the type of an interface variable?
	104	+11. Outline the relationship between states, regions, transitions, and valued objects
111	111	11. What other metamodels are needed for the SCCharts metamodel and write down which one is needed for what?
112	112	1. Write down (on paper, text editor, etc) how the following SCChart models look like
113	113	11. Open the wiki page that explains the [[doc:KIELER.Textual SCCharts Language SCT]].
...	...	@@ -125,10 +125,20 @@
125	125	{{/layout-cell}}
126	126
127	127	{{layout-cell}}
	122	+
	123	+
	124	+
	125	+
128	128	[[image:attach:sccharts_metamodel.png]]
129	129
130		-[[image:attach:sccharts_metamodel_treeEditor.png]]
	128	+
131	131
	130	+
	131	+
	132	+
	133	+
	134	+
	135	+
132	132	[[image:attach:KLighDSaveAsImage.png]]
133	133	{{/layout-cell}}
134	134	{{/layout-section}}
...	...	@@ -136,6 +136,8 @@
136	136	{{layout-section ac:type="single"}}
137	137	{{layout-cell}}
138	138
	143	+
	144	+
139	139	{{/layout-cell}}
140	140	{{/layout-section}}
141	141

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-16810312
	1	+16810304

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810312/SCCharts Development
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810304/SCCharts Development