A graphical approach to prove the semantic preservation of UML/OCL refactoring rules

Authors:
Thomas Baar;Slaviša Markovic
Affiliations:
École Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland;École Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland
Venue:
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Year:
2006

Citing 6
Cited 3

Refactoring UML Models

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Survey of Software Refactoring

IEEE Transactions on Software Engineering
Formalizing refactorings with graph transformations: Research Articles

Journal of Software Maintenance and Evolution: Research and Practice
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
An OCL semantics specified with QVT

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Refactoring OCL annotated UML class diagrams

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Semantics Preservation of Sequence Diagram Aspects

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Verifying semantic conformance of state machine-to-java code generators

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
An OCL semantics specified with QVT

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current software model and transforms it into a new model. Ideally, the application of a refactoring rule preserves the semantics of the model, on which it is applied. In this paper, we present a simple criterion and a proof technique for the semantic preservation of refactoring rules that are defined for UML class diagrams and OCL constraints. Our approach is based on a novel formalization of the OCL semantics in form of graph transformation rules. We illustrate our approach using the refactoring rule MoveAttribute.