UML Constraints

Is a way to support formal systems design with UML by adding [see page 4, constraints].

Constraints can be applied to both attributes, associations and methods. They are either:

Symbolic: pre-defined constraints such as {unique}, {overlapping}, {disjoint}.
or, Expressions: involving attributes and associations {balance >= overdraftLimit}.