A SyncChart-Editor based on Yakindu

Version 24.1 by wah on 2012/10/12 13:54

Yakindu SCT

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

It 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.png

Yakindu SCT Editor VS KIELER SyncCharts Editor

 

KIELER

YAKINDU

 

Transition

image2012-10-11 13:46:43.png

image2012-10-11 13:46:50.png

YAKINDU: There is only one type for transitions

KIELER: Strong Abort, Week Abort, Normal Termination

Initial State

image2012-10-11 13:46:58.png

image2012-10-11 13:52:3.png

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.

Final State

image2012-10-11 13:47:5.png

image2012-10-11 13:51:43.png

YAKINDU: Final States are pseudo states. The Final State may not be a Composite State

State

image2012-10-11 13:47:11.png

image2012-10-11 13:49:10.png

 

Composite State

image2012-10-11 13:47:20.png

image2012-10-11 13:47:58.png

 

History

image2012-10-11 13:47:27.pngimage2012-10-11 13:47:32.png

image2012-10-11 13:47:54.png

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 Transition

Synchronization

 

image2012-10-11 13:47:49.png

 

Choise

image2012-10-11 13:47:38.png

image2012-10-11 13:47:44.png

 

 

KIELER

YAKINDU

Interface declaration

image2012-10-12 10:59:54.png

image2012-10-12 10:51:52.png

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)
  • extending or replacing the textual description language (stext) 

  1. Adapting the graphical representation

    The meta model for the graphical representation of the state machine models (org.yakindu.sct.model.sgraph)
    The palette (org.yakindu.sct.ui.editor/plugin.xml)
    Figures (org.yakindu.sct.ui.editor.editor.figures)
    Editparts (org.yakindu.sct.ui.editor.editparts)
    Propertysheets (org.yakindu.sct.ui.editor.propertysheets)

  2. Extending or replacing the textual description language

    The textual description language is used to declare and describe behaviors in the state machine. It is case sensitive.

Tags:
Created by wah on 2012/10/10 14:48
    

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage