Skip to end of metadata
Go to start of metadata

There are different transition types in KIELER SyncCharts, which are "weak abortion", "strong abortion", or "normal termination". The "weak abortion" transition is represented as a simple black arrow. The "strong abortion" transition is represented as a black arrow with a little red circle at the start point. The "normal termination" transition has a little green triangle at the start point.

To add the transition types in Yakindu SCT Editor, we need the following steps:


Modify the Metamodel in org.yakindu.sct.model.sgraph/model/emf/sgraph.genmodel

Create an enumeration type "TransitionType".

Add the attribute "type" to the Transition Class.

And then generate the EMF Model Code.


Modify the State Figure in org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/editor/figures/

Modify the constructor

Add the methods createNormalTerminationDecoration() and createStrongAbortDecoration() to draw the different source decorators.

And then create a method refreshSourceDecoration() to refresh the source decorator, if the transition type is changed.

Modify the Transition Propertysheets in org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/propertysheets/

Add a transitionType ComboBox. The user can select between the different options: Weak Abort, Strong Abort, and Normal Termination.

Modify the Transition EditPart in org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/editparts/

Add the following code lines in the method handleNotificationEvent() to update the source decorator when the user changes the Transition Type.

  • No labels