Na UML há uma série de diagramas que são utilizados para auxiliar na modelagem de sistemas de software. Como parte dos diagramas há um relacionamento do tipo semântico entre classificadores, no qual um dos classificadores especifica um contrato cujo cumprimento é assegurado pelo outro classificador. Ele é representado por uma linha tracejada com uma grande seta vazia apontando para o classificador que especifica o contrato. A este relacionamento se dá o nome de: