Reasoning about Semantic Aspect Weaving Impact

In an AO system, weaving of an aspect may cause side effects on the base model that it applies to, which are sometimes unexpected. Therefore, it is highly desirable to understanding the effect of weaving as early as possible, preferably at the modeling level. This paper presents a framework for reasoning about the semantic impact of aspect weaving at the level of early design modeling. Its underlying formalisms are Process Algebras. The framework is based on semantic consistency between a model and its projection in the woven model. Understanding the impact of weaving can aid developers in foreseeing unintended aspect impacts and increase the reliability of the software.