BPEL ist eine Sprache, um Geschäftsprozesse zu definieren. Daten können durch geteilte Variablen behandelt werden. Die Datenflussanalyse kann in der BPEL angewendet werden, um Datenabhängigkeiten in einem Prozess zu bestimmen. In dieser Arbeit wird die Datenflussanalyse von [Bre08] durch das Programm realisiert und kann durch die komplette Semantik von WS-BPEL 2.0 unterstützt werden. In der Arbeit wird zuerst ein Überblick über Business Process Execution Language 2.0 gegeben. Wie die unterschiedlichen Aktivitäten zu den Variablenelemente geschrieben werden, wird detailliert vorgestellt. Dann wird die Datenflussanalyse erklärt, innerhalb werden einige wichtige Definitionen z. B. der writes Zustand, DPE usw. und die Funktion joinCondition vorgestellt. Schließlich wird die Implementierung der Algorithmen durch Klassendiagramme und Sequenzdiagramme dargestellt. Die Testprogramme werden eingegeben und die Fehler von den Algorithmen werden korrigiert.