Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

5.1.5.2. Konsistenz der Akteure
Die im Modell abgebildete Menge an Akteuren muss in allen Sichten konsistent verwendet werden.
Ist A = {A 1 ,A 2 ,...,A n } die Menge der Akteure im Anforderungsmodell muss für die
Mengen der in den einzelnen Sichten benutzten Akteure
gelten
• A Systemfunktionssicht in den Diagrammen der Systemfunktionssicht (als Artefakte für externe
Akteure und Systeme)
• A Systemabgrenzungssicht in den Diagrammen der Systemabgrenzungssicht (als Artefakte für
externe Akteure und Systeme)
• A Szenariensicht in den Diagrammen der Szenariensicht (als Lebenslinien für externe Akteure
und Systeme)
A Systemfunktionssicht = A Systemabgrenzungssicht = A Szenariensicht = A (5.2)
Für die Akteure in den Verhaltensdiagrammen (als Ziele der SendSignalActions) A Verhalten gilt
abweichend
A Verhalten ⊆ A (5.3)
da nur für die ausgehenden Signale Akteure als Parameter benötigt werden. Die Menge der
verwendeten Akteure in den Verhaltensdiagrammen ist daher immer kleiner, maximal gleich
der Menge an Akteuren in den anderen Sichten. Für Akteure muss weiterhin gelten, dass jeder
Akteur mindestens zu einem Anwendungsfall in der Systemfunktionssicht (5.1.4.2) eine
Assoziation aufweisen muss. Wäre dies nicht der Fall, hätte der Akteur keine Beziehung zu den
Systemfunktionen und könnte entfallen. Dieser Sachverhalt wird im Struktur-Metamodell durch
eine Abhängigkeit zwischen Akteuren, Anwendungsfällen und den sie verbindenden Assoziationen
dargestellt (Bild 5.25). Jeder Akteur ist demnach mindestens über eine Assoziation mit
mindestens einem Anwendungsfall verknüpft.
bdd [Paket] Konsistenzen[ Akteur_Systemfunktion_Konsistenz ]
Akteur
1
1..*
Assoziation Akteur-Anwendungsfall
1..*
1
Anwendungsfall
Abbildung 5.25.: Abhängigkeit zwischen Akteuren und Anwendungsfällen
5.1.5.3. Konsistenz der Informationsflüsse
Die modellierten Informationsflüsse zwischen System und Umgebung werden in der Systemabgrenzungssicht
und in der Systemfunktionssicht verwendet. In beiden Sichten muss die gleiche
81