eprintid: 1519
rev_number: 8
eprint_status: archive
userid: 243
dir: disk0/00/00/15/19
datestamp: 2016-05-22 14:15:42
lastmod: 2016-05-22 14:16:14
status_changed: 2016-05-22 14:15:42
type: conference_item
metadata_visibility: show
creators_name: Dao, Thi Huong
creators_name: Le, Hong Anh
creators_name: Truong, Ninh Thuan
creators_id: thuantn@vnu.edu.vn
title: An approach to verifying consistency of software refactoring process
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: In software development, refactoring is a process that improves the system internal structure without altering its external behavior. Applying design patterns, which is the common reusable solution of several kinds of problems, is widely adopted in refactoring. And, the combination of refactoring and design patterns has established a revolution approach in software re-engineering. It, however, raises a challenged issue that the software model may not preserve some cer- tain behavioral properties. In this paper, we propose a new approach to checking the consistency between original model and its evolution (the model after applying design pattern). To this aim, we employ Unified Modeling Language (UML) to modeling system, and Object Constraint Language (OCL) to represent the system requirement. In additional, we construct a set of consistent rule which uses to checking whether the system can preserve its behavior or not. We also illus- trate the checking approach in a case study of Adaptive Road Traffic Control System.
date: 2016-03-26
date_type: published
full_text_status: public
pres_type: poster
event_title: SW4PHD: the 2016 Scientific Workshop for PhD Students
event_location: Hanoi
event_dates: 26 March 2016
event_type: workshop
refereed: TRUE
citation:   Dao, Thi Huong and Le, Hong Anh and Truong, Ninh Thuan  (2016) An approach to verifying consistency of software refactoring process.  In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1519/1/conference_poster_5.pdf