Konsistenzprufung Von Domanenanforderungsspezifikationen

Die Entwicklung von Software-Produktlinien ist ein Ansatz, um eine Menge gleichartiger Produkte kostengunstig, qualitativ hochwertig und mit moglichst kurzer Entwicklungszeit entwickeln zu konnen. Dieses Ziel wird durch proaktive Wiederverwendung erreicht: Im Domain Engineering werden wiederverwendbare Artefakte geplant und entwickelt, die im Application Engineering zur Ableitung von Produkten genutzt werden konnen. Die proaktive Wiederverwendung wird durch die fruhzeitige Konsistenzprufung von Domanenanforderungsspezifikationen (DAS) unterstutzt, da Inkonsistenzen in der DAS zu fehlerhaften wiederverwendbaren Artefakten fuhren konnen. Wenn die Konsistenz der DAS nicht fruhzeitig im Domain Engineering gepruft wird, konnen Fehler in den wiederverwendbaren Artefakten erst vergleichsweise spat im Application Engineering entdeckt werden. Das spate Aufdecken und Beheben von Fehlern erzeugt damit zusatzliche Kosten. Im Unterschied zur Einzelsystementwicklung konnen, aufgrund der Wiederverwendung von Domanenartefakten, zahlreiche verschiedene Produkte einer Produktlinie von einem fehlerhaften Domanenartefakt betroffen sein. In dieser Arbeit wird ein generischer Ansatz zur automatisierten Konsistenzprufung von DAS vorgestellt und auf mehrere formale Sprachen zur Spezifikation von Domanenanforderungen angewendet. Im ersten Schritt des Ansatzes werden potenzielle Widerspruche in der DAS identifiziert. Im zweiten Schritt des Ansatzes wird unter Berucksichtigung des Variabilitatsmodells der Produktlinie gepruft, ob die im ersten Schritt identifizierten potenziellen Widerspruche zu einer Inkonsistenz fuhren konnen. Der vorgestellte Ansatz wird prototypisch realisiert und anhand von Beispielen validiert.