Dieser Beitrag untersucht die Transformation einer Ereignisgesteuerten Prozesskette in diverse formalisierte Modellierungsmethoden. Die hierfür gewählten formalen Methoden sind Business Process Model and Notation, Unified Modeling Language, Subjektorientiertes Business Process Management und Petrinetze. Das Ziel dieser Arbeit ist es, die Vor- und Nachteile der Methoden zu definieren und eine geeignete Methode für sowohl Modellierung als auch Automatisierung von Geschäftsprozessen zu finden. Zunächst werden theoretische Grundlagen der Geschäftsprozessmodellierung dargestellt. Des Weiteren wird auf die gesonderten Charakteristika der vorgestellten Methoden eingegangen. Ein besonderer Fokus liegt hier auf dem Thema Syntax und Semantik der Methoden. Nachfolgend werden die Ergebnisse der Transformation sowie die Vorteile und Nachteile der gewählten Methoden kritisch betrachtet. Als Grundlage für den Vergleich wurde das Beispiel eines Bewerbungsverfahrens als Ereignisgesteuerte Prozesskette entwickelt
