Quelltext der Seite Kontrollfluss (UML)

{{quellen}}
Ein '''Kontrollfluss''' (engl. ''ControlFlow'') ist ein Modellelement in der [[Unified Modeling Language]] (UML), einer Sprache für die [[Modellierung]] der Strukturen und des Verhaltens von [[Software]]- und anderen Systemen. 

Ein Kontrollfluss ist eine spezielle Aktivitätskante in einer [[Aktivität (UML)|Aktivität]]. Er verbindet [[Aktion (UML)|Aktion]]en und [[Kontrollknoten (UML)|Kontrollknoten]]. Über einen Kontrollfluss können im Gegensatz zu einem [[Objektfluss (UML)|Objektfluss]] nur Kontrolltoken fließen. Ein Kontrolltoken kann man sich dabei als eine Art Marke vorstellen, die eine Aktion einer anderen Aktion übergeben kann, um sie damit anzustoßen. Kontrolltoken transportieren keine weiteren Werte. Eine Aktion kann also mit Hilfe eines Kontrolltokens keine Ausgabewerte an eine Nachbaraktion, mit der sie über einen Kontrollfluss verbunden ist, übergeben.

Nicht jeder Kontrollfluss, der zwischen zwei Aktionen modelliert wurde, kann jederzeit Kontrolltoken übertragen. Ein Modellierer kann die „Leitfähigkeit“ eines Kontrollflusses auf zwei Arten steuern. Erstens kann er den Kontrollfluss mit einer so genannten ''Guard'' versehen, einem booleschen Ausdruck, der immer dann ausgewertet wird, wenn die produzierende Aktion dem Kontrollfluss ein Kontrolltoken anbietet. Das Kontrolltoken kann nur fließen, wenn dieser Ausdruck als wahr ausgewertet wird. Zweites kann der Kontrollfluss mit einem ''Gewicht'' (engl. ''weight'') versehen werden. Das Gewicht ist eine positive Zahl. Sie gibt an, wie viele Kontrolltoken ''im Minimum'' durch die produzierende Aktion angeboten werden müssen, bevor alle bereitstehenden Token ''gemeinsam'' über den Kontrollfluss fließen. Das Gewicht ist also ein Modellierungsparameter, der eine Art „Paketgröße“ für Kontrollflüsse festlegt.

== Notation ==
[[Datei:Activity 3.png|mini|links|hochkant=1.5|Kontrollfluss]] 
Ein Kontrollfluss wird als durchgezogene Linie mit offener Pfeilspitze dargestellt. Diese Notation entspricht der Notation für den [[Objektfluss (UML)|Objektfluss]]. Ein Kontrollfluss lässt sich aber meistens leicht von einem Objektfluss unterscheiden, weil er nie mit einem [[Objektknoten (UML)|Objektknoten]], zum Beispiel einem [[Pin (UML)|Pin]], an einem der beiden Enden verbunden ist. 
{{Absatz}}

[[Datei:Activity-4.png|mini|links|hochkant=1.5|Kontrollfluss mit Guard]] 
Die Abbildung links zeigt einen Kontrollfluss, der zusätzlich mit einer ''Guard'' (in eckigen Klammern) und einem Gewicht (in geschweiften Klammern) parametriert ist. Die beiden Parameter spezifizieren, dass nur dann Token über den Kontrollfluss fließen können, wenn nicht Mittagspause ist und wenn mindestens zwei Anfragen fertig formuliert wurden.
{{Absatz}}

== Siehe auch ==
* [[Kontrollfluss]]

[[Kategorie:UML-Spracheinheit]]