UPPAAL provides a rich language for defining templates in the form of extended timed automata. In contrast to classical timed automata, timed automata in UPPAAL can use a rich expression language to test and update clock, variables, record types, call user defined functions, etc.
Locations and edges define an automaton template, which is can be instantiated into a process by arguments correspoding to a parameters declaration.