Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Abbildung 4.1.: Herunterbrechen der Gesamtspezifikation
Um das Modell handhabbar zu machen, müssen darüber hinaus auch Mechanismen zu dessen
Strukturierung vorgesehen werden. Dies betrifft insbesondere die Gliederung der Spezifikation
in unterschiedliche Detaillierungsgrade und die Organisation der oben beschriebenen Aspekte.
Auch diese Informationen umfasst das Metamodell, durch das erstmalig eine Vorlage für alle
möglichen Systemanforderungsspezifikationen definiert wird. Dieses Metamodell wird ergänzt
durch eine Reihe von Konsistenzbedingungen, die sicherstellen, dass die verschiedenen Aspekte
eines Systems zueinander widerspruchsfrei beschrieben werden.
Bei der Beschreibung der beiden übrigen Bestandteile, der Darstellung nicht-funktionaler Anforderungen
und der Nachverfolgbarkeit von Anforderungen aus externen, unveränderbaren Dokumenten
kann auf Grund der Heterogenität dieser Informationen oftmals nicht auf die Einbindung
als textliche Informationen verzichtet werden. In beiden Fällen müssen somit auch
textliche Informationen mit dem funktionalen Modell in Relation gebracht werden. Das Konzept
der modellbasierten Anforderungsspezifikation sieht daher Schnittstellen vor, die es einerseits
ermöglichen, textliche Informationen direkt in das Modell zu integrieren, sie gleichzeitig mit
externen Dokumenten konsistent zu halten und mit geeigneten Werkzeugen zu bearbeiten.
Zweiter wesentlicher Bestandteil dieser Arbeit ist die Spezifikation eines expliziten Prozessmodells
für die Erstellung von Anforderungsspezifikationen. Gemäß den Aussagen in Abschnitt
3.1.3 ist eine solche Prozessvorgabe nicht nur eine hilfreiche Zusatzdienstleistung, sondern elementarer,
methodischer Bestandteil. Dies gilt umso mehr, als bei potenziellen Erstellern von Anforderungsspezifikationen
durchaus Bedenken bestehen, dass sich durch die Anwendung neuer
Beschreibungsmittel und Methoden der Aufwand für die Erstellung der Anforderungsspezifikation
signifikant erhöht. Dieser Einwand ist berechtigt, denn der Übergang hin zu einer semiformalen
Anforderungsspezifikation führt aus zwei wesentlichen Gründen tatsächlich zu einem
zunächst höheren Aufwand:
• Das Erlernen und Beherrschen eines neuen Beschreibungsmittel erfordert einen gegenüber
21