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).
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 | YAKINDU: There is only one type for transitions KIELER: Strong Abort, Week Abort, Normal Termination | ||
State | |||
Composite State | |||
Initial State | 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 | 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 | YAKINDU:
KIELER: A History is a attribute of a Transition | ||
Synchronization | |||
Choice |
KIELER | YAKINDU | |
---|---|---|
Interface declaration |
- 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)
- extending or replacing the 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)
- representation of the state machine models (org.yakindu.sct.model.sgraph)
ExperimentationsExample:
- 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.
...