Nos modelos UML, o valor de uma restrição é uma instrução que define uma condição ou uma limitação que a restrição impõe no
elemento do modelo ao qual ela está anexada. A instrução deve ser
uma expressão Booleana e produzir um valor
true quando avaliada,
para que o modelo fique corretamente formado.