Musterbasiertes Re-Engineering von Softwaresystemen / Matthias Meyer. 2009
Inhalt
- Einleitung
- Grundlagen
- Anti Patterns
- Refactoring
- Strukturbasierte Mustererkennung
- Repräsentation eines Softwaresystems
- Spezifikation von Strukturmustern
- Erkennungsprozess
- Bewertung der Ergebnisse
- Erweiterung um quantitative Merkmale
- Story Driven Modeling
- Formale Spezifikation von Programmtransformationen
- Anforderungen
- Transformationsdiagramme
- Formalisierung von Transformationsdiagrammen
- Vorbemerkungen
- Typisierte Graphen
- Transformationsdiagramme
- Transformation Pattern
- Zustand
- Anwendungsstellen
- Ausführung von Graphtransformationsregeln
- Ausführung von Transformation Pattern
- Ausführung von Transformationsdiagrammen
- Strukturmusterannotationen
- Synthese von Transformationsspezifikationen anhand von Quelltextbeispielen
- Verifikation von Transformationsspezifikationen
- Verifikationskriterien
- Überblick über das Verifikationsverfahren
- Bestimmung von Ausführungspfaden
- Verifikation für verbotene Graphmuster
- Bestimmung problematischer iterierter Anteile
- Berechnung initialer Regelsequenzen
- Kennzeichnung optionaler Elemente
- Vorwärtsüberprüfung und Vervollständigung
- Generierung negativer Anwendungsbedingungen
- Ergebnis
- Verifikation für zu erhaltende Graphmuster
- Bestimmung problematischer iterierter Anteile
- Berechnung initialer Regelsequenzen
- Kennzeichnung optionaler Elemente
- Generierung negativer Anwendungsbedingungen
- Ergebnis
- Aussage des Verfahrens
- Werkzeugunterstützung
- Benutzungsschnittstelle
- Spezifikation von Strukturmustern und Transformationsdiagrammen
- Verifikation von Transformationsdiagrammen
- Strukturbasierte Mustererkennung
- Ausführung von Transformationsdiagrammen
- Architektur
- Evaluierung
- Strukturmuster zur Erkennung von Schwachstellen
- Eingesetzte Metriken
- Verkapselung und Verteilung von Verantwortung
- Vererbungshierarchien
- Bedingte Anweisungen
- Objekterzeugung
- Falsche Verwendung von Entwurfsmustern
- Festlegung der Bewertungsfunktionen
- Ergebnisse der Schwachstellenanalyse
- Transformationsspezifikationen
- Verifikation
- Verwandte Arbeiten
- Erkennung von Schwachstellen
- Restrukturierung von Software
- Restrukturierung auf Basis von Entwurfsmustern
- Vollständige Formalisierung von Refactorings
- Refactoring formaler Modelle
- Exogene Modelltransformationen
- Transformationsspezifikation anhand von Beispielen
- Verifikation von Graphtransformationssystemen
- Zusammenfassung
- Zusammenfassung und Ausblick
- Literatur
- Verkleben von Graphmustern mit Pfaden
- Abbildungen
- Tabellen