Um relacionamento semântico entre classificadores, no qual um deles especifica um contrato cujo cumprimento é assegurado pelo outro. Na UML, trata-se de