Undesirable Aspect Interactions: A Prevention Policy

Aspect-oriented software development (AOSD) has emerged in recent years as a new paradigm for software development, providing mechanisms to localize cross-cutting concerns (i.e. scattered in many locations) during the software development process. Aspect interaction problems (due to their integration into the base components) is an important issue in AOSD, verification is most often based on a detection and correction strategy. This paper presents an ongoing work which goal is to built a prevention mechanism at the specification phase for aspect-oriented systems. This prevention mechanism will allow to avoid undesirable interactions in a aspect-oriented system. By acting at the specification phase, we believe that verification will be made timeless and costless.