VNU-UET Repository

A Tool Support for Checking Consistency in Model Refactoring

Dao, Thi Huong and Trinh, Thanh Binh and Truong, Ninh Thuan (2017) A Tool Support for Checking Consistency in Model Refactoring. In: KSE: the 2017 International Conference on Knowledge and Systems Engineering, 2017, Hue, Vietnam.

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Subjects: Information Technology (IT)
Divisions: Faculty of Information Technology (FIT)
Depositing User: Prof. Ninh Thuan Truong
Date Deposited: 16 Nov 2017 04:24
Last Modified: 16 Nov 2017 04:24

Actions (login required)

View Item View Item