KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 34

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

Saved on

compared with

New Version 35

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

Saved on

Key

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

...

 advantagedisadvantage 
Don't use signals
  • no need to be implemented
  • no signals
No
Boolean variables as signals
  • implementation in a short time
  • a short form declaration:

    in I instead of in I:boolean

  • a short form of use:
    I / O instead of [I==true] / O = false
  • no more possible to use of Boolean variables
No
Yakindu events as signals
  • use of already implemented features
  • differ between Signals and Boolean Variables

Declaration: in signal I;

  • signals are implemented as events
  • Question: How to mix Signals and variables?
Yes
New declaration type
  • differ between Signals and Boolean Variables

Declaration: in signal I;

  • expensive
no

 Image Added

Local Reactions

...

Info
iconfalse
titleLocalReactionTrigger returns sgraph::Trigger:

{ReactionTrigger} triggers+=LocalReactionType ('&&' (isImmediate?='#')? (delay=INT)? ((triggers+=RegularEventSpec) | ('[' guardExpression=Expression ']'))?)?;

Examples:

  • Entry && I / O=true;S
  • During && I /O=false;S 
  • Exit && I1 / I1=true, I2=false;S 
  • Exit && [I1 S1 &&I2] / S2] 
  • Entry && # S 
  • Entry && # 3 S
LocalReaction Effect

 

Example:

  •  I / Suspend;
  •  / O=false;
  •  / I1=true, I2=false;Entry
  • && # I / O / I1=true, I2=false;Entry &&
  • # 3 I  / O=true;


Transition

Question: use the commutativity of AND and OR?  if(A!=null &&  A.val=1)?