 | Kreuzung (Junction) |
Dieses Werkzeug erzeugt eine neue Kreuzung.
Eine Kreuzung repräsentiert eine statische
Verbindungsstelle. Sie verbindet einzelne Transitionen,
die jeweils Überwachungsbedingungen und Aktionen tragen
können. Von einer Verbindungsstelle ausgehende
Transitionen dürfen jedoch nicht mit Ereignissen markiert
sein.
Kreuzungen dürfen nicht verwendet werden, um parallele
Ausführungspfade zusammenzuführen oder zu solchen zu verzweigen.
Dazu müssen Vereinigungen und
Gabelungen verwendet werden.
Zur Laufzeit wird die (aktivierte) ausgehende Transition der
Kreuzung im gleichen Schritt ausgeführt, in dem die
Kreuzung betreten wird. Sie ist also nicht über die Dauer
eines Schrittes hinaus aktiv. Existieren mehrere ausgehende
Transitionen, müssen diese sich durch Überwachungsbedingungen
wechselseitig ausschließen. Die Überwachungsbedingungen werden
ausgewertet, bevor mit dem Schalter einzelner Transitionen
begonnen wird.