Automatic extraction of framework-specific models from framework-based application code

ABSTRACT

Framework-specific models represent the design of pplicationcode from the framework viewpoint by showing how framework-provided concepts are implemented in the code. In this paper, we describe an experimental study of the static analyses necessary to automatically retrieve such models from application code. We reverse engineer a number of applications based on three open-source frameworks and evaluate the quality of the retrieved models. The models are expressed using framework-specific modeling languages(FSMLs), each designed for one of the open-source frameworks. For reverse engineering, we use prototype implementations of the three FSMLs. Our results show that for the considered frameworks rather simple code analysesare sufficient for automatically retrieving framework-specific models form a large body of application code with high precision and recall

REFERENCES

• 1: Chris Allan , Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, Adding trace matching with free variables to AspectJ, ACM SIGPLAN Notices, v.40 n.10, October 2005
• 2: M. Antkiewicz and K. Czarnecki. Framework-specific modeling languages with round-trip engineering. In MoDELS, volume 4199 of LNCS, pages 692--706, 2006.
• 3: M. Antkiewicz and K. Czarnecki. Framework-specific modeling languages; examples and algorithms. Technical Report 2007--18, ECE, U. of Waterloo, 2007.
• 4: Apache Software Foundation. Roller Weblogger 3.0. http://rollerweblogger.org/.
• 5: Apache Software Foundation. Struts User's Guide. http://struts.apache.org/1.3.8/index.html.
• 6: Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Jennifer Lhoták , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, Optimising aspectJ, Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, June 12-15, 2005, Chicago, IL, USA
• 7: Tal Cohen , Joseph (Yossi) Gil , Itay Maman, JTL: the Java tools language, Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
• 8: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 9: K. De Volder. JQuery: A generic code browser with a declarative configuration language. In PADL'06, volume 3819 of LNCS, pages 88102, 2006.
• 10: Eclipse Foundation. Java Development Tools. http://www.eclipse.org/jdt/.
• 11: George Fairbanks , David Garlan , William Scherlis, Design fragments make using frameworks easier, Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
• 12: E. Hajiyev, M. Verbaere, and O. de Moor. CodeQuest: Scalable source code queries with datalog. In ECOOP'06, volume 4067 of LNCS, pages 227, 2006.
• 13: Erik Hilsdale , Jim Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development, p.26-35, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976276]
• 14: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 15: G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97, pages 220--242, 1997.
• 16: Barbara A. Kitchenham , Shari Lawrence Pfleeger , Lesley M. Pickard , Peter W. Jones , David C. Hoaglin , Khaled El Emam , Jarrett Rosenberg, Preliminary guidelines for empirical research in software engineering, IEEE Transactions on Software Engineering, v.28 n.8, p.721-734, August 2002 [doi>10.1109/TSE.2002.1027796]
• 17: H. Masuhara and K. Kawauchi. Dataflow pointcut in aspect-oriented programming. In APLAS'03, volume 2895 of LNCS, pages 105--121, 2003.
• 18: C. Pandit. Make your Eclipse applications richer with view linking, 2005. http://www-128.ibm.com/developerworks/opensource/library/os-ecllink/.
• 19: A. Rountev, S. Kagan, and T. J. Marlowe. Interprocedural dataflow analysis in the presence of large libraries. In CC'06, volume 3923 of LNCS, pages 216, 2006.
• 20: Sun Microsystems. Java Tutorials, Lesson: Applets. http://java.sun.com/docs/books/tutorial/deployment/applet/index.html.
• 21: Weilei Zhang , Barbara Ryder, Constructing Accurate Application Call Graphs For Java To Model Library Callbacks, Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation, p.63-74, September 27-29, 2006 [doi>10.1109/SCAM.2006.9]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.13 Reusable Software
            Subjects: Reuse models

General Terms:
Design, Documentation, Languages

Keywords:
framework-specific modeling languages, framework-specific models, object-oriented frameworks, reverse engineering, static analysis