On language processors and software maintenance

Más información sobre el libro

Softwarewartung kann durch deklarative Transformationswerkzeuge unterstützt werden, die aus Sprachbeschreibungen und zusätzlicher Information generiert werden. Sprachprozessoren stehen im Mittelpunkt dieser Betrachtungen, während die Evolution einer Softwaresprache eine zentrale Rolle spielt. Diese Evolution erfordert die Wartung der Sprachbeschreibung sowie Anpassungen an der in dieser Sprache geschriebenen Software und den Transformationsprogrammen. Die Co-Evolution wird an speziellen Teilproblemen untersucht, um aus Änderungen der Sprachbeschreibung notwendige Anpassungen der anderen Artefakte automatisch abzuleiten. Beispielsweise wird an der Evolution von Datenformaten demonstriert, wie diese die erforderlichen Anpassungen der Dokumente induzieren. Für attributierte Grammatiken wird eine semantisch erhaltende Transformation erarbeitet, die die semantischen Regeln während der Entfernung der Linksrekursion anpasst. Bei Quelle-zu-Quelle-Transformationen wird gezeigt, wie deklarative Transformationsregeln auf abstrakten Syntaxbäumen automatisch angepasst werden können. Zudem werden Basisoperatoren für die Erweiterung von Programmen identifiziert, um diszipliniertes Metaprogrammieren zu fördern. Ein Modell für Aspektorientierung in Prolog unterstützt die Modularisierung von Sprachbeschreibungen und Sprachprozessoren. Schließlich bildet die Definition eines objekt-orientierten Modells zur Kombination von Transformationen die Gr