Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

5.1.4.3. Szenariensicht
Wie in 5.1.4.2.2 dargelegt, werden die Anwendungsfälle durch einzelne Szenarien weiter detailliert.
In jedem einzelnen Szenario wird die Ausprägung des Anwendungsfalls unter einer
Menge an definierten Randbedingungen beschrieben. Ändert sich eine der Randbedingungen,
entsteht dadurch ein neues Szenario. Üblicherweise liegt beispielsweise für den Regelfall eines
Anwendungsfalls und für alle möglichen Störungsfälle jeweils ein Szenario im Anforderungsmodell
vor. Weitere Informationen zum Vorgehen bei der Szenarioerstellung finden sich in den
entsprechenden Abschnitten der Prozessbeschreibung (Details zur entsprechenden Phase siehe
Abschnitt 6.3.3.2).
Ziel der Szenariensicht ist eine Darstellung der Interaktionen zwischen dem SuB und den Akteuren
und damit eine Konkretisierung der Informationen aus der Systemfunktionssicht. Diese
enthält lediglich die Information, dass ein Akteur mit einer bestimmten Systemfunktion assoziiert
ist und mit dieser Informationen austauscht. Es fehlt jedoch eine Aussage, in welcher
Richtung, in welcher Reihenfolge und in welchem zeitlichen Ablauf in bestimmten Situationen
die einzelnen Informationen ausgetauscht werden, sprich, wie SuB und Umgebung interagieren.
Ein Szenario beschreibt diese fehlenden Aspekte und spezifiziert damit
• das Verhalten des SuB
• beispielhaft in einer bestimmten Situation
• in einer Teilmodell-bezogenen Blackbox-Sicht auf die Interaktion mit der Umgebung
Die UML stellt mit der Gruppe der Interaktionsdiagramme Beschreibungsmittel bereit, durch die
genau diese Aspekte beschrieben werden können. Die SysML enthält als Vereinfachung nur das
sequence diagram (Sequenzdiagramm), das für die Modellierung der Szenariensicht angewendet
wird.
Wie der SysML-Spezifikation entnommen werden kann, entspricht die Intention der Sequenzdiagramme
dabei recht genau den oben beschriebenen Anforderungen:
„The sequence diagram describes the flow of control between actors and systems
(blocks) or between parts of a system. This diagram represents the sending and
receiving of messages between the interacting entities called lifelines, where time
is represented along the vertical axis. The sequence diagrams can represent highly
complex interactions with special constructs to represent various types of control
logic, reference interactions on other sequence diagrams, and decomposition of lifelines
into their constituent parts.” [OMG07-1, S. 107]
Wie weiter unten jedoch noch gezeigt werden wird, sind die im letzten Satz angesprochenen
komplexen Kontrollkonstrukte eher kontraproduktiv für die Lesbarkeit und Übersichtlichkeit
und werden daher im Rahmen dieser Arbeit nicht verwendet.
Sequenzdiagramme an sich bestehen aus zwei wesentlichen Elementen: den life lines (Lebenslinien),
die je ein Objekt entlang einer Zeitachse repräsentieren und den messages (Nachrichten),
die zwischen den Objekten ausgetauscht werden. Zu beachten ist, dass die Zeitachse im
Sequenzdiagramm keine Skala besitzt. So ist zwar die Reihenfolge des Nachrichtenaustauschs
durch die Reihenfolge der Nachrichtenpfeile im Diagramm determiniert, jedoch lassen die Abstände
der einzelnen Nachrichten im Diagramm keinen Rückschluss auf den Echtzeitablauf der
Kommunikation zu. Sollen zeitliche Randbedingungen berücksichtigt werden, muss dies explizit
über timinig constraints (Zeitbedingungen) geschehen, über die eine Zeitspanne zwischen zwei
Nachrichten definiert wird. Je nach verwendetem Ausdruck ist die Vorgabe eines Minimal- oder
Maximalwertes oder einer exakten Zeitspanne möglich.
48