Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen