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.
Soodeh Hosseini Mohammad Abdollahi Azgomi
Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran
国际会议
南京
英文
125-128
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）