Minimize aspect interaction re-evaluation due to software evolution

Authors:
Zaid Altahat;Tzilla Elrad
Affiliations:
Illinois Institute Of Technology, Chicago, IL;Illinois Institute Of Technology, Chicago, IL
Venue:
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Year:
2009

Citing 4
Cited 0

Model checking

Model checking
Feature Interactions and Formal Specifications in Telecommunications

Computer
Detection and Verification of Semantic Interaction In AOSD

ITNG '09 Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations
MAVEN: modular aspect verification

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.