A comparison of logic-based infrastructures for concern detection and extraction

Proceedings of the 3rd Workshop on Linking Aspect Technology and Evolution, LATE'07 held at the Sixth International Conference on Aspect-Oriented Software Development, AOSD '07

Volumn , Issue , 2007, Pages

  Kniesel, Günter ^a   Hannemann, Jan ^b   Rho, Tobias ^a  

^a UNIVERSITY OF BONN   (Germany)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

Code quest; Concern mining; CTC; Design pattern detection; JQuery; JTransformer; Logic code analysis and transformation

Indexed keywords

CONCERN MINING; DESIGN PATTERN DETECTION; JQUERY; JTRANSFORMER; LOGIC CODE ANALYSIS; LOGIC CODE TRANSFORMATION;

DATA REDUCTION; FEATURE EXTRACTION; FORMAL LOGIC; QUERY LANGUAGES; SCALABILITY;

LOGIC PROGRAMMING;

EID: 34548087550     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1275672.1275678     Document Type: Conference Paper

References (30)

1. Francesca Arcelli, Claudia Raibulet, Yann-Gael Gueheneuc, Giuliano Antoniol, and Jason McC Smith. Workshop on design pattern detection for reverse engineering. In WCRE '06: Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), page 316, Washington, DC, USA, 2006. IEEE Computer Society.
2. Vítor Santos Costa. Prolog performance on larger datasets. In Michael Hanus, editor, PADL, volume 4354 of Lecture Notes in Computer Science, pages 185-199. Springer, 2007.
3. Markus Dahm. Byte code engineering with the BCEL API. Technical Report B-17-98, Freie Universität Berlin, Institut für Informatik, 2001.
4. Jim des Riviêres and John Wiegand. Eclipse: A platform for integrating development tools. IBM Systems Journal, 43(2):371-383, 2004.
5. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
6. Stefan Hanenberg Günter Kniesel, Tobias Rho. Reusable pattern implementations need generic aspects. Presented at the Workshop on Reflection, AOP and Meta-Data for Software Evolution at ECOOP '04, 2004.
7. Elnar Hajiyev, Mathieu Verbaere, and Oege de Moor. Codequest: Scalable source code queries with datalog. In Dave Thomas, editor, ECOOP'06: Proceedings of the 20th European Conference on Object-Oriented Programming, volume 4067 of Lecture Notes in Computer Science, pages 2-27, Berlin, Germany, 2006. Springer.
8. Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, and Kris de Volder. Codequest: querying source code with datalog. In OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 102-103, New York, NY, USA, 2005. ACM Press.
9. Jan Hannemann and Gregor Kiczales. Design pattern implementation in Java and AspectJ. In Proceedings of the 17th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '02), pages 161-173. ACM Press, 2002.
10. Jan Hannemann, Gail C. Murphy, and Gregor Kiczales. Role-based refactoring of crosscutting concerns. In Proceedings of the 4th International Conference on A sped-Oriented Software Development (AOSD '05), pages 135-146. ACM Press, 2005.
11. Dirk Heuzeroth, Thomas Holl, Gustav Högström, and Weif Löwe. Automatic design pattern detection. In IWPC '03: Proceedings of the 11th IEEE International Workshop on Program Comprehension, page 94, Washington, DC, USA, 2003. IEEE Computer Society.
12. Doug Janzen and Kris De Volder. Navigating and querying code without getting lost. In Proceedings of the 2nd International Conference on Aspect-oriented Software Development (AOSD '03), pages 178-187. ACM Press, 2003.
13. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Christina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP '97), volume 1241 of LNCS, pages 220-242. Springer-Verlag, 1997.
14. Günter Kniesel. A Logic Foundation for Conditional Program Transformations. Technical report IAI-TR-2006-01, ISSN 0944-8535, CS Dept. III, University of Bonn, Germany, January 2006.
15. Günter Kniesel. Detection and resolution of weaving interactions. In Transactions on Aspect-Oriented Software Development, Special issue 'Dependencies and Interactions with Aspects'. Springer, (to appear) 2007.
16. Günter Kniesel and Uwe Bardey. An analysis of the correctness and completeness of aspect weaving. In Proceedings of Working Conference on Reverse Engineering 2006 (WCRE 2006), pages 324-333. IEEE, October 2006.
17. Günter Kniesel, Pascal Costanza, and Michael 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, November 2001. ISBN 0-7695-1387-5.
18. Günter Kniesel, Pascal Costanza, and Michael Austermann. JMangler - A Powerful Back-End for Aspect-Oriented Programming. In Robert Filman, Tzilla Elrad, Siobhán Clarke, and Mehmet Akşit, editors, Aspect-Oriented Software Development, chapter 9. Addison-Wesley, 2004. ISBN 0-321-21976-7.
19. Helge Koch. Ein Refactoring-Framework für Java. Diploma thesis, CS Dept. III, University of Bonn, Germany, April 2002.
20. Andreas Ludwig and Dirk Heuzeroth. Metaprogramming in the large. In GCSE '00: Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers, pages 178-187, London, UK, 2001. Springer-Verlag.
21. Marius Marin, Arie van Deursen, and Leon Moonen. Identifying aspects using fan-in analysis. In Proceedings of the 11th Working Conference on Reverse Engineering (WCRE '04), pages 132-141. IEEE Computer Society, 2004.
22. Kim Mens, Isabel Michiels, and Roel Wuyts. Supporting software development through declaratively codified programming patterns. Special Issue of Elsevier Journal on Expert Systems with Applications, 23(4):405-413, 2002.
23. Ladan Tahvildari and Kostas Kontogiannis. On the role of design patterns in quality-driven re-engineering, csmr, 00:0230, 2002.
24. Nikolaos Tsantalis, Alexander Chatzigeorgiou, George Stephanides, and Spyros T. Halkidis. Design pattern detection using similarity scoring. IEEE Transactions on Software Engineering, 32(11):896-909, 2006.
25. Marek Vokác. An efficient tool for recovering design patterns from c++ code. Journal of Object Technology, 5(1):139-157, 2006.
26. Jan Wielemaker. SWI-Prolog performance issues. http://gollem.science.uva. nl/twiki/pl/bin/view/Development/PrologPerformance, October 2006.
27. The Eclipse java development tools (JDT) project. http://www.eclipse.org/ jdt/.
28. The Eclipse web site, http://www.eclipse.org.
29. The JHotDraw project web site. http://www.jhotdraw.org.
30. The JTransformer project. http://roots.iai.uni-bonn.de/research/ jtransformer/.