Towards Trusted Aspect Composition

Aspect composition in the aspect-oriented software may lead to the structural conflict and behavioral conflict, which are two key issues must be solved in the trusted aspect-oriented software development. The paper introduces an approach to solve the problems of the structural conflict in the architecture level, based on the reflection mechanism, and brings forward an approach based on the concepts of design by contract and behavioral subtyping to achieve the automatic detection of the behavioral conflict at runtime.