Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

den weiteren Ablauf definiert. Das Iterationskonzept ist nicht von vornherein explizit festgelegt,
vielmehr muss je nach konkretem Projekt über ein passendes Vorgehen entschieden werden. Im
Folgenden wird jedoch ein Verfahren vorgestellt, dass sich bei der Ableitung von Systemfunktionen
als praktikabel herausgestellt hat. Es basiert auf der schrittweisen Verfeinerung zunächst
sehr grober Anwendungsfälle durch Aktivitätsdiagramme.
Ausgangspunkt ist der denkbar abstrakteste Anwendungsfall, der alle Funktionen repräsentiert,
die das System während seines Lebenszyklus ausführen wird: der Anwendungsfall „Lebenszyklusfunktionen
ausführen”. Zu diesem Anwendungsfall wird im ersten Schritt ein Aktivitätsdiagramm
entworfen, das die auf oberster Ebene differenzierbaren Aktionen des Systems umfasst.
Üblicherweise sind dies Aktivitäten zur Inbetriebnahme, zur Abwicklung von Regelbetrieb und
zum Verhalten in Störungsfällen sowie zur Ausserbetriebnahme des Systems. Jede dieser Aktivitäten
wird anschließend in einen neuen Anwendungsfall überführt, der über eine dependency-
Relation mit dem übergeordneten Anwendungsfall verknüpft wird. In der nächsten Iteration
werden dann für alle soeben abgeleiteten Anwendungsfälle wiederum Aktivitätsdiagramme erstellt,
durch die eine weitere Detaillierung der Anwendungsfälle erzielt wird.
Bild 6.12 zeigt dieses Vorgehen. Für den globalen Anwendungsfall wird ein Aktivitätsdiagramm
erstellt. Die einzelnen Aktivitäten innerhalb dieses Diagramms bilden dann die Anwendungsfälle
der folgenden Stufe. Dieses Vorgehen wird so lange wiederholt, bis sich hinreichend feine
Anwendungsfälle herausgebildet haben. Es ergibt sich somit ein hierarchischer Baum von zunehmend
detaillierten Anwendungsfällen, wobei die Blätter des Baumes durch die detailliertesten
Anwendungsfälle gebildet werden. Zusätzlich erzeugt dieses Verfahren einen Anwendungsfallbezogenen
Baum von Aktivitätsdiagrammen, der als Ausgangspunkt für die detaillierte Verhaltensspezifikation
in Phase P2 dienen kann (siehe Abschnitt 6.3.3 und 5.1.4.4.5).
Dieses Konzept der rekursiven Ableitung der Anwendungsfälle muss für die Abbildung im Prozessmodell
nun in einzelne, nacheinander ausführbare Iterationen transformiert werden. Das
geschieht durch eine entsprechende Verwendung des Subprozesses „S2 - Systemfunktionssicht
erstellen/überarbeiten”: Bei jeder Ausführung dieses Subprozesses wird ein Anwendungsfall aus
einem Aktivitätsdiagramm eines bereits bestehenden Anwendungsfalls neu erstellt und im selben
Schritt dessen eigenes Aktivitätsdiagramm modelliert. Dadurch läst sich die Verfeinerung
der Anwendungsfälle bis zum Erreichen der gewünschten Granularität prinzipiell beliebig fortsetzen.
Weitere Details zum Subprozess S2 finden sich in Abschnitt 6.4.2.
Die Tabelle 6.3 fasst zusammen, welche Kriterien für die Iterationen und Abbruchkriterien der
Phase 1 gelten.
Aspekt
Iteration
Iterationsendkriterium
Phasenendkriterium
Die Iteration erfolgt über die einzelnen Systemfunktionen.
In jeder Iteration wird dabei eine neue Systemfunktion
abgeleitet und diese gleichzeitig durch
Aktivitätsdiagramme genauer spezifiziert.
Ausreichende Granularität der Menge aller
Systemfunktionen.
Siehe Iterationsendkriterium
Tabelle 6.3.: Prozesskriterien Phase 1
110