MODULARITY '14: The 13th international conference on Modularity
Journal or Book Title
Proceedings of the 13th international conference on Modularity
April 22-26, 2014
Aspect-oriented programming (AOP) is a popular technique for modularizing crosscutting concerns. In this context, researchers have found that the realization of design by contract (DbC) is crosscutting and fares better when modularized by AOP. However, previous efforts aimed at supporting crosscutting contract modularity might actually compromise the main DbC principles. For example, in AspectJ-style, reasoning about the correctness of a method call may require a whole-program analysis to determine what advice applies and what that advice does relative to DbC implementation and checking. Also, when contracts are separated from classes a programmer may not know about them and may break them inadvertently. In this paper we solve these problems with AspectJML, a new specification language that supports crosscutting contracts for Java code. We also show how AspectJML supports the main DbC principles of modular reasoning and contracts as documentation.
© ACM, 2014 This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 13th international conference on Modularity, pp. 157-168. ACM, 2014. https://doi.org/10.1145/2577080.2577084
Rebêlo, Henrique; Leavens, Gary T.; Bagherzadeh, Mehdi; Rajan, Hridesh; Lima, Ricardo; Zimmerman, Daniel M.; Cornelio, Marcio; and Thüm, Thomas, "AspectJML: modular specification and runtime checking for crosscutting contracts" (2014). Computer Science Conference Presentations, Posters and Proceedings. 6.