%A Thi Huong Dao
%A Thanh Binh Trinh
%A Ninh Thuan Truong
%T A Tool Support for Checking Consistency in Model Refactoring
%X Refactoring is a technique that transforms a software to new one in order to improve the internal structure without affect its external behaviors. Although its benefits, refactoring is not widely adopted in practice as it is attainable. One of the biggest challenges to refactoring has been the hapless lack of tool support that may be raised some issues such as tedious, time-consuming and error-prone. We present in this paper a tool called CVT (Consistency Validator Tool) that used to support to checking consistency in model refactoring. The CVT is composed of three essential functions which are well-formedness checking, translate OCL to FOL and behavioral consistency checking. We are most interested in OCL to FOL translation process that make use of Abstract Syntax Tree (AST) as an intermediate syntax. We have also carried out some experimental studies in order to evaluate the effectiveness of this tool.
%C Hue, Vietnam
%D 2017
%L SisLab2655