A formal approach to analyzing interference problems in aspect-oriented designs

Authors:
Xin Chen;Nan Ye;Wenxu Ding
Affiliations:
State Key Laboratory for Novel Software Technology, Nanjing University and Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R. China;State Key Laboratory for Novel Software Technology, Nanjing University and Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R. China;State Key Laboratory for Novel Software Technology, Nanjing University and Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R. China
Venue:
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Year:
2010

Citing 9
Cited 0

Bandera: a source-level interface for model checking Java programs

Proceedings of the 22nd international conference on Software engineering
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Verifying aspect advice modularly

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
rCOS: a refinement calculus of object systems

Theoretical Computer Science - Components and objects
Rely-guarantee approach to reasoning about aspect-oriented programs

Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Model Checking Aspect-Oriented Design Specification

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Incremental analysis of interference among aspects

Proceedings of the 7th workshop on Foundations of aspect-oriented languages
A graph-transformation-based simulation approach for analysing aspect interference on shared join points

Proceedings of the 8th ACM international conference on Aspect-oriented software development
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

Interference problems in aspect-oriented designs refer to the undesired interference between aspects and base programs that can lead to the emergence of unexpected behaviors, which do harm to the correctness of the entire system. We present a rigorous approach to analyzing the interference problems in aspect-oriented designs. Formal representations of classes and aspects are defined in terms of designs in UTP, while the weaving techniques in AOP are interpreted as the compositions of corresponding formal models. Conflicts between an aspect and base programs as well as between two aspects can be detected by calculating the weakest preconditions. Furthermore, the calculation also provides informative guidelines on how to solve the conflicts it found. Early detecting and removing conflicts in aspect-oriented design models can improve their qualities and save plenty of costs.