Model refactoring is the equivalent of ProgramRefactoring at model level. Instead of refactoring programs, models are being refactored.

Model refactoring is a special kind of [[ModelTransformation][model transformation]].  A model refactoring is supposed to preserve the behavior of the model being transformed. Of course, this requires a formal (unambiguous) definition of the behavior of a model.  By using a transformation language with a formal operational semantics, one can proove that in some cases the refactoring preserves certain behavioral properties of the model.  Suchs proofs are based on the precondition, postcondition and invariant of the implementation.

THIS PAGE NEEDS TO BE EXTENDED!

----
----+++Model refactoring papers

Jing Zhang, Yuehua Lin, and Jeff Gray, _Generic and Domain-Specific Model Refactoring using a Model Transformation Engine_, in Model-driven Software Development, (Sami Beydeda, Matthias Book, and Volker Gruhn, eds.), Springer, ISBN: 3-540-25613-X, 2005, Chapter 9, pp. 199-218, 2005.

Hans Schippers, Pieter Van Gorp and Dirk Janssens. _Leveraging UML Profiles to generate Plugins from Visual Model Transformations._ Software Evolution through Transformations ([[http://www.segravis.org/Events/SETra04 SETra]]). Satellite of the 2nd Intl. Conference on Graph Transformation ([[http://icgt2004.dsi.uniroma1.it/ ICGT]]), Rome (Italy), October 2, 2004.  Online [[http://www.lore.ua.ac.be/refactoringProject/publications/LeveragingUMLProfilesToGeneratePluginsFromVisualModelTransformations.pdf PDF]].

Ragnhild Van Der Straeten, Viviane Jonckers, [[TomMens][Tom Mens]]. _Supporting Model Refactorings through Behaviour Inheritance Consistencies_. Proc. Int'l Conf. UML 2004, LNCS 3273, pp. 305-319, Springer-Verlag, 2004

Alexandre Correa, Claudia Werner. _Applying Refactoring Techniques to UML/OCL Models_. Proc. Int'l Conf. UML 2004, LNCS 3273, pp. 173-187, Springer-Verlag, 2004

Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer. _Towards automating source-consistent UML refactorings_. Proc. Int'l Conf. UML 2003, Springer-Verlag, 2003

Marko Boger, Thorsten Sturm, Per Fragemann. _Refactoring Browser for UML_. Proc. 3rd Int'l Conf. on eXtreme Programming and Flexible Processes in Software Engineering, pp. 77-81, 2002

Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel. _Refactoring UML Models_. Proc. Int'l Conf. UML 2001 - The Unified Modeling Language: Modeling Languages, Concepts, and Tools. LNCS 2185, pages 134-148, Springer-Verlag, 2001

-----
CategoryTransformationParadigm | CategorySoftwareEvolution | Contributors: Main.TomMens, Main.PieterVanGorp 

-- Main.TomMens - 26 Oct 2004
-- Main.PieterVanGorp - 12 Nov 2004