Um relacionamento semântico entre classificadores, em que um classificador especifica um contrato que outro classificador garante executar é um tipo de relacionamento denominado