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.