T2A1: Important Thoughts

1. Extended SCCharts bieten diverse Konstrukte, die für einen übersichtlicheren Graphen sorgen, aber nicht mehr Ausdruckskraft haben, als die Core SCCharts. Sie lassen sich entsprechend in Core SCCharts umwandeln.
2. Die Normalisation ermöglicht eine leichtere "weiterverarbeitung", da nur bestimmte Muster vorkommen.
3. Basic blocks sind Zusammenfassungen von SCG Knoten, die keine Verzweigungen oder Tickgrenzen enthalten und somit hintereinander ausgeführt werden können.
4. Bei Abhängigkeiten wird nach dem initialize-update-read Prinzip gescheduled.

T2A3: Modeling with SCCharts

rail.sct

T2A4: SCCharts Transformations

Core Transformation: Das Count Delay in der "platform" region ist kein core Konstrukt. Es wurde durch einen Counter in der neu eingeführten region aufgelöst. Wird dieser mittels startCount gestartet, setzt er den Zähler auf Null und inkrementiert ihn anschließend jedes Mal, wenn second true ist, bis er auf 5 ist. In der "platform" region wird der Counter bei Eintritt in den "stop" Zustand gestartet und anschließend darauf gewarter, bis er auf 5 hochgezählt hat.

Normalisation

SCG Graph