Yakindu SCT

YAKINDU Statechart Tools (SCT) is an open source tool for the specification and development of reactive, event-based systems using state machines (Yakindu SCT User Guide).

It consists YAKINDU SCT consists of a graphical tool for editing and provides validation, simulation, and code generators for different target platforms. The tools are provided as Eclipse-plugins and integrate tightly into the IDE (Yakindu SCT Website).

Yakindu SCT Editor VS KIELER SyncCharts Editor

	KIELER	YAKINDU
Transition	Image Removed	Image Removed	YAKINDU: There is only one type for transitions KIELER: Strong Abort, Week Abort, Normal Termination
State	Image Removed	Image Removed
Composite State	Image Removed	Image Removed
Initial State	Image RemovedImage Removed	Image Removed	YAKINDU: Initials State are pseudo states. The Initial State may not be a Composite State. An initial state can only have one outgoing transition and no incoming. KIELER:
Final State	Image RemovedImage Removed	Image Removed	YAKINDU: Final States are pseudo states. The Final State may not be a Composite State KIELER: Final states are depicted with a double border
History	Image RemovedImage Removed	Image Removed	YAKINDU: Shallow History: is a pseudo state. It is placed inside a region of a composite state. Deep History:  is similar to shallow history. With a deep history the latest state of multiple nested states is remembered.- KIELER: A History is a attribute of a Transition
Synchronization		Image Removed
Choice	Image Removed	Image Removed

	KIELER	YAKINDU
Interface declaration	Image Removed	Image Removed

• Comparison of the graphical representation
• Comparison of the textual description language
• The KIELER textual SyncCharts
• Interfaces declarations
• Transitions priorities

Yakindu SCT module structure

See Yakindu Wiki

Customizing Yakindu SCT Editor to SyncCharts

Two steps are required to adapt the Yakindu SCT Editor to the SyncCharts syntax:

• adapting the graphical representation (sgraph + ui)
• extending or replacing the adapting the textual description language (stext) 

...

The graphical representation

To adapt the graphical representation, several

...

steps are required:

...

• 1. adapting the Metamodel for the graphical

...

• 1. representation of the state machine models (org.yakindu.sct.model.sgraph)
     
     1. Yakindu SCT Metamodel
     2. KIELER SyncCharts Metamodel
        
        
  2. Figures (org.yakindu.sct.ui.editor.editor.figures)
     
     
  3. Editparts (org.yakindu.sct.ui.editor.editparts)
     
     
  4. Propertysheets (org.yakindu.sct.ui.editor.propertysheets)
     
     
  5. The palette (org.yakindu.sct.ui.editor/plugin.xml)

...

Experimentations

• How to modify Initial and Finial States in Yakindu SCT Editor
• How to add Transition Types in Yakindu SCT Editor

The textual description language

Yakindu: The textual description language is used to declare and describe behaviors in the state machine.

...

• • Yakindu-SCCharts textual desciption language.