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 (Yakindu SCT Website).
Yakindu SCT Editor VS KIELER SyncCharts Editor
...
...
YAKINDU: There is only one type for transitions
...
...
KIELER: Initial states are supposed to have a thicker border than normal states
...
YAKINDU: Final States are pseudo states. The Final State may not be a Composite State
KIELER: Final states are depicted with a double border
...
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
...
YAKINDU: Synchronization is a pseudo state.
KIELER: Synchronization not needed in KIELER
- No interlevel transitions
- Closest construct: normal termination
...
KIELER | YAKINDU | |
---|---|---|
Interface declaration |
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 represenation 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 represenation representation of the state machine models (org.yakindu.sct.model.sgraph)
Examples: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.