UML Model Refactoring with Emphasis on Behavior Preservation

Model refactoring is the process of transformation of model, which changes its internal structure for improving the qualitative features. Model refactoring should preserve the behavior of the model. Therefore, it is required to use a method to direct the process of model refactoring. It is also needed to use a formal method for accurate and unambiguous description of the model and its behavior. In this paper, we have focused on behavior preservation in refactoring UML diagrams. For this purpose, we have introduced control-flow diagram (CFD), which directs the process of model refactoring. We have also used refinement object-oriented language (ROOL), to prove that the refactoring technique we have used will preserve the behavior of models.