TY  - THES
A3  - Wehrheim, Heike
A3  - Becker, Steffen
AB  - In der Softwareentwicklung sollen Code und Modelle wartbar sein. Refactorings sind ein bewährtes Hilfsmittel der Codeentwicklung, um die innere Qualität von Code zu verbessern. Refactorings sind Änderungen am Code, wobei das sichtbare Verhalten unverändert bleibt. Diese Verbesserungen sind auch für formale Modelle erstrebenswert. Modelle sind im Gegensatz zu Programmen meist nicht ausführbar, daher ist es notwendig die verwendeten Refactoringtechniken anzupassen. Beispielsweise muss eine brauchbare Definition der Verhaltenserhaltung gefunden werden, da ein Modell nicht ausführbar ist. Häufig werden mehrere Sichten in Modellen eingesetzt, um verschiedene Aspekte eines Modells abzubilden. Um mehrere Sichten unterstützen zu können, müssen bestehende Techniken weiter angepasst werden.Ziel dieser Arbeit ist die Darstellung von mehrsichtigen Refactorings und die Sicherstellung der Verhaltenserhaltung der Refactorings für formale Modelle. Es wird die Sprachfamilie ReL (Refactoring Language) genutzt, um Refactorings von einer einfachen imperativen Programmiersprache (FWHILE) und einer integrierten formalen Methode (CSP-OZ) zu beschreiben. ReL ermöglicht durch seine Struktur, dass die Verhaltenserhaltung direkt bewiesen werden kann, ohne auf eine andere Darstellung zurückgreifen zu müssen. Für die Beschreibung wird die Sprachfamilie ReL genutzt, die Refactorings anhand des Codezustandes vor und nach dem Refactoring beschreibt. Dies wird durch Templates beschrieben, deren Subtemplates Refactorings mehrsichtiger Modelle unterstützen. Die Struktur von ReL erlaubt sowohl die Ausführung eines Refactorings in einer Entwicklungsumgebung als auch die formale Analyse.
AU  - Ruhroth, Thomas
DA  - 2011
DP  - Universität Paderborn
LA  - ger
N1  - Tag der Verteidigung: 16.06.2011
N1  - Paderborn, Univ., Diss., 2011
PB  - Veröffentlichungen der Universität
PY  - 2011
T2  - Institut für Informatik
TI  - Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-8971
Y2  - 2024-12-10T07:31:29
ER  -