Semantische Kohärenz in der Softwareentwicklung

Die Entwicklung von Software ist ein kreativer Prozess. Dieser hinterlässt von der ersten informellen textuellen Beschreibung bis zum fertigen, ausführbaren Softwareprodukt Artefakte. Softwareentwicklung wird in dieser Arbeit als eine Folge von Transformationen aufgefasst, durch die abstrakte, vergröbernde Artefakte schrittweise in konkretere, detailliertere Artefakte transformiert werden. Die Arbeit liefert ein Modell zur Unterstüzung dieses Prozesses, das die Repräsentation von Zusammenhängen zwischen Artefakten mit unterschiedlichstem Formalisierungsgrad gestattet. Anhand eines durchgängigen Beispiels wird gezeigt, wie dieses Modell die Darstellung von Zusammenhängen zwischen heterogenen Inhalten verbessert, die Konsistenzsicherung erleichtert und Entwicklungsschritte zur Produktion neuer Inhalte unterstützt. Softwarekomponenten zur systematischen Unterstützung bei der Erzeugung und Nutzung derart integrierter Beschreibungen werden entworfen und prototypisch implementiert. Die Integration dieser Komponenten in bestehende Entwicklungsprozesse und in die dabei genutzten Werkzeuge wird dabei erläutert und anhand von Beispielen vorgeführt und bewertet.