Meta model class diagrams (click to enlarge)

Behavior specifications

Thread dispatch behavior specification

Behavior action language: action block + control structures

Behavior action language: basic action

Behavior action language: communication action

Behavior action language: element holders overview

Behavior action language: data holders

Behavior action language: port holders

Behavior action language: subprogram holders

Behavior expression language: value constants

Behavior expression language: value variables

Behavior expression language: value expression