Model Refactoring
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
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 (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