Chapter

Rapid Integration of Software Engineering Techniques

Volume 3943 of the series Lecture Notes in Computer Science pp 145-157

Can Aspects Implement Contracts?

  • Stephanie BalzerAffiliated withDepartment of Computer Science, ETH Zurich (Swiss Federal Institute of Technology)
  • , Patrick Th. EugsterAffiliated withDepartment of Computer Science, ETH Zurich (Swiss Federal Institute of Technology)
  • , Bertrand MeyerAffiliated withDepartment of Computer Science, ETH Zurich (Swiss Federal Institute of Technology)

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Design by ContractTMis commonly cited as an example of the “crosscutting” concerns that aspect-oriented programming can address. We test this conjecture by attempting to implement contracts through aspects and assessing the outcome. The results of this experiment cast doubt on the validity of the conjecture, showing that aspects appear unable to capture contracts in a way that retains the benefits of the Design by Contract methodology.