Identifying refactoring opportunities using logic meta programming

[en] In this paper, we show how automated support can be provided for identifying refactoring opportunities, e.g., when an application's design should be refactored and which refactoring(s) in particular should be applied. Such support is achieved by using the technique of logic meta programming to detect so-called bad smells and by defining a framework that uses this information to propose adequate refactorings. We report on some initial but promising experiments that were applied using the proposed techniques.

Disciplines :

Computer science

Author, co-author :

Tourwé, Tom

Mens, Tom

Language :

English

Title :

Identifying refactoring opportunities using logic meta programming

Publication date :

01 January 2003

Event name :

European Conference on Software Maintenance and Reengineering

Event place :

Research unit :

S852 - Génie Logiciel

Available on ORBi UMONS :

since 07 November 2012

Statistics

Number of views

5 (0 by UMONS)

Number of downloads

0 (0 by UMONS)

More statistics

Scopus citations^®

117

Scopus citations^®
without self-citations

106

Bibliography

A. V. Aho, B. W. Kernigan, and P. J. Weinberger. Awk-A Pattern Scanning and Processing Language, 1980.
Kent Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, 1999.
F. W. Callis. Problems with automatic restructurers. SIGPLAN Notices, 23:13-21, March 1988.
Gerardo Canfora and Aniello Cimitile. A logic-based approach to reverse engineering tools production. Transactions on Software Engineering, 18(12):1053-1064, December 1992.
M. Consens, A. Mendelzon, and A. G. Ryman. Visualizing and querying software structures. In Proc. 11th Int'l Conf on Software Engineering, pages 138-157, 1992.
P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard Reference Manual. Springer-Verlag, 1996.
Stéphane Ducasse, Matthias Rieger, and Serge Demeyer. A language independent approach for detecting duplicated code. In Hongji Yang and Lee White, editors, Proc. Int'l Conf. Software Maintenance, pages 109-118. IEEE Computer Society Press, September 1999.
Johan Fabry. Supporting Development of Enterprise Javabeans through Declarative Meta Programming. In Zohra Bellahséne, Dilip Patel, and Colette Rolland, editors, Object-Oriented Information Systems, number 2425 in LNCS. Springer Verlag, 2002.
Richard Fanta and Vaclav Rajlich. Reengineering Object-Oriented Code. In Proc. Int. Conf. on Software Maintenance, pages 238-246. IEEE Computer Society Press, 1998. Bethesda, Maryland, March 16-19, 1998.
Martin Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
Yann-Gäel Guéhéneuc and Hervé Albin-Amiot. Using Design Patterns and Constraints to Automate the Detection and Correction of Inter-class Design Defects. In Proc. TOOLS USA, 2001.
Brian Henderson-Sellers. Object-Oriented Metrics. Prentice Hall, 1995.
Jens Jahnke, Wilhelm Schaefer, and Albert Zuendorf. Generic fuzzy reasoning nets as a basis for reverse engineering relational database applications. In M. Jazayeri and H. Schauer, editors, Proc. 6th European Software Engineering Conference, pages 193-210. Springer-Verlag, 1997.
S. Johnson. Lint, a.C. Program Checker, 1978.
Yoshio Kataoka, Michael D. Ernst, William G. Griswold, and David Notkin. Automated Support for Program Refactoring using Invariants. In Proc. Int. Conf. on Software Maintenance, pages 736-743, 2001.
Kim Mens. Automating Architectural Conformance Checking by means of Logic Meta Programming. PhD thesis, Departement Informatica, Vrije Universiteit Brussel, 2000.
Kim Mens, Isabel Michiels, and RoelWuyts. Supporting Software Development through Declaratively Codified Programming Patterns. Journal on Expert Systems with Applications, December 2002.
Tom Mens and Tom Tourwé. A Declarative Evolution Framework for Object-Oriented Design Patterns. In Proc. Int. Conf. Software Maintenance, pages 570-579. IEEE Computer Society, 2001.
William F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana Champaign, 1992.
Santanu Paul and Atul Prakash. A Framework for Source Code Search using Program Patterns. Transactions on Software Engineering, 20(6):463-475, June 1994.
Santanu Paul and Atul Prakash. Supporting queries on source code: A formal framework. Software Engineering and Knowledge Engineering, 4(3):325-348, September 1994.
Don Roberts, John Brant, and Ralph Johnson. A Refactoring Tool for Smalltalk. Theory and Practice of Object Systems, 3(4):253-263, 1997.
Jocelyn Simmonds and Tom Mens. A comparison of software refactoring tools. Technical Report vub-prog-tr-02-15, Programming Technology Lab, November 2002.
Frank Simon, Frank Steinbruückner, and Clause Lewerent. Metrics Based Refactoring. In Proc. 5th European Conference on Software Maintenance and Reengineering, pages 30-38. IEEE Computer Society Press, 2001.
Sander Tichelaar. Modeling Object-Oriented Software for Reverse Engineering and Refactoring. PhD thesis, University of Berne, 2001.
Lance Tokuda and Don S. Batory. Evolving object-oriented designs with refactorings. Automated Software Engineering, 8(1):89-120, 2001.
Tom Tourwé. Automated Support for Framework-Based Software Evolution. PhD thesis, Departement Informatica, Vrije Universiteit Brussel, 2002.
Arie van Deursen and Leon Moonen. The video store revisited-thoughts on refactoring and testing. In Proc. 3rd Int'l Conf. eXtreme Programming and Flexible Processes in Software Engineering, pages 71-76, 2002. Alghero, Sardinia, Italy.
Jilles van Gurp and Jan Bosch. Design Erosion: Problems & Causes. Journal of Systems & Software, 61(2):105-119, 2001.
Roel Wuyts. Declarative Reasoning about the Structure of Object-Oriented Systems. In Proc. TOOLS USA'98, IEEE Computer Society Press, pages 112-124, 1998.
Roel Wuyts. A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation. PhD thesis, Departement Informatica, Vrije Universiteit Brussel, 2001.