Mitglied im:

Anmelden

News

22.04.2015
Mit großer Freude präsentiere ich Ihnen den Jahresbericht des...
16.07.2014
Promotionsvortrag von Dipl.-Wirt.-Inf. Björn Schindler am 21.07.2014 um 13:...
10.06.2014

Promotionsvortrag von M. Sc. Stefan Ruehl am 16.06.2014 um 10:00 Uhr

Björn Schindler

Konsistenzsicherung von Anforderungen und Architekturen

Die Anforderungserhebung und der Architekturentwurf eines Softwareentwicklungsprojekts sind für die erfolgreiche Entwicklung hochqualitativer Softwaresysteme von besonderer Wichtigkeit. Das Ziel des Entwurfs ist die Entwicklung einer Architektur, die die gestellten Anforderungen an das Softwaresystem erfüllt. Anforderungen und Architekturen werden in der Realität zumeist iterativ und evolutionär entwickelt, da beispielsweise viele Anforderungen erst während des Architekturentwurfs aufgedeckt werden. Ein fundamentales Problem hierbei ist die Entstehung von Inkonsistenzen, die zu einer fehlerhaften Berücksichtigung von Anforderungen und folglich zu unerfüllten Anforderungen führen. Aktuelle modellbasierte Ansätze erlauben eine eindeutige und formale Beschreibung von Anforderungen und Architekturen. Eine Automatisierung der Konsistenzsicherung dieser Modelle würde das Problem der Entstehung von Inkonsistenzen lösen.

Szenarienbasierte Verhaltensbeschreibungen wie beispielsweise Sequenzdiagramme sind für die Beschreibung von Anforderungen geeignet. Für den Architekturentwurf sind zustandsbasierte Verhaltensbeschreibungen wie beispielsweise höhere Petrinetze geeignet. Eine Konsistenzsicherung derartiger Modelle ist problematisch, da zwischen den Verhaltensbeschreibungen eine Verfeinerungsbeziehung besteht und häufig eine Turing-vollständige Sprache für die Beschreibung der Architektur erforderlich ist.

Die in dieser Arbeit vorgestellte Lösung dieses Problems im Kontext der Konsistenzsicherung von Anforderungen und Architekturen besteht darin, eine entscheidbare und effiziente Konsistenzüberprüfung durch Syntaxeinschränkungen der Verhaltensmodelle zu ermöglichen. Durch die Einschränkung der Syntax wird die Ausdrucksmächtigkeit der Modelle nicht verringert. Vielmehr werden die Variationen zur Beschreibung eines Sachverhalts eingeschränkt und Regeln für den Zusammenhang der szenarienbasierten und zustandsbasierten Modelle festgelegt.

Institution

TU Clausthal

Jahr

2014

Monat

August

isbn

978-3-8439-1703-2

Stichwörter

Dissertation

Verlag

Dr. Hut Verlag

Bibtex file

Download this publication as bibtex file

Forschungsvideos

16.07.2013
Scribbler: From Coll...
Scribbler is a paint program which supports only basic operations like...