Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

in den request-Pin und zum anderen ein Objektfluss in den target-Pin, wodurch das Zielobjekt
definiert wird. Zu Beachten ist dabei, dass das Senden des Objekts genau dann einmal ausgelöst
wird, wenn der Kontrollfluss die SendObjectAction erreicht.
Soll jedoch im Modell dargestellt werden, dass bestimmte Informationen und Stoffflüsse kontinuierlich
ausgegeben werden, eignet sich dieses Vorgehen nicht. Für diesen Fall sollte eine
Modellierung über ObjectNodes (Objektknoten) oder ActivityParameters (Aktivitätsparameter)
realisiert werden. Zusammen mit der Möglichkeit, einzelnen Aktionen ein Architekturartefakt
zuzuweisen, kann damit implizit der Fluss von Objekten auf Ports (und damit weiter auf die
mit dem Port verbundene Entität) beschrieben werden. Folgendes Beispielbild 5.13 zeigt dieses
Modellierungsmuster unter Nutzung von Aktivitätsparametern.
Relevant ist hierbei der rechts erkennbare Aktivitätsparameter „Druckluft” vom Typ „Luft”. Dieser
erhält von der Aktivität „Luft kühlen” einen kontinuierlichen Strom von Druckluft-Objekten.
Die Verknüpfung zur Architektur und damit zum Ziel des Druckluftstroms erfolgt durch die Allokation
des Parameters „Druckluft” auf die Komponente „Anschluss_Druckseite”. Betrachtet man
die dem Beispiel zugrunde liegende Systemabgrenzung (siehe Bild 5.14), erkennt man, dass es
sich bei diesem Architekturartefakt um einen Objektflussport an der Systemgrenze handelt. Aus
beiden Diagrammen zusammen kann somit die Information entnommen werden, dass die in der
Aktivität erzeugte „Druckluft” über den Port „Anschluss_Druckseite” an den Akteur „Luftbehälter”
in einem kontinuierlichen Strom abgegeben wird.
bdd [Modell] Data[ Systemstruktur ]
Luftpresser
Umgebung
Luft
Luftansaugung : Luft
Anschluss_Druckseite : Luft
Stromanschluss : Strom
Luft
Luftbehaelter
Strom
Bordnetz
Abbildung 5.14.: Implizite Modellierung von Objektflüssen (Struktur)
Eine ähnliche Modellierung ist auch möglich, wenn anstelle der Aktivitätsparameter Objektknoten
verwendet werden. Diese Alternative bietet sich an, wenn eine Aktivität keine Parameter
besitzt. Auch hier kann durch eine Allokationsbeziehung des Objektknotens auf ein entsprechendes
Strukturartefakt (Objektflussport, Block) die Ausgabe eines Objektstroms dargestellt
werden.
Beispiele für die Anwendung dieses Modellierungsmusters im Bahnbereich sind:
62