SCCharts vs SyncCharts
In contrast to SyncCharts a signal (or variable) in SCCharts is allowed to be emitted with different values in the same macro tick (if the emissions are schedulable according to the SC MoC). The following example of AB is forbidden in SyncCharts but not in SCCharts.
SyncCharts: S cannot be absent and present in the same macro tick.
Core & Extended SCCharts
A core SCChart is composed of elements of a minimal set of constructs. Additional constructs and syntactical sugar (f.e. actions, suspend) are introduced in extended SCCharts. Every extended SCCharts can be transformed into a core SCChart.
Core SCChart | Extended SCCharts | Graphical comparison |
---|---|---|
| Core SCCharts +
|
Extended SCCharts to Core SCCharts Transformations
Extension | Progress | Original SCChart | After expansion |
---|---|---|---|
Connector | implemented in kieler.yakindu.sccharts.scl | ||
Signals | |||
During Action | |||
Entry Action | |||
Exit Action | |||
Aborts | prototype implemented in kieler.yakindu.sccharts.scl |