KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 12

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

Saved on

compared with

New Version 13

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: A

  • Shallow History
is a Pseudostate
  • : 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 

 

...