Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 2 Next »

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 SCChartExtended SCChartsGraphical comparison
  • Simple States
  • Hierarchical States (aka Composite States)
  • Regions
  • Transitions (weak abort)
  • Immediate Transitions
  • Normal Termination 
  • Variables (primitive types)

 

Core SCCharts +

  • Connector (aka Choice)
  • Strong Abort
  • History Transition
  • Suspend
  • Entry Action
  • During Action (aka Inner Action)
  • Exit Action
  • Signals
  • Pre

Extended SCCharts to Core SCCharts Transformations

ExtensionProgressOriginal SCChartAfter expansion
Connectorimplemented in kieler.yakindu.sccharts.scl  
Signals   
During Action   
Entry Action   
Exit Action   
Abortsprototype implemented in kieler.yakindu.sccharts.scl  
  • No labels