Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

innerhalb einer Aktivität. Realisiert wird die Zeitabhängigkeit über die AcceptTimeEventAction
[OMG07-2, S. 238 ff.] (Zeitereignis-Aktion), die semantisch gesehen eine Spezialisierung der AcceptEventAction
durch spezielle at()- und after()-Trigger ist. Die Art des Triggers legt dabei fest,
ob eine bestimmte Zeitspanne (after()-Trigger) oder ein bestimmter Zeitpunkt (at()-Trigger) abgewartet
werden soll. Erreicht ein Token die Zeitereignis-Aktion, wird dessen Weitergabe an die
ausgehende Kante verzögert, bis der trigger aktiv wird. Syntaktisch existiert für die Zeitereignisse
eine eigene Notation in Form einer Sanduhr.
In Bild 5.16 wird die Verwendung einer Zeitereignis-Aktion gezeigt, bei der durch einen after()-
Trigger der weitere Ablauf des Kontrollflusses um 12 Sekunden verzögert wird.
act [Aktivitaett] Timing[ Timing]
Start Grundstellungszeit
after (12 Sek.)
Schliessend
Aktuelle Schrankenposition
{allocatedTo = Schrankenanlage }
target
: Strassenverkehrsteilnehmer
Abbildung 5.16.: Verwendung einer Zeitereignis-Aktion
Dieses Modellierungskonstrukt kann für Anforderungsmodelle immer dann eingesetzt werden,
wenn konkrete, zeitliche Vorgaben für Abläufe gemacht werden sollen, beispielsweise
• bei der Modellierung der zeitlichen Randbedingungen der PZB (Dauer zwischen Beeinflussung
und Bedienung der Wachsamkeitstaste, Dauer der Unterschreitung der Umschaltgeschwindigkeit)
• in Verbindung mit schleifenförmigen Kontrollflüssen kann eine periodische Abarbeitung
von bestimmten Aktionen modelliert werden, z.B. die in bestimmten Zeitabständen wiederkehrende
Übertragung von Zugpositionen an das RBC im ETCS-Level 2
Entscheidungskonstrukte
Weiteres wichtiges Element bei der Verhaltens-Modellierung sind Entscheidungskonstrukte, also
Verzweigungen im Kontrollfluss, bei denen anhand der Auswertung eines booleschen Ausdrucks
über den weiteren Ablauf entschieden wird. Aktivitätsdiagramme bieten zwei verschiedene Möglichkeiten
an, Verzweigungen zu modellieren:
• Über guards an entsprechenden Kontrollflüssen und decision nodes (Entscheidungsknoten)
• Über die Verwendung von conditional nodes (bedingten Knoten)
Die erste Methode erzeugt kompaktere und einfacher lesbare Diagramme, wenn wenige Verzweigungen
vorhanden sind, erkauft diesen Vorteil aber mit der Notwendigkeit von Ausdrücken
64