eprintid: 2655
rev_number: 7
eprint_status: archive
userid: 252
dir: disk0/00/00/26/55
datestamp: 2017-11-16 04:24:10
lastmod: 2017-11-16 04:24:10
status_changed: 2017-11-16 04:24:10
type: conference_item
metadata_visibility: show
creators_name: Dao, Thi Huong
creators_name: Trinh, Thanh Binh
creators_name: Truong, Ninh Thuan
creators_id: huongdt.di12@vnu.edu.vn
creators_id: binhtt@dhhp.edu.vn
creators_id: thuantn@vnu.edu.vn
title: A Tool Support for Checking Consistency in Model Refactoring
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: 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.
date: 2017-10
date_type: published
full_text_status: none
pres_type: paper
event_title: KSE: the 2017 International Conference on Knowledge and Systems Engineering
event_location: Hue, Vietnam
event_dates: 2017
event_type: conference
refereed: TRUE
citation:   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.