KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 35

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

Saved on

compared with

New Version Current

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

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 5.3

...

  • Entry && S
  • During && S 
  • Exit && S 
  • Exit && [S1 &&S2] 
  • Entry && # S 
  • Entry && # 3 S
LocalReaction Effect

...

Info
iconfalse
titleReactionEffect returns sgraph::Effect:

{ReactionEffect} actions+=Expression (=> ',' actions+=Expression)*;

Example:

  •  I / Suspend;
  •  / O=false;
  •  / I1=true, I2=false;
  •  / I1=true, I2=false;
  •  / O=true;


Transition

Question: use the commutativity of AND and OR?  if(A!=null &&  A.val=1)?A Transition is defined by a Reaction, consisting of a Trigger and an Effect. 

Image Added

Transition Trigger

A trigger:

  • can be a Signal, 
  • a boolean Variable
  • an Expression
  • can be immediate (optional)
  • delay (optional)
Info
iconfalse
titleReactionTrigger returns sgraph::Trigger:

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

Examples:

  • S
  • [S1 && S2]
  • #_S
  • #_3 S

Transition Effect

Info
iconfalse
titleReactionEffect returns sgraph::Effect:

{ReactionEffect} actions+=Expression (=> ',' actions+=Expression)*;

Examples:

  • / S
  • / I = false
  • / I1 = false, I2 = I3 + 10 

Extending the Validator