# Model Refactoring

Program-Transformation.Org: The Program Transformation Wiki

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 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

Hans Schippers, Pieter Van Gorp and Dirk Janssens. *Leveraging UML Profiles to generate Plugins from Visual Model Transformations.* Software Evolution through Transformations (SETra). Satellite of the 2nd Intl. Conference on Graph Transformation (ICGT), Rome (Italy), October 2, 2004. Online PDF.

Ragnhild Van Der Straeten, Viviane Jonckers, 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:

TomMens,

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