A SyncChart-Editor based on Yakindu

Version 37.1 by wah on 2012/10/19 12:20

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).

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

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

 

Initial State

image2012-10-15 14:41:10.pngimage2012-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.

KIELER: Initial states are supposed to have a thicker border than normal states

Final State

image2012-10-15 14:40:31.pngimage2012-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

KIELER: Final states are depicted with a double border

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 attribute of a Transition

Synchronization

 

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

YAKINDU: Synchronization is a pseudo state.

KIELER: Synchronization not needed in KIELER


    •  No interlevel transitions
    • Closest construct: normal termination

Choice

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

    To adapt the graphical representation, several steps are required:
     

    1. adapting the Metamodel for the graphical represenation 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)

Example: How to modify Initial and Finial States in Yakindu SCT Editor

  1. 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:
    

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage