Automatic Detection to the Behavioral Conflict in AOP Application Based on Design by Contract

摘要

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.