An analysis of the correctness and completeness of aspect weaving

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2006, Pages 324-333

  Kniesel, Günter ^a   Bardey, Uwe ^b  

^a UNIVERSITY OF BONN   (Germany)

^b Deutsche Post   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING; REVERSE ENGINEERING; SEMANTICS; SPECIFICATIONS;

ASPECT WEAVING; INTERFERENCE DETECTION; PROGRAM ANNOTATIONS;

COMPUTER PROGRAMMING;

EID: 34548066312     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2006.10     Document Type: Conference Paper

References (13)

1. U. Bardey. Abhängigkeitsanalyse für Programm-Transformationen. Diploma thesis, CS Dept. III, University of Bonn, Germany, Feb. 2003.
2. L. Bergmans and M. Aksit. Principles and design rationale of composition filters. In R. Filman, T. Elrad, S. Clarke, and M. Aksit, editors, Aspect-Oriented Software Development. Addison-Wesley, 2004. ISBN 0-32-121976-.
3. C. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In FOAL 2002: Foundations of Aspect-Oriented Langauges (AOSD2002), pages 33-44, Mar. 2002.
4. R. Douence, P. Fradet, and M. Südholt. Composition, reuse and interaction analysis of stateful aspects. In K. Lieberherr, editor, AOSD 2004, pages 141-150. ACM Press, 2004.
5. R. E. Filman and D. P. Friedman. Aspect-oriented programming is quantification and obliviousness. In Workshop on Advanced Separation of Concerns (OOPSLA 2000), Oct. 2000.
6. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. Getting started with AspectJ. Comm. ACM, 44(10):59-65, Oct. 2001.
7. G. Kniesel. A Logic Foundation for Conditional Program Transformations. Technical report IAI-TR-2006-01, ISSN 0944-8535, CS Dept. Ill, University of Bonn, Germany, Jan. 2006.
8. G. Kniesel, P. Costanza, and M. Austermann. JMangler -a framework for load-time transformation of Java class files. In First IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), pages 100-110. IEEE Computer Society Press, Nov. 2001. ISBN 0-7695-1387-5.
9. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularIy. In Foundations of Software Engineering, 2004.
10. N. McEachen and R. Alexander. Distributing classes with woven concerns an exploration of potential fault scenarios. In P. Tarr, editor, AOSD 2005. ACM Press, March, 14-18 2005.
11. I. Nagy, M. Aksit, and L. Bergmans. Composition graphs, a foundation for reasoning about aspect-oriented composition. In G. T. Leavens and C. Clifton, editors, FOAL 2003, 2003.
12. H. Ossher and P. Tarr. The shape of things to come: Using multi-dimensional separation of concerns with Hyper/J to (re)shape evolving software. Comm. ACM, 44(10):43-50, Oct. 2001.
13. M. Sihman and S. Katz. Model checking applications of aspects and superimpositions. In G. T. Leavens and C. Clifton, editors, FOAL 2003, Mar. 2003.