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: