ThinKCharts User Guide

Thin Kieler

...

SyncCharts Editor

Authors:

• Matthias Schmeling <schm at informatik.uni-kiel.de>
• Hauke Fuhrmann <haf at informatik.uni-kiel.de>

...

• Action and Transition labels get automatically parsed and checked for correctness by a complex parser.
• The label language mainly follows Esterel and E-Studio label Syntax.
• For details, see
  
  • full label syntax grammar in Xtext notation: de.cau.cs.kieler.synccharts.labelparser/src/de/cau/cs/kieler/synccharts/labelparser/ActionLabel.xtext
  • full label syntax grammar in EBNF notation: de.cau.cs.kieler.xtext.docgenerator/src-gen/de.cau.cs.kieler.synccharts.labelparser.ActionLabel.html

General Form

Action:
	(isImmediate?='#')? (delay=INT)? (trigger=BooleanExpression)? ("/" (effects+=Effect (',')? )*)?; 

...

• Finally, you should regularly test if your syncChart is correct. To do this, click on Diagram->Validate. Inconsistencies in your diagram are indicated by little red icons and also an entry in the problems view. Note that the validation may still be incomplete and not be able to point out all errors.
• Your diagram gets validated automatically whenever it is saved.
• For details on the checks performed see the Checkfile in Xtend Check language syntax: de.cau.cs.kieler.synccharts/model/SyncchartsChecks.chk

Differences to the original SyncCharts

...