Pattern-based model refactoring for the introduction association relationship

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 describe...

Full description

Bibliographic Details
Main Authors: Boulbaba Ben Ammar, Mohamed Tahar Bhiri
Format: Article
Language:English
Published: Elsevier 2015-04-01
Series:Journal of King Saud University: Computer and Information Sciences
Subjects:
Online Access:http://www.sciencedirect.com/science/article/pii/S1319157815000208