¹Hubei Province Key Laboratory of Intelligent Robot, Wuhan Institute of Technology
²School of Computer Science and Engineering, Wuhan Institute of Technology, Wuhan, China

---

Abstract—Behavioral conflict is one of the key issues in the practical application of AOP (Aspect-Oriented Programming) technology. Based on the ideas of design by contract and behavioral subtyping, we propose an approach that detects the behavioral conflict automatically at runtime. Use Java annotation to describe the contracts of the base program and aspect code, then extract these contracts through the contract transformation program, and convert them to the assertion verification program, consequently it achieves automatic detection to the behavioral conflict at runtime.

Index Terms—AOP (Aspect-Oriented Programming), behavioral conflict, design by contract, behavioral subtyping, assertion verification

[PDF]

Cite: Chengwan He, Zheng Li, "Automatic Detection to the Behavioral Conflict in AOP Application Based on Design by Contract," Journal of Software vol. 6, no. 11, pp. 2255-2262, 2011.