Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Auch die Sequenzdiagramme stellen somit eine Blackbox-Sicht auf das SuB des aktuellen Teilmodells
dar. Dargestellt wird nur die nach außen sichtbare Interaktion, nicht aber die inneren
Abläufe, die zur Erzielung dieser Interaktionen führen. Aus diesem Grund sollte auf die Verwendung
von so genannten Nachrichten an sich selbst verzichtet werden, die innerhalb des SuB
ablaufende Ereignisse beschreiben.
Für die Inhalte der ausgetauschten Nachrichten können auch hier wieder bestimmte Konsistenzregeln
abgeleitet werden: Alle Signale, die über Nachrichten zwischen den Objekten in einem
Sequenzdiagramm ausgetauscht werden, müssen auch in den Diagrammen der Systemabgrenzung
und der Anwendungsfalldefinition enthalten sein. Weiterhin muss gelten, dass die Menge
der unterschiedlichen Signale über alle Szenarien und alle Anwendungsfälle genau der Menge
der Nachrichten entspricht, die auch in der Systemabgrenzung abgebildet ist. Weiterhin muss
die Menge der Akteure in der Szenariensicht - die hier durch Lebenslinien repräsentiert werden
- der Menge der Akteure in den anderen betroffenen Sichten entsprechen. Details und eine
formale Spezifikation dieser Bedingungen finden sich in 5.1.5.
Wie weiter oben schon angedeutet, sind jedoch nicht alle Konstrukte für die Modellierung von
Sequenzdiagrammen im Rahmen dieser Arbeit sinnvoll einsetzbar. Dies betrifft insbesondere
die operators (Operatoren), durch die sich für bestimmte Teile von Abläufen Schleifen und Entscheidungskonstrukte
aufbauen lassen. Grundelement dafür sind die so genannten combined
fragments [OMG07-2, S. 465], bei denen es sich prinzipiell um Ausschnitte aus Sequenzdiagrammen
handelt, die als Block in andere Sequenzen integriert sind und dabei bestimmten
Operatoren unterworfen werden können. Es existieren nach [OMG07-2, S. 466 ff.] acht verschiedene
Operatoren:
• alternatives - es wird zwischen verschiedenen Teilabläufen ausgewählt
• option - ein Teil des Ablaufs ist optional und wird nur unter bestimmten Bedingungen
ausgeführt
• break - wie Option, nur dass danach das umgebende Szenario nicht weiter ausgeführt wird
• parallel - die in einzelnen combined fragments dargestellten Operationen laufen parallel
ab
• strict und weak sequencing - spezifizieren den Grad der Sequenzialität zwischen verschiedenen
combined fragments
• negative - beschreibt einen Ablauf der auf keinen Fall eintreten darf
• critical - Nachrichten innerhalb des combined fragment werden nicht durch Nachrichten
anderer Fragmente überlagert
Einige dieser Fragmente widersprechen dem hier beschriebene Prinzip der strengen Szenarioorientierung
und sollen deshalb nicht für die Modellierung verwendet werden. Dies betrifft insbesondere
die Operatoren alternatives, option und break. Diese Konstrukte ermöglichen verschiedene
Entscheidungspfade innerhalb eines Sequenzdiagramms. Da allerdings jedes Sequenzdiagramm
genau einen möglichen Ablauf innerhalb eines Anwendungsfalls beschreiben soll, ist es
sinnvoller für mehrere alternative Abläufe auch jeweils verschiedene Sequenzdiagramme zu erstellen.
Dies erhöht zwar die Anzahl an erforderlichen Diagrammen, aber ebenso die Lesbarkeit
und Verständlichkeit. Zudem werden die Sequenzdiagramme - wie oben angemerkt - auch als
Testfälle eingesetzt. Für diese Anwendung sind einzelne „flache” Szenarien ohne Entscheidungsstrukturen
erforderlich.
Die für die Szenario-Erstellung geeigneten Sprachelemente sind in Tabelle 5.3 aufgeführt.
50