| Table of Contents |
|---|
Preliminaries
SCCharts
Read and understand the following information about SCCharts:
- Lecture 20, Synchronous Languages WS13: http://rtsys.informatik.uni-kiel.de/~rt-teach/ws13/v-synch/lectures/lecture20-handout4.pdf
KIELER
Install and run a copy of KIELER. You should download the nightly semantics build http://rtsys.informatik.uni-kiel.de/~kieler/files/nightly/kieler/ or you can follow the general install description for developing within the KIELER project if you intend to import the KIELER repositories directly.
Tasks
T2A1: Important Thoughts
Write down the difference between Extended SCCharts and Core SCCharts. Use your own words.
What advantage has the core SCCharts normalization?
T2A2: Modeling with SCCharts
Model the following SCChart using the textual SCChart language (*.sct).
T2A3: Extended Transformations
Transform all extended features of the SCChart in T2A2 to core variants. Explain in detail what features are only extended features and how you transformed them.
T2A4: Normalize!
Normalize your new SCChart.