4

O que são crosscuting contracts? Qual a relação com Design by contract?

1 Resposta 1

4

Design by contract (DbC) é uma abordagem para design de software que prevê a formalização de contratos (i.e, pré-condições, pós-condições e invariantes) entre clientes e fornecedores.

Linguagens como Eiffel (criada pelo Professor Bertrand Meyer, que também cunhou o termo DbC) possuem suporte nativo a DbC. Em Eiffel podemos especificar contratos para rotinas e classes através de cláusulas como require, ensure e invariant (para mais informações veja Eiffel Software: Building bug-free O-O software: An Introduction to Design by Contract™). Já em linguagens como Java o suporte nativo é limitado a assertions.

Técnicas de Programação orientada a aspectos (AOP) visam desacoplar crosscuting concerns (características transversais) da funcionalidade principal do sistema. Por exemplo, aspectos da aplicação como logs, controle transacional e segurança podem ser moduralizados com AOP, diminuindo assim a disperção do código necessário para garantir essas características através da aplicação.

Existem várias bibliotecas que tentam emular a noção de contratos através de AOP, por exemplo, o OVal tenta emular contratos no Java através do AspectJ.

No meio acadêmico existem discussões em aberto sobre a natureza dos contratos. Uma delas diz respeito a crosscuting contracts, ou seja contratos que englobam vários métodos / classes. Há aí naturalmente uma intersecção entre AOP e DbC.

Vários autores respeitados admitem a existência de crosscuting contracts. Essa é uma das linhas de pesquisa, por exemplo, do Professor Henrique Rebêlo que criou a ferramenta AspectJML para especificação de crosscuting contracts.

Crosscuting contracts permitem, em tese, maior reaproveitamento de código. Dito isso, existem controvérsias sobre a adequabilidade de aspectos para a implementação de DbC. Por exemplo, essa publicação de 2005 coautorada por Meyer coloca o casamento entre DbC e AOP em cheque. Por sua vez, essa publicação de 2014 (cujo primeiro autor é Rebêlo), tenta conciliar trade-offs entre linguagens com suporte nativo a DbC e AOP.

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .