Fast extraction of high-quality framework-specific models from application code

Automated Software Engineering

Volumn 16, Issue 1, 2009, Pages 101-144

  Antkiewicz, Michał ^a   Tonelli Bartolomei, Thiago ^a   Czarnecki, Krzysztof ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

API; Application programming interface; Framework specific modeling languages; Framework specific models; Object oriented frameworks; Reverse engineering; Static analysis

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); CODES (SYMBOLS); MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; OPEN SOURCE SOFTWARE; QUALITY CONTROL; REVERSE ENGINEERING;

CODE UNDERSTANDING; DEVELOPMENT TASKS; OBJECT-ORIENTED FRAMEWORKS; OPEN SOURCE FRAMEWORKS; PRECISION AND RECALL; PROTOTYPE IMPLEMENTATIONS; SOFTWARE EVOLUTION; SOFTWARE LIFE CYCLES;

STATIC ANALYSIS;

EID: 60349110492     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-008-0040-x     Document Type: Conference Paper

References (33)

1. C. Allan P. Avgustinov A.S. Christensen L. Hendren S. Kuzins O. Lhoták O. de Moor D. Sereni G. Sittampalam J. Tibble 2005 Adding trace matching with free variables to AspectJ SIGPLAN Not. 40 10 345 364
2. Antkiewicz, M.: Framework-specific modeling languages. PhD thesis, University of Waterloo (2008). http://hdl.handle.net/10012/4030
3. Antkiewicz, M., Czarnecki, K.: Framework-specific modeling languages with round-trip engineering. In: Models. LNCS, vol. 4199, pp. 692-706. Springer, Berlin (2006)
4. Antkiewicz, M., Czarnecki, K.: Design space of heterogeneous synchronization. In: GTTSE (2008)
5. Antkiewicz, M., Bartolomei, T.T., Czarnecki, K.: Automatic extraction of framework-specific models from framework-based application code. In: ASE '07: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, pp. 214-223 (2007)
6. Apache Software Foundation: Roller Weblogger 3.0 (2006). http://rollerweblogger.org/
7. Apache Software Foundation: Struts User's Guide (2007). http://struts.apache.org/1.3.8/index.html
8. Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Optimising AspectJ. In: PLDI'05, pp. 117-128 (2005)
9. Cohen, T., Gil, J.Y., Maman, I.: JTL: the Java tools language. In: OOPSLA'06, p. 89-108 (2006)
10. Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: SPLC '07: Proceedings of the 11th International Software Product Line Conference (SPLC 2007), pp. 23-34 (2007)
11. Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. Softw. Process Improv. Pract. 10(1) (2005). Special issue on Software Variability: Process and Management
12. De Volder, K.: JQuery: A generic code browser with a declarative configuration language. In: PADL'06. LNCS, vol. 3819, pp. 88-102. Springer, Berlin (2006)
13. DeBaud, J.-M., Moopen, B., Rugaber, S.: Domain analysis and reverse engineering. In: ICSM '94: Proceedings of the International Conference on Software Maintenance, pp. 326-335 (1994)
14. Eclipse Foundation: Java Development Tools (2008). http://www.eclipse. org/jdt/
15. EJB 3.0 Expert Group: JSR 220: Enterprise JavaBeansTM, Version 3.0 (2006). http://java.sun.com/products/ejb
16. Fairbanks, G., Garlan, D., Scherlis, W.: Design fragments make using frameworks easier. In: OOPSLA'06, pp. 75-88 (2006)
17. Gamma, E., Beck, K.: Contributing to Eclipse: Principles, Patterns, and Plugins. Addison-Wesley, Reading (2003)
18. Hajiyev, E., Verbaere, M., de Moor, O.: CodeQuest: scalable source code queries with datalog. In: ECOOP'06. LNCS, vol. 4067, pp. 2-27. Springer, Berlin (2006)
19. Hilsdale, E., Hugunin, J.: Advice weaving in AspectJ. In: AOSD '04, pp. 26-35 (2004)
20. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: ECOOP'01, pp. 327-355 (2001)
21. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: ECOOP'97, pp. 220-242 (1997)
22. B.A. Kitchenham S.L. Pfleeger L.M. Pickard P.W. Jones D.C. Hoaglin K.E. Emam J. Rosenberg 2002 Preliminary guidelines for empirical research in software engineering IEEE Trans. Softw. Eng. 28 8 721 734
23. Masuhara, H., Kawauchi, K.: Dataflow pointcut in aspect-oriented programming. In: APLAS'03. LNCS, vol. 2895, pp. 105-121. Springer, Berlin (2003)
24. OSGi Alliance. OSGi Service Platform, Core Specification, Release 4, Version 4.1 (2007). http://www.osgi.org/Specifications
25. Pandit, C.: Make your Eclipse applications richer with view linking (2005). http://www-128.ibm.com/developerworks/opensource/library/os-ecllink/
26. Rountev, A., Kagan, S., Marlowe, T.J.: Interprocedural dataflow analysis in the presence of large libraries. In: CC'06. LNCS, vol. 3923, pp. 2-16. Springer, Berlin (2006)
27. S. Rugaber 2000 The use of domain knowledge in program understanding Ann. Soft. Eng. 9 1-4 143 192
28. Spring Framework Manual (2008). http://www.springframework.org/
29. Struts Applications Project (2007). http://sourceforge.net/projects/ struts/
30. Sun Microsystems: Java Server Faces (2008). http://java.sun.com/javaee/ javaserverfaces/
31. Sun Microsystems. Java Tutorials, Lesson: Applets (2008). http://java.sun.com/docs/books/tutorial/deployment/applet/index.html
32. Vallée-Rai, R., Gagnon, E., Hendren, L.J., Lam, P., Pominville, P., Sundaresan, V.: Optimizing Java bytecode using the Soot framework: is it feasible? In: CC '00: Proceedings of the 9th International Conference on Compiler Construction, pp. 18-34. Springer, London (2000)
33. Zhang, W., Ryder, B.G.: Constructing accurate application call graphs for Java to model library callbacks. In: SCAM 2006, pp. 63-74 (2006)