KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 11

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

Saved on

compared with

New Version 12

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: An extra State for Initial StateInitials State are pseudo states. The Initial State may not be a Composite State
Final StateYAKINDU: An extra State for Final StateFinal States are pseudo states. The Final State may not be a Composite State
State 
Composite State 
History

YAKINDU: A History is a Pseudostate

KIELER: A History is a Transition
Synchronization  
Choise 

 

Master