Declarations

Pure Signals: signals are absent or present

• input signals must be set
• output signals are computed

Valued Signals:

are pure signals and are able to store a value

Events:

• interface scope: events can either be ingoing (in event event) or outgoing (out event event).
• local scope: events are able to store a value.internal: event localEvent : bool

Variables:

• variable:var variable: string

• readonly variable:var readonly size: int = 10

• external variable: can be referenced by the environmentvar external variable: int = 44

Typesystem

• pure: only makes sense for Signals. Signals are absent or present.
• host: no actual type is given. The given type in the hostType attribute is used.
• bool
• unsigned
• int
• float
• double
• string

• integer
• real
• boolean 
• string
• void

Expressions

• Logical AND: var1 && var2
• Logical OR: var1 || var2
• Logical NOT: !var1

(A and B) or ((not C) and D) 

• Logical AND: var1 && var2
• Logical OR: var1 || var2
• Logical NOT: !var1
• Conditional Expression: var1 ? var2 : var3

Operations

• Equal: '='
• Less Than: '<'
• Equal Or Less Than: '<='
• Greater Than: '>'
• Equal Or Greater Than: '>='
• NOT: '!='
• Value: '?'

?B = 3

• PRE: 'pre'

pre(B)

• NE: '<>'
• AND: 'and'
• OR: 'or'
• Add: '+'
• Minus : '-'
• Multiply: '*'
• Divide: '/'
• Modulo: 'mod'

• Equal: '=='
• less than: '<'
• Equal Or Less Than: '<='
• Greater Than: '>'
• Equal Or Greater Than '>='
• Not Equal: '!='
• Shift Left: '<<'
• Shift Right: '>>'
• Plus: '+'
• Minus: '-'
• Multiply: '*'
• Divide: '/'
• Modulo: '%'
• Positive: '+'
• Negative: '-'
• Complement: '~'

Trigger

• Simple signal reference: I / O
• Boolean expression: 

(A and B) or ((not C) and D)

• Valued Signals and Variables can be used in conditions in these boolean expressions 

variable &#x3e; 1 

?A = 1

• Comparison 

?A &#x3e; (variable + 1)  

A and (3 > ?B) or ((var5 + 2) = 6)

• Pre

A and pre(B)

3 < pre(?A)

• event:
  I / raise O

• after:after 20 s

• everyevery 200 ms

• always: 
  enables a reaction to be executed in every run to completion step
• default: 
  enables a reaction to be executed in every run to completion step
• else: 
  used in transitions and implies the lowest evaluation priority for that transition.
• entry
• exit
• oncycle