Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Inhaltselement SysML-Sprachelement Anmerkungen
Diagrammart
Beteiligte Entitäten
Nachrichten
Ausgetauschte Informationen
Kontrollstrukturen
Sequence Diagram
Life lines
Messages
Signals
Combined fragments
Da es sich um eine Blackboxsicht handelt,
existiert eine Lebenslinie für das SuB und je
eine Lebenslinie für jeden beteiligten Akteur.
Konsistenzkriterium: In jedem Szenario
dürfen nur diejenigen Akteure enthalten sein,
die eine Beziehung zum übergeordneten
Anwendungsfall besitzen.
Die Menge der Akteure muss der Menge der
Akteure in der Systemabgrenzungssicht
entsprechen; die Systemverhaltenssicht
muss mindestens eine Teilmenge der Akteure
enthalten (siehe 5.1.5.2).
Konsistenzkriterium: Die Menge der Signale
zwischen SuB und Akteuren muss der Menge
der Signale in der Systemabgrenzungssicht,
der Systemfunktionssicht, der
Systemverhaltenssicht und der
Subsystemsicht entsprechen (siehe 5.1.5.1)
Aus Gründen der Übersichtlichkeit und
Lesbarkeit und für die Verwendbarkeit als
Testfälle, sollten die Operatoren alternatives,
options und break nicht verwendet werden.
Generell sollte ein Sequenzdiagramm immer
nur genau ein Szenario repräsentieren
Tabelle 5.3.: Modellierungselemente für die Szenariensicht
Durch die Szenarien-Modellierung enthält das funktionale Modell Aussagen über
• die typischen Betriebssituationen, in denen die einzelnen Systemfunktionen angewendet
werden
• die Soll-Reihenfolge der Kommunikation zwischen SuB und seiner Umgebung in den einzelnen
betrieblichen Situationen und damit auch
• die Soll-Reaktion des SuB auf bestimmte Stimuli im Bezug auf die einzelnen Szenarien
Die semiformale Spezifikation der in der Szenariensicht enthaltenen Modell- und Sprachelemente
kann dem entsprechenden Ausschnitt aus dem Struktur-Metamodell in Bild 5.10 entnommen
werden.
51