Use-Cases

Es ergeben sich im wesentlichen die folgenden moeglichen Eingaben im laufenden Betrieb:

1. Anforderung einer Strecke durch den Fahrdiensleiter. Hier ergeben sich die folgenden moeglichen Kommunikationsfolgen:
   1. Der FDL fordert eine Fahrt von b1 nach b2 an: request(b_1,b_2). Da die Strecke frei ist (hier werden dann vom Programm die Bedingungen abgefragt), antwortet dieses mit accept. Danach fordert der FDL mittels setup die Reservierung der Strecke an. Diese verlaeuft erfolgreich, also antwortet das System mit setup.
   2. Die request-, accept- und setup-Nachricht werden wie oben gesendet. Allerdings tritt bei Reservierung der Strecke ein Fehler auf (z.B. eine kaputte Weiche, ZBE oder ein kaputter Strecke-Frei-Melder), also antwortet das System mit alert.
   3. Die request- und accept-Nachricht werden gesendet. Der FDL storniert die Bereitstellung der Strecke mit cancel.
   4. Die request-Nachricht wird gesendet. Da die Strecke nicht frei ist, antwortet dieses mit reject.

Gleichzeitig zu diesen Nachrichten koennen parallel auch Rueckmeldungen von Weichen, ZBEs und Strecke-Frei-Meldern kommen, ausserdem Nachrichten zur Streckenreservierung.