Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
483885 | Journal of King Saud University - Computer and Information Sciences | 2015 | 11 Pages |
Abstract
Refactoring is an important software development process involving the restructuring of a model to improve its internal qualities without changing its external behavior. In this paper, we propose a new approach of model refactoring based on the combined use of UML, B and CSP. UML models are described by class diagrams, OCL constraints, and state machine diagrams. We detail a refactoring pattern that allows for the introduction of an association relationship between two existing classes. We illustrate our proposal by giving a case study involving the SAAT (Software Architecture Analysis Tool) system.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Boulbaba Ben Ammar, Mohamed Tahar Bhiri,