- UPPAAL Help
- GUI Reference
- Language Reference
- Command Line Options
- Remote Server
- File Formats
- New Features
Types, constants, variables and functions can be defined in the global scope by placing them in the global section labelled Declarations or System declarations, or locally for a template by placing in the Declarations section of a template.
Processes are instantiated by placing a process assignments in the System declarations section.
Finally, the system is defined as a parallel composition of a number of processes by placing a system declaration in the System declarations section.
The syntax for each of these sections is defined in the Language Reference.