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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16690-7_7 | UTP |
Keywords | Field | DocType |
corresponding formal model,aspect-oriented design,rigorous approach,formal representation,informative guideline,base program,interference problem,undesired interference,entire system,formal approach,aspect-oriented design model,weakest precondition | Weaving,Model checking,Aspect-oriented programming,Computer science,Correctness,Harm,Algorithm,Theoretical computer science,Interference (wave propagation) | Conference |
Volume | ISSN | ISBN |
6445 | 0302-9743 | 3-642-16689-X |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chen Xin | 1 | 625 | 120.92 |
Nan Ye | 2 | 149 | 12.60 |
Wenxu Ding | 3 | 6 | 1.52 |