Formal Refactoring for UML Class Diagrams Export

@article{citeulike:3459314, abstract = {Refactoring UML models for evolution is usually carried out in an ad hoc way. These transformations can become an issue, since it is hard to ensure that the semantics of models is preserved. We provide a set of semantics-preserving transformations for UML class diagrams annotaded with OCL. Using the proposed transformations, software designers can safely define larger transformations and detect subtle problems when refactoring models. Semantics-preserving transformations can also be useful from design pattern introduction to MDA. We prove that our transformations are sound using a semantic model that is based on Alloy, which is a formal modeling language. Due to Alloy's ammenability to automatic analysis, our approach may additionally bring such analysis to class diagrams.}, author = {Massoni, T. and Gheyi, R. and Borba, P.}, citeulike-article-id = {3459314}, keywords = {class, diagrams, formal, refactoring, uml}, posted-at = {2008-10-29 04:00:33}, priority = {4}, title = {Formal Refactoring for UML Class Diagrams}, year = {2003} }

TY - JOUR ID - citeulike:3459314 L3 - citeulike-article-id:3459314 N2 - Refactoring UML models for evolution is usually carried out in an ad hoc way. These transformations can become an issue, since it is hard to ensure that the semantics of models is preserved. We provide a set of semantics-preserving transformations for UML class diagrams annotaded with OCL. Using the proposed transformations, software designers can safely define larger transformations and detect subtle problems when refactoring models. Semantics-preserving transformations can also be useful from design pattern introduction to MDA. We prove that our transformations are sound using a semantic model that is based on Alloy, which is a formal modeling language. Due to Alloy’s ammenability to automatic analysis, our approach may additionally bring such analysis to class diagrams. TI - Formal Refactoring for UML Class Diagrams KW - class KW - diagrams KW - formal KW - refactoring KW - uml AU - Massoni, T AU - Gheyi, R AU - Borba, P PY - 2003/// ER -