KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 1

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

Saved on

compared with

New Version 2

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

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
 KIELERYAKINDU 
TransitionImage AddedImage Added

YAKINDU: There is only one type for transitions

KIELER: Strong Abort, Week Abort, Normal Termination
StateImage AddedImage Added 
Composite StateImage AddedImage Added 
Initial StateImage AddedImage AddedImage Added

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 StateImage AddedImage AddedImage Added

YAKINDU: Final States are pseudo states. The Final State may not be a Composite State

KIELER: Final states are depicted with a double border

HistoryImage AddedImage AddedImage Added

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 Image Added

YAKINDU: Synchronization is a pseudo state.

KIELER: Synchronization not needed in KIELER

    •  No interlevel transitions
    • Closest construct: normal termination
ChoiceImage AddedImage Added