minimize aspect interaction re-evaluation due to software evolution
Detection of interaction among individually built software modules, such as aspects in AOSD, is one of the most complex problems in software engineering. In addition, software is very dynamic and ever evolving. Software evolution should not annul existing aspect interaction analyses. Changes made to the core module in AOSD should only result in reevaluating interaction analysis of the aspects that depend on the specific changes that were made, changes should not impact aspects that depend on the invariant sub-module.
software evolution semantical aspect interaction modular model checking aspect oriented modeling (aom)