Types, constants, variables and functions can be defined in the global scope by placing them in the global section labelled Declarations or locally for a template by placing in the Declarations section of a template.
Process are instantiated by placing a process assignment in the Process assignment section.
Finally, the system is defined as a parallel composition of a number of processes by placing a system declaration in the System declaration section.
The syntax for each of these sections is defined in the section on the system description language.
Note: Clicking a declaration with the right mouse button causes a pop-up menu to appear which has an item for showing syntax errors.