Ruhroth, Thomas: Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen. 2011
Inhalt
- Einleitung
- Refactoring
- Refactorings für formale Methoden mit mehreren Sichten
- Ziel: Beweisbarkeit der Verhaltenserhaltung von Refactorings für mehrsichtige Modelle
- Ziel: Eine Sprache zur automatischen Durchführung von Refactorings
- Die Idee von
- Beweisbare Verhaltenserhaltung von Refactorings
- Überblick über diese Arbeit
- Sprachen
- CSP-OZ: Eine formale Methode mit mehreren Sichten
- Semantik in Modellen mit mehreren Sichten
- Formalisierung von mehrsichtigen Modellen
- Die Sprache CSP-OZ
- Refinement
- Bisimulation
- Refactorings
- Einfache und zusammengesetzte Refactorings
- Einsatz von Refactorings
- Refactoring und Restructuring
- Refactoring und Reengineering
- Themenfelder im Zusammenhang von Refactorings
- Beschreibung von Refactorings
- Bestehende Beschreibungssysteme
- Natürlichsprachliche Beschreibung
- Vor- und Nachbedingung nach Roberts
- OCL / OCL-Script / QVT
- Graphtransformationen
- JunGL
- AST-Rewriting - Eclipse
- Anforderungen an eine Beschreibungssprache für Refactorings
- Vergleich der Ansätze
- Refactoring-Beschreibungssprache
- [FWHILE] – Aufbau von am Beispiel eines Refactorings von FWHILE
- Das Refactoring-Repository
- Ableitung von für eine BNF-Sprache
- Wohlgeformtheit eines -Refactorings
- Semantik von
- Soundness
- Syntax-Korrektheit des Refactorings
- Wohlgeformtheit des Refactorings
- Aufruf-Soundness bei zusammengesetzten Refactorings
- Vergleich mit Ansätzen anderer Refactoring-Sprachen
- Technische Umsetzung
- Refaso Model Cockpit - RMC
- Erstellung von Refactorings
- Die Modellierung eines Refactorings
- Designvorgaben bei der Modellierung von Refactorings
- Teilrefactorings sind Refactorings
- Einführung und Eliminierung von Redundanzen
- Kleine allgemeine Analysefunktionen
- Analysefunktionen für CSP-OZ
- Korrektheit von Refactorings
- Das Problem der Korrektheit von Refactorings
- Die Verhaltenserhaltung
- Verhaltenserhaltung bei Programmen
- Verhaltenserhaltung bei Modellen
- Der Beobachtungspunkt
- Verhaltenserhaltungsbegriffe und Beobachtungspunkte für CSP-OZ
- Beweisbar korrekte Refactorings einer Sicht
- Refactorings mehrerer Sichten am Bsp. CSP-OZ
- Diskussion und Ausblick
- Mathematische Grundlagen
- Analysefunktionen
- CSP-OZ: Grammatik