Analyzing The Influences of Aspect Weaving on Software System Behavior

Abstract—The aspect-oriented paradigm can help promoting system modularity and maintainability by separating crosscutting concerns as aspects. However, weaving an aspect may introduce undesired impacts on the original system behavior. We present an approach to analyzing the influences of an aspect weaving on the base model. The analysis is based on the behavioral equivalence between the base model and its projection in the woven model. An example shows the effectiveness. Index Terms—aspect influences, aspect interference, aspect weaving, detection, aspect-oriented software development I