Page History
...
Panel | ||||
---|---|---|---|---|
| ||||
Project Status:
Responsible: Related Theses:
|
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.
The simulation of a state machine is integrated into the YAKINDU state machine Diagram Editor
and provides visual highlighting of the active state and the current transition. Additionally, the user
can interact with the simulation by sending triggers to or by changing variable values within the
simulator to drive the state machine (Yakindu SCT Website).IDE (Yakindu SCT Website).
Yakindu SCT Editor VS KIELER SyncCharts Editor
- Comparison of the graphical representation
- Comparison of the textual description language
- The KIELER textual SyncCharts
- Interfaces declarations
- Transitions priorities
Yakindu SCT module structure
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)
- adapting the textual description language (stext)
The graphical representation
To adapt the graphical representation, several steps are required:
- adapting the Metamodel for the graphical representation of the state machine models (org.yakindu.sct.model.sgraph)
- Figures (org.yakindu.sct.ui.editor.editor.figures)
- Editparts (org.yakindu.sct.ui.editor.editparts)
- Propertysheets (org.yakindu.sct.ui.editor.propertysheets)
- The palette (org.yakindu.sct.ui.editor/plugin.xml)
- adapting the Metamodel for the graphical representation of the state machine models (org.yakindu.sct.model.sgraph)
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.