Anti-pattern detection with model queries: A comparison of approaches

2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014 - Proceedings

Volumn , Issue , 2014, Pages 293-302

  Ujhelyi, Zoltán ^a   Horváth, Ákos ^a   Varró, Dániel ^a   Csiszár, Norbert István ^b   Szóke, Gábor ^b   Vidács, László ^c   Ferenc, Rudolf ^b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b UNIVERSITY OF SZEGED   (Hungary)

^c MTA SZTE Research Group on Artificial Intelligence ^*  (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; DESIGN FOR TESTABILITY; JAVA PROGRAMMING LANGUAGE; REENGINEERING; REVERSE ENGINEERING; SEMANTICS;

AUTOMATED IDENTIFICATION; ECLIPSE MODELING FRAMEWORK; INCREMENTAL EVALUATION; MEMORY CONSUMPTION; ORDERS OF MAGNITUDE; PROGRAM COMPREHENSION; PROGRAM MODELING; SOFTWARE EVOLUTION;

COMPUTER SOFTWARE;

EID: 84898475693     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR-WCRE.2014.6747181     Document Type: Conference Paper

References (30)

1. R. Ferenc, A. Beszédes, M. Tarkiainen, and T. Gyimóthy, "Columbus-Reverse Engineering Tool and Schema for C++," in Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002). IEEE Computer Society, Oct. 2002, pp. 172-181.
2. G. Varró, F. Deckwerth, M. Wieber, and A. Schürr, "An algorithm for generating model-sensitive search plans for EMF models," in Theory and Practice of Model Transformations, ser. Lecture Notes in Computer Science, Z. Hu and J. Lara, Eds. Springer Berlin Heidelberg, 2012, vol. 7307, pp. 224-239.
3. G. Bergmann, A. Ökrös, I. RAth, D. Varró, and G. Varró, "Incremental pattern matching in the VIATRA transformation system," in GRaMoT'08, 3rd International Workshop on Graph and Model Transformation. 30th International Conference on Software Engineering, 2008.
4. L. VidAcs, "Refactoring of C/C++ Preprocessor constructs at the model level," in Proceedings of ICSOFT 2009, 4th International Conference on Software and Data Technologies, July 2009, pp. 232-237.
5. G. Bergmann, Z. Ujhelyi, I. RAth, and D. Varró, "A graph query language for EMF models," in Theory and Practice of Model Transformations, ser. Lecture Notes in Computer Science, J. Cabot and E. Visser, Eds. Springer Berlin / Heidelberg, 2011, vol. 6707, pp. 167-182.
6. L. VidAcs, A. Beszédes, and R. Ferenc, "Columbus Schema for C/C++ Preprocessing," in Proceedings of CSMR 2004 (8th European Conference on Software Maintenance and Reengineering). IEEE Computer Society, Mar. 2004, pp. 75-84.
7. L. Hamann, L. VidAcs, M. Gogolla, and M. Kuhlmann, "Abstract runtime monitoring with USE," in Proceedings of CSMR 2012 (16th European Conference on Software Maintenance and Reengineering). IEEE Computer Society, Mar 2012, pp. 549-552.
8. L. Schrettner, L. Fülöp, R. Ferenc, and T. Gyimóthy, "Visualization of software architecture graphs of java systems: managing propagated low level dependencies," in Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, ser. PPPJ '10, ACM. New York, NY, USA: ACM, 2010, p. 148-157.
9. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 1995.
10. U. Nickel, J. Niere, and A. Zündorf, "Tool demonstration: The FUJABA environment," in The 22nd International Conference on Software Engineering (ICSE). Limerick, Ireland: ACM Press, 2000.
11. The ATLAS Transformation Language, ATLAS Group, http://www. eclipse.org/atl.
12. R. Geiss, G. V. Batz, D. Grund, S. Hack, and A. M. Szalkowski, "GrGen: A Fast SPO-Based Graph Rewriting Tool," in Graph Transformations-ICGT 2006, ser. Lecture Notes in Computer Science. Springer, 2006, pp. 383-397.
13. D. Hearnden, M. Lawley, and K. Raymond, "Incremental Model Transformation for the Evolution of Model-Driven Systems," in Proc. of 9th International Conference on Model Driven Engineering Languages and Systems (MODELS 2006), ser. LNCS, vol. 4199. Heidelberg, Germany: Springer Berlin, 2006, pp. 321-335.
14. C. L. Forgy, "Rete: A fast algorithm for the many pattern/many object pattern match problem," Artificial Intelligence, vol. 19, no. 1, pp. 17-37, Sep. 1982.
15. "Drools-The Business Logic integration Platform," http://www.jboss. org/drools.
16. A. Ghamarian, A. Jalali, and A. Rensink, "Incremental pattern matching in graph-based state space exploration," Electronic Communications of the EASST, vol. 32, 2011.
17. G. Bergmann, A. HorvAth, I. RAth, D. Varró, A. Balogh, Z. Balogh, and A. Ökrös, "Incremental evaluation of model queries over EMF models," in Model Driven Engineering Languages and Systems, ser. Lecture Notes in Computer Science, D. Petriu, N. Rouquette, and O. Haugen, Eds. Springer Berlin Heidelberg, 2010, vol. 6394, pp. 76-90.
18. A. HorvAth, G. Bergmann, I. RAth, and D. Varró, "Experimental assessment of combining pattern matching strategies with VIATRA2," International Journal on Software Tools for Technology Transfer, vol. 12, pp. 211-230, 2010.
19. J. Pérez, Y. Crespo, B. Hoffmann, and T. Mens, "A case study to evaluate the suitability of graph transformation tools for program refactoring," International Journal on Software Tools for Technology Transfer, vol. 12, no. 3-4, pp. 183-199, 2010.
20. T. Horn, "Program understanding: A reengineering case for the transformation tool contest," in Proceedings Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, ser. Electronic Proceedings in Theoretical Computer Science, P. Van Gorp, S. Mazanek, and L. Rose, Eds., vol. 74. Open Publishing Association, 2011, pp. 17-21.
21. T. Mens, N. Van Eetvelde, S. Demeyer, and D. Janssens, "Formalizing refactorings with graph transformations," Journal of Software Maintenance and Evolution: Research and Practice, vol. 17, no. 4, pp. 247-276, 2005.
22. J. Niere, W. Schäfer, J. P. Wadsack, L. Wendehals, and J. Welsh, "Towards pattern-based design recovery," in Proceedings of the 24th International Conference on Software Engineering, ser. ICSE '02. New York, NY, USA: ACM, 2002, pp. 338-348.
23. F. Heidenreich, J. Johannes, M. Seifert, and C. Wende, "Closing the gap between modelling and Java," in Software Language Engineering, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, Jan. 2010, no. 5969, pp. 374-383.
24. T. Arendt and G. Taentzer, "Integration of smells and refactorings within the eclipse modeling framework," in Proceedings of the Fifth Workshop on Refactoring Tools, ser. WRT '12. ACM, 2012, pp. 8-15.
25. PMD, PMD checker, http://pmd.sourceforge.net/.
26. FrontEndART Software Ltd., QualityGate CodeAnalyzer, http://www. frontendart.com/.
27. D. Speicher, M. Appeltauer, and G. Kniesel, "Code analyses for refactoring by source code patterns and logical queries," in 1st Workshop on Refactoring Tools, WRT 2007, 2007, pp. 17-20.
28. C. De Roover, C. Noguera, A. Kellens, and V. Jonckers, "The SOUL tool suite for querying programs in symbiosis with Eclipse," in Proc. of the 9th International Conference on Principles and Practice of Programming in Java, ser. PPPJ '11. ACM, 2011, pp. 71-80.
29. E. Hajiyev, M. Verbaere, and O. Moor, "codequest: Scalable source code queries with Datalog," in ECOOP 2006-Object-Oriented Programming, ser. Lecture Notes in Computer Science, D. Thomas, Ed. Springer Berlin Heidelberg, 2006, vol. 4067, pp. 2-27.
30. N. Moha, Y. Guéhéneuc, L. Duchien, and A. Le Meur, "DECOR: A method for the specification and detection of code and design smells," Software Engineering, IEEE Transactions on, vol. 36, no. 1, pp. 20-36, 2010.