Process Assigments

Process assignments are used to declare instances of process templates. The syntax is given by the grammar for PAList.

PAList  ::= PA*
PA      ::= ID ':=' ID '(' ArgList ')' ';'
ArgList ::= [ Expression ( ',' Expression )* ]

Examples

• P:=Q();
  process P is an instance of template Q that does not have any parameters.
• S:=R(x,1);
  process S is an instance of template R that has two parameters.

For more examples, see the example systems included in the UPPAAL distribution.