VDM Transaktionen zwischen Web Services

Für verteilte Transkationen in lose gekoppelten Systemen eignen sich Web Services sehr gut. Zurzeit existieren drei Modelle bzw. Spezifikationen für die Umsetzung: WS-Coordination, BTP und WS-CAF. Da Ziel dieser Arbeit bestand darin, herauszufinden, ob die Umsetzung der WS-Coordination Spezifikation in Verbindung mit WS-Atomic-Transaction mit BPEL möglich ist. BPEL (Business Process Execution Language) dient der Beschreibung von Geschäftsprozessen, deren einzelne Aktivitäten durch Web Services implementiert sind. Der Autor gibt einführend einen Überblick über erforderliche Grundlagen von Transaktionen sowie der beiden Web Service Standards WS-Coordination und WS-Atomic-Transaction. Darauf aufbauend geht der Autor im Detail auf die Umsetzung ein. Um einen Praxisbezug herzustellen, wurde bei der Umsetzung der Transaktionsteilnehmer ein Buchungssystem modelliert. Das Buch richtet sich an IT-Experten und interessierte Studenten. Es enthält den vollständigen BPEL-Quellcode.