KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 14

changes.mady.by.user Unknown User (wah)

Saved on

compared with

New Version 15

changes.mady.by.user Unknown User (wah)

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

 KIELERYAKINDU 
Transition

YAKINDU: There is only one type for transitions

KIELER: Strong Abort, Week Abort, Normal Termination
Initial StateYAKINDU: 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 StateYAKINDU: Final States are pseudo states. The Final State may not be a Composite State
State 
Composite State 
History

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  
Choise 

 

...

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) 

 

adapt the Yakindu-SCT to the SyncCharts