Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2011.18D.1.023

A Composition Check of Composite Refactorings Not Having a Specification of Precondition  

Kim, Kyung-Min (동의과학대학 컴퓨터정보계열)
Jang, Pil-Jae (태광엠티씨(주) R&D팀)
Kim, Tae-Gong (인제대학교 컴퓨터공학부)
Publication Information
The KIPS Transactions:PartD / v.18D, no.1, 2011 , pp. 23-34 More about this Journal
Abstract
Refactoring has been actively used in recent software developments. Many studies on the processing of more large scaled composite refactorings have been conducted through the composition of elementary refactorings. It is important to verify the possibility of composition before the refactoring is performed, because the composite refactorings are processed to the sequence of composed elementary refactorings. In conventional studies, they verify the possibility of composition using the precondition of composite refactorings which are computed from the precondition and postcondition of elementary refactorings. They can not verify the possibility of composition in case which composite refactorings do not have a specification of precondition. Thus, we plan to verify the possibility of composition by using the elementary refactorings only without any additional definitions of the preconditions of composite refactorings. To achieve this goal, we proposes a specification method of elementary refactorings and a method for the composition check of refactorings. Then, we develop a prototype tool based on these methods. In addition, we verify the efficiency of our methods through case studies.
Keywords
Elementary Refactoring; Composite Refactoring; Composition Check; Precondition; Postcondition; OCL; EMF;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 MoDisco, "MoDisco Tool - Java Abstract Syntax Discovery Tool," http://www.eclipse.org/gmt/modisco/toolBox/JavaAbstract Syntax/
2 W3C, "XML Schema 1.1," http://www.w3.org/XML/Schema#dev
3 Eclipse Consortium, "Eclipse Version 3.4.1," http://www.eclipse.org
4 Eclipse, "Eclipse Modeling Framework Project,"http://www.eclipse.org/modeling/emf- /?project=emf
5 Eclipse, "OCL Library," http://www.cs.kent.ac.uk/projects/ocl/tools.html#documentation
6 박지훈, "자바 디자인 패턴과 리팩토링," 한빛미디어(주), 2003.
7 M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts, "Refactoring: Improving the Design of Existing Code," Addison Wesley, 1999.
8 T. Mens, T. Tourwe, "A Survey of Software Refactoring," IEEE Transactions on Software Engineering, Vol. XX, No. Y, Month 2004.   DOI   ScienceOn
9 William F. Opdyke, "Refactoring Object-Oriented Frameworks," Ph.D thesis, University of Illinois at Urbana-Champaign, 1992.
10 Martin Kuhlemann, Don Batory, Christian Kastner, "Safe Composition of Refactoring Feature Modules," Technical Report, School of Computer Science, University of Magdeburg, 2009.
11 Ethan Hadar, Irit Hadar, "The Composition Refactoring Triangle(CRT) Practical Toolkit: From Spaghetti to Lasagna," ACM OOPSLA'06, 2006   DOI
12 Mel O Cinneide, "Automated Application of Design Patterns : A Refactoring Approach," Ph.D thesis, University of Dublin, Trinity College, October 2000.
13 김태웅, 김태공, "OCL을 이용한 자동화된 코드스멜 탐지와 리팩토링," 한국정보처리학회 논문지 D, Vol. 15-D, No.06, pp.0825-0840, 2008. 12.   과학기술학회마을   DOI   ScienceOn
14 Javier Perez, Yania Crespo, Berthold Hoffmann, Tom Mens, "A case study to evaluate the suitability of graph transformation tools for program refactoring," International Journal on Software Tools for Technology Transfer(STTT), Vol. 12, No. 3-4, pp.183-199, 2010. 7.   DOI
15 Donald Bradley Roberts, "Practical Analysis for Refactoring," Ph.D thesis, University of Illinois at Urbana-Champaign, 1999.
16 G. Kniesel, H. Koch, "Static Composition of Refactorings," In R. Lammel, editor, Science in Computer Programming; Special issue on program transformation. Elsevier Science, 2004.
17 O. M. G., "UML 2.0 OCL specification," OMG Adopted Specification(ptc/03-10-14), 2003.
18 J. Warmer, A. Kleppe, "The Object Constraint Language Second Edition: getting your models ready for MDA," Addison Wesley, 2003.