Preserving the separation of concerns while composing aspects on shared joinpoints

Aspect-oriented programming (AOP) is a programming paradigm which makes possible the separation of crosscutting concerns in different modules (the aspects). AOP is known to have issues when aspects are composed in a base program. Several approaches have been proposed to address these issues but they break the inherent separation of concerns. In this proposal, we describe a dissertation research plan to elaborate composition techniques while preserving the separation of concerns. The approach we adopt is based on an independent semantic annotation of the aspects to detect and resolve conflicts at runtime.