System

In general, we deal with systems composed from active objects (process instances) which are executed in parallel and interact asynchronously¹ through message (signal instances) passing via communication buffers (signalroute instances). Therefore, system specifications consist of generic components, including dynamic ones such as processes, signalroutes and signals, and static ones such as (shared) variables, data types, constant values, and external procedures.

xxxxxxxxxxxxxxxxxxsystem-decl ::=  

system system-id ; 

{ system-component }$^*$ 

endsystem ;  



system-component ::=  

process-decl $\vert$ 

signalroute-decl $\vert$ 

signal-decl $\vert$ 

procedure-decl $\vert$ 

var-decl $\vert$ 

type-decl $\vert$ 

const-decl