Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

act [Aktivit?t] Signal senden[ Regelablauf ]
: Triebfahrzeugfuehrer
BUe1
Aktuelles UeS-Signalbild
{allocatedTo = UeS }
target
Abbildung 5.12.: Beispiel für eine SendSignalAction
In diesem Beispiel wird das Signal „Aktuelles UeS-Signalbild” an das Umgebungsobjekt „Triebfahrzeugführer”
geschickt und zusätzlich mit „BÜ1” parametrisiert.
Auf das gesendete Signal lassen sich beliebige „Nutzlasten” - beispielsweise komplexe Datenstrukturen
zur Parametrisierung - aufsatteln, da der Typ signal zur Menge der classifier gehört
und daher mit beliebigen Parametern versehen werden kann. Konkrete Parameter können über
Value-Pins modelliert werden, wie z.B. die Zuweisung des Wertes BÜ1 in Bild 5.12.
Ein Spezialfall der Nachrichtenübermittlung ist die BroadcastSignalAction [OMG07-2, S. 244
ff.], die ebenfalls ein signal versendet. Allerdings wird das spezifizierte Signal nicht nur an
einen bestimmten Empfänger gesendet, sondern (implementierungsabhängig) gleichzeitig an
einige oder alle Objekte im Modell. Damit könnte beispielsweise die Übertragung eines LZB-
Nothaltauftrages an alle Züge in einem bestimmten Streckenbereich modelliert werden. Zur
Unterscheidung der SendSignalAction und der BroadcastSignalAction hat letztere die normale
Notation einer Aktion und den Stereotyp „BroadcastSignal”.
Auch für das Senden von Signalen lassen sich Konsistenzbedingungen formulieren, die bei der
Modellerstellung eingehalten werden müssen. So muss jedes zu verschickende Signal in der
Spezifikation der Systemabgrenzung, der Systemfunktionen und der Betriebsszenarien als ausgehendes
Kommunikationsfragment enthalten sein. Umgekehrt muss für jede in diesen Modellelementen
als ausgehend definierte Nachricht auch eine SendSignalAction existieren, die diese
Nachricht tatsächlich versendet.
Senden von Objekten
Sollen keine diskreten Signale, sondern komplexere Entitäten zwischen Systembestandteilen
oder mit der Umgebung ausgetauscht werden, bieten sich dabei zwei verschiedene Modellierungsstrategien
an. Die eine nutzt die vordefinierte SendObjectAction [OMG07-2, S. 404 ff.] und
eignet sich für das zeitdiskrete Versenden komplexer Objekte. Möchte man hingegen einen kontinuierlichen
Stoff- oder Informationsfluss darstellen, so muss auf eine implizite Modellierung
mit entsprechenden Objektknoten zurückgegriffen werden. Beide Konzepte werden im Folgenden
vorgestellt.
Die vordefinierte Aktion SendObjectAction erwartet zwei Parameter, die der Aktion über Eingabe-
Pins bereitgestellt werden müssen: Zum einen ein Objektfluss vom zum verschickenden Objekt
60