O que são crosscuting contracts? Qual a relação com Design by contract?
1 Resposta
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.