Multi-laterale Kollaborationen basieren auf Interaktionen zwischen mehreren Parteien. Im Besonderen trägt jede Partei unterschiedliche Funktionen zu der Ausführung der Kollaboration bei. Die Koordination dieser unterschiedlichen Funktionen ist auch unter dem Begriff Workflow bekannt. Falls die Koordination eine erfolgreiche Interaktion zwischen den verschiedenen Parteien gewährleistet, dann bezeichnet man einen Workflow als konsistent, d.h. eine blockadenfreie Ausführung des Workflows ist garantiert. Heutzutage wird eine multi-laterale Kollaboration durch Personen etabliert, die sich treffen, die Kollaboration besprechen, den Workflow spezifizieren (dieser wird auch als globaler Workflow bezeichnet) und ihn auf Konsistenz hin prüfen. Nach dieser Prüfung wird der globale Workflow in Teile - so genannte lokale Workflows - aufgeteilt, die dann von den einzelnen Parteien ausgeführt werden. Dieser top-down Ansatz gewährleistet, dass die Kombination der lokalen Workflows die Konsistenz des resultierenden globalen Workflows garantiert. Wendet man einen bottom-up Ansatz an, d.h. leitet man globale Eigenschaften von lokalen ab, so ist dies wesentlich schwerer zu bewerkstelligen, wie man aus dem Bereich der verteilten Systeme her kennt. Daher ist die Herausforderung einen Ansatz bereitzustellen, der globale Konsistenz auf Basis lokaler Konsistenzentscheidungen herleiten kann. Aktuelle Technologien wie z.B. Service Orientierte Architekturen (SOA) unterstützen dezentralisierte und lose gekoppelte Anwendungen. Im Besonderen machen Parteien ihre bereitgestellten Funktionen als Services verfügbar, die unabhängig von einem zentralisierten Koordinator gewartet und kontrolliert werden. Weiterhin unterstützt die lose Kopplung das späte Binden von Services, d.h. die Partei, die einen Service anfordert, kann zur Laufzeit entscheiden, welchen Serviceanbieter sie für eine spezielle Kollaboration nutzten will. Auf Grund dieser dezentralen Entscheidungen und des fehlenden zentralen Koordinators ist der top-down Ansatz im Umfeld von SOA nicht anwendbar und erfordert daher den bottom-up Ansatz. Die Entscheidung über die Konsistenz eines globalen Workflows in einer dezentralisierten Weise erfordert zusätzliche lokale Informationen, die durch die vorgestellte Methode verfügbar werden. Im Besonderen werden Informationen über Parameter-Einschränkungen und Ausführungssequenzen zwischen lokalen Parteien ausgetauscht und durch die Kollaboration propagiert. Es wird gezeigt, dass die propagierten Informationen ausreichen, um globale Workflow Konsistenz in einer dezentralisierten Weise herzuleiten. Weiterhin wird die Methode auf Web Services, als eine konkrete Technologie basierend auf SOA, angewendet und die Methode prototypisch implementiert. Die Implementierung dient als "Proof of Concept" und illustriert die Anwendbarkeit des vorgeschlagenen Ansatzes. Der Ansatz kann auf synchrone und asynchrone Kommunikationsmodelle angewendet werden. Es existieren Ansätze für asynchrone Kommunikationsmodelle, wogegen es keine Ansätze für synchrone Kommunikationsmodelle gibt. Daher wird ein formales Model für synchrone Kommunikation eingeführt, das als annotierte Finite State Automata bezeichnet wird. Dieses Model erweitert Standard Finite State Automata durch die Annotation von Zuständen mit logischen Ausdrücken, um zwischen optionalen und verbindlichen Automaten Übergängen zu unterscheiden. Ein optionaler Übergang kann durch eine Partei veranschaulicht werden, die anbietet eine von zwei Nachrichten zu empfangen, wobei die interagierende Partei eine dieser Optionen nutzen kann. Optionale Übergänge repräsentieren dabei Standard Automaten Semantik. Ein verbindlicher Übergang kann durch eine Partei veranschaulicht werden, die eine von zwei Nachrichten senden kann, wobei die empfangende Partei verpflichtet ist beide Optionen zu unterstützen. Unterstützt die empfangende Partei nur eine Option, so führt dies zu einer Blockade falls der Sender die falsche Option sendet. Das formale Model der annotierten Fintie State Automata wird eingeführt und sowohl bilaterale als auch multi-laterale Kollaborationen werden diskutiert. Insbesondere wird die Propagierung von Parameter-Einschränkungen und Ausführungssequenzen definiert und die Konstruktion des zugehörigen globalen Workflows eingeführt. Im asynchronen Kommunikationsmodel werden Workflow Nets als formales Model verwendet, da auf einen existierenden Ansatz zur Konstruktion des globalen Workflows zurückgegriffen werden kann. Da jedoch die Workflow Net Operationen eine hohe Komplexität haben, die eine erfolgreiche Anwendung der Propagierung verhindert, werden die Ausführungssequenzen der Workflow Nets als annotierte Finite State Automata repräsentiert. Auf diese Weise ist eine homogene Handhabung des synchronen und asynchronen Kommunikationsmodels in einer formalen Repräsentation, d.h. annotierte Finite State Automata, möglich. Basierend auf diesem gemeinsamen formalen Model wird gezeigt, dass die Propagierung von Parameter-Einschränkungen und Ausführungssequenzen in einem Fixpunkt resultiert, in dem eine weitere Propagierung keine Änderungen an lokalen Workflows herbeiführt. Basierend auf diesem Fixpunkt wird gezeigt, dass die lokale Konsistenzentscheidung aller Parteien die Konsistenz des korrespondierenden globalen Workflows garantiert. Daher kann die Konsistenzentscheidung nun auf dem Konsens der lokalen Konsistenzentscheidung der einzelnen Parteien erfolgen. Der Ansatz wurde innerhalb des Web Services Umgebung implementiert. Insbesondere wurde eine partielle Abbildung der Web Service Prozessspezifikationssprache (Business Process Execution Language for Web Services (BPEL)) auf annotatierete Finite State Automata realisiert. Basierend auf dieser Abbildung wurde ein erweitertes Service Discovery entwickelt, das Prozessbeschreibungen (lokale Workflows) in BPEL Notation berücksichtigt. Weiterhin wurden die relevanten Operationen für annotierte Finite State Automata implementiert. Letztlich wurde eine dezentralisierte Erstellung von Kollaborationen eingeführt, um die Anwendbarkeit des vorgestellten Ansatzes zu zeigen.