Dieses Modul behandelt Konzepte und Mechanismen zur Modellierung und Kontrolle von Abläufen in komplexen verteilten Informationssystemen. Zunächst wird dafür das etablierte Modell der Transaktionen zur Koordinierung verteilter Aktivitäten näher erläutert. Dessen praktische Handhabung wird u. a. anhand von konkret in heutigen verteilten und Informationssystemen eingesetzten Kontrollkomponenten verdeutlicht. Ausgehend von dem Modell der ACID-Transaktionen werden dann weitere Ablaufmodelle wie z. B. geschachtelte Transaktionen und transaktionale Workflow-Modelle vorgestellt. Einen weiteren Schwerpunkt bildet die Betrachtung relevanter Aspekte der Transaktionskontrolle in verteilten und heterogenen Umgebungen. Dies umfasst u. a. die Ablaufkontrolle in föderierten verteilten (Informations-)Systemen, die Kontrolle verteilter Transaktionssysteme durch TP-Monitore sowie die Unterstützung von Transaktionen in E-Business-Plattformen und Web- bzw. Grid-Umgebungen. Darauf aufbauend werden Verfahren zur Modellierung, Beschreibung und Spezifikation von betrieblichen Abläufen („Geschäftsprozesse“) dargestellt und diskutiert. Ausgehend von den Erfordernissen moderner betrieblicher (d. h. vor allem verteilter und kooperativer) Organisationsformen werden dazu aktuelle Modellierungstechniken für (verteilte) Geschäftsprozesse dargestellt und entsprechende Standards dazu – vor allem aus dem Bereiche des Service-oriented Computing – vorgestellt.

Aktuelle Informationen finden sich auf der zugehörigen Homepage: http://vsis-www.informatik.uni-hamburg.de/teaching/ws-11.12/tawf/