UML Model Refactoring with Emphasis on Behavior Preservation

• Published in: 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering pp. 125 - 128
• Main Authors: Hosseini, S., Azgomi, M.A.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-06-2008
• Subjects: Behavior Preservation; Computational fluid dynamics; Concrete; Control-Flow Diagram; Formal languages; Model Refactoring; Object oriented modeling; Object oriented programming; ROOL; Software engineering; Software metrics; Software systems; Taxonomy; UML; Unified modeling language
• ISBN: 0769532497; 9780769532493
• DOI: 10.1109/TASE.2008.43

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.