Iterative Development of Consistency-Preserving Rule-Based Refactorings

A model refactoring does not only need to ensure behavior preservation. First of all, it needs to ensure that specific well-formedness constraints of the modeling language under consideration are preserved (consistency preservation). The consistency of model refactorings can be ensured by runtime checks. However, this means that not the developer of the refactorings but the user is confronted with the problem.

[1]  Reiko Heckel,et al.  Consistency-Preserving Model Evolution through Transformations , 2002, UML.

[2]  Mirko Seifert,et al.  Closing the Gap between Modelling and Java , 2009, SLE.

[3]  Tom Mens,et al.  Design preservation over subsequent releases of a software product: a case study of Baan ERP: Practice Articles , 2005 .

[4]  Tom Mens,et al.  Refactoring of UML models using AGG , 2008 .

[5]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[6]  Jose Meseguer,et al.  Formal Specification and Verification of Java Refactorings , 2006, 2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation.

[7]  Gabriele Taentzer,et al.  EMF Model Refactoring based on Graph Transformation Concepts , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[8]  Rogério de Lemos,et al.  Architecting dependable systems , 2003, J. Syst. Softw..

[9]  Reiko Heckel,et al.  Compositional Verification of Architectural Refactorings , 2009, WADS.

[10]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[11]  Leen Lambers,et al.  Certifying rule-based models using graph transformation , 2009 .

[12]  Holger Giese,et al.  Symbolic invariant verification for systems with dynamic structural adaptation , 2006, ICSE.

[13]  Martin Fowler,et al.  Refactoring - Improving the Design of Existing Code , 1999, Addison Wesley object technology series.

[14]  Holger Giese,et al.  Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques , 2009 .

[15]  Tom Mens,et al.  Analysing refactoring dependencies using graph transformation , 2007, Software & Systems Modeling.

[16]  Hartmut Ehrig,et al.  Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts , 2008, ICGT.

[17]  Ragnhild Van Der Straeten,et al.  Model refactorings through rule-based inconsistency resolution , 2006, SAC.

[18]  Tom Mens,et al.  Formalizing refactorings with graph transformations , 2005, J. Softw. Maintenance Res. Pract..

[19]  Jean-Marc Jézéquel,et al.  ≪UML≫ 2002 — The Unified Modeling Language , 2002, Lecture Notes in Computer Science.

[20]  Hartmut Ehrig,et al.  Parallelism and Concurrency Theorems for Rules with Nested Application Conditions , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..