Representa uma relação semântica entre elementos de modelo que especifica condições e proposições que precisam ser mantidas ...