doi: 10.4304/jsw.6.11.2255-2262
Automatic Detection to the Behavioral Conflict in AOP Application Based on Design by Contract
- 1 Hubei Province Key Laboratory of Intelligent Robot, Wuhan Institute of Technology
- 2 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.
Keywords
- AOP (Aspect-Oriented Programming)
- behav
How to Cite
Chengwan He and 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. https://doi.org/ 10.4304/jsw.6.11.2255-2262
Copyright & License
Copyright © 2011 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).