Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Software Engineering 2008, Fachtagung des GI-Fachbereichs Softwaretechnik, 18. - 22.02.2008 in Muenchen P-121, 169-182 (2008).

Gesellschaft fuer Informatik, Bonn
2008


Editors

Korbinian Herrmann (ed.), Bernd Bruegge (ed.)


Copyright © Gesellschaft fuer Informatik, Bonn

Contents

Ein Rahmenwerk zur Konsistenzpruefung von Domaenenanforderungsspezifikationen in der Produktlinienentwicklung

Kim Lauenroth and Klaus Pohl

Abstract


Die Konsistenz einer Anforderungsspezifikation erfordert, dass die An- forderungen frei von Widersprüchen sind. In der Produktlinienentwicklung kann die Domänenanforderungsspezifikation aufgrund der Produktlinienvariabilität bewusst spezifizierte Widersprüche enthalten. Diese Widersprüche können zu fehlerhaften Spezifikationen führen, falls es möglich ist, die widersprüchlichen Anforderungen gemeinsam für ein Produkt zu wählen. Das Vorhandensein bewusst spezifizierter Widersprüche erschwert die Konsistenzprüfung innerhalb der Produktlinienentwicklung. Existierende Ansätze umgehen dieses Problem, indem Konsistenzprüfungen erst im Application Engineering nach der Ableitung von Produkten vorgenommen werden. Prüfungen im Application Engineering sind allerdings von Nachteil, da Fehler erst sehr spät im Entwicklungsprozess identifiziert werden und die Behebung der Fehler entsprechend aufwändig ist. In diesem Papier beschreiben wir ein formales Rahmenwerk als konzeptionellen Lösungsansatz für die Konsistenzprüfung von Domänenanforderungsspezifikationen. Die zentrale Idee des Rahmenwerks besteht in einer getrennten Dokumentation der Produktlinienvariabilität in einem eigenständigen und formalisierten Variabilitätsmodell. Dieses Modell wird in die Konsistenzprüfung der Domänenanforderungsspezifikationen einbezogen, um zu entscheiden, ob widersprüchliche Anforderungen gemeinsam gewählt werden können oder nicht.


Full Text: PDF

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-215-4


Last changed 04.10.2013 18:16:15