Einfluss von Änderungen auf Software-Modelle und Traces

Während ein Modell allgemeingültig als die Abstraktion eines realen Objekts definiert ist, bezieht sich der Begriff im Bereich der Softwareentwicklung auf deren Produkte. Tatsächlich, werden Modelle bei der Softwareentwicklung benutzt, um unterschiedliche Aspekte des glei-chen endgültigen Produkts zu beschreiben und dabei Funktion, Struktur, Verhalten oder Quellcode voneinander zu trennen. Obwohl diese Modelle unabhängig voneinander be- schrieben sind, existieren zwischen ihnen vielfältige Beziehungen. Die Veränderung eines Modells erzeugt häufig Inkonsistenzen in Modellen, welche entweder direkt oder indirekt durch solche Beziehungen verbunden sind. Traceability Beziehungen erfassen diese Abhän-gigkeiten explizit und unterstützen damit Entwickler im Umgang mit Veränderungen. Der un-zulängliche Umgang mit Änderungen wird allgemein als wesentlicher Grund für das Scheitern von Projekten angesehen. In Vorarbeiten des Antragstellers wurde ein neuartiges Verfahren für die lokale Pflege von Traceability nach Änderungen an verknüpften Artefakten entwickelt. Veränderungen beeinträchtigen aber nicht nur Traceability, sondern auch Elemente von abhängigen Modellen und erzeugen dadurch Inkonsistenzen. Das gastgebende Institut, geleitet durch Prof. Egyed, kann auf umfangreiche Erfahrungen im Bereich des Verstehens, der Erkennung und der Auflösung von Inkonsistenzen zwischen Modellen verweisen. Das Ziel des beantragten Vorhabens liegt in der Kombination der Arbeit des Antragstellers zum Thema Auswirkung von Modellveränderungen auf Traceability mit der Arbeit von Prof. Egyed zum Thema Auswirkung von Modellveränderungen auf andere Modelle. Dabei wird ein integrierter, ganzheitlicher Ansatz entstehen, welcher Traceability zum Schließen über Inkonsistenzen, verursacht durch Modellveränderungen, mit der Pflege von Traceability, unterstützt durch das Wissen über Inkonsistenzen, verbindet. Genauer fokussiert das beantragte Projekt insbesondere darauf, Veränderungen an abhängigen Software-Modellen zu verstehen (z.B. Anforderungs-, Entwurfs-, Test- und Implementierungsmodelle) und auf das Schließen darüber welchen Einfluss die erkannten Änderungen auf abhängige Modelle und die existierende Traceability haben. Dieses Vorhaben erfordert die Integration existierender Techniken im Bereich Änderungs- und Inkonsistenzerkennung, im Bereich der Traceability-Pflege und im Bereich der Änderungspropagierung. Eine prototypische Implementierung des Ansatzes ist angestrebt und die Evaluierung des Verfahrens wird mit Hilfe an der gastgeben-den Institution vorhandenen industriellen oder realitätsnahen Beispielen erfolgen. Es ist ge-plant Forschungsergebnisse in hochrangigen Zeitschriften und auf Tagungen zu veröffentli-chen.