Regelbasierte zuverlässige Nachrichtenverarbeitung in Systemen mit mobilen Teilnehmern
Zusammenfassung der Projektergebnisse
Das Ziel des Projekts war die Bereitstellung von effizienten und zuverlässigen Primitiven zur Nachrichtenverwaltung, mit denen Geschäftsprozesse mit mobilen und nicht mobilen Teilnehmern realisiert werden können. Die Grundlage bildet hierbei eine in ein Datenbankmanagementsystem integrierte Nachrichtenverwaltungskomponente, die neben einer effizienten Datenverarbeitung sicherstellt, dass keine geschäftskritischen Daten verloren gehen. Im Rahmen des Projekts wurde ein neuartiges, nachrichtenbasiertes Programmiermodell entwickelt. Dieses Modell beschreibt die Geschäftslogik eines an einem verteilten Prozess beteiligten Knotens mit Hilfe von Warteschlangen und deklarativen Regeln. Eine Regel gibt hierbei an, wie auf eingehende Nachrichten zu reagieren ist, und erzeugt gegebenenfalls neue Nachrichten. Der Einsatz einer deklarativen Sprache zur Spezifikation der Anwendungslogik bietet neben einer schnellen und effizienten Implementierung von verteilten Anwendungen auch ein hohes Optimierungspotential und ermöglicht zudem eine deutlich effizientere Ausführung als durch konventionelle Systeme möglich ist. Diese Laufzeitgewinne konnten mit Hilfe des erstellten Ausführungssystems verifiziert werden. Neben einer effizienten Abbildung der Geschäftslogik erlaubt die im Rahmen des Projekts entwickelte Regelsprache die Implementierung von generischen und anwendungsspezifischen Transaktions- und Replikationsprotokollen. Hierdurch können sowohl Anwendungslogik als auch zusätzliche, kontextbezogene Protokolle mit Hilfe eines einheitlichen, deklarativen Mechanismus spezifiziert werden. Die erzielten Forschungsergebnisse bieten sich als Grundlage für weiterführende Forschungstätigkeiten im Bereich der verteilten Geschäftsprozesse an. Durch den Einsatz der entworfenen, deklarativen Regelsprache zur Anwendungsspezifikation ergeben sich neue, vielversprechende Möglichkeiten, insbesondere mit Hinblick auf die automatisierte Analyse und Optimierung von Geschäftsprozessimplementierungen. Ein besonders vielversprechender Ansatz ist hierbei die Verbesserung der Skalierbarkeit von verteilten Geschäftsprozessen durch deren Verteilung auf mehrere, parallel arbeitende Ausführungssysteme. Die Regelsprache erlaubt hierbei die Analyse von Datenabhängigkeiten und des Datenflusses einer Anwendung, die die Grundlage für deren Verteilung bilden. Auf Basis dieser Analysen ist eine weitestgehende Automatisierung des Verteilungsprozesses denkbar, was die Entwicklung von hochskalierbaren Anwendungen - im Vergleich zum aktuellen Stand der Technik - signifikant vereinfachen würde.
Projektbezogene Publikationen (Auswahl)
- Declarative development of distributed applications. In Proceedings SIGMOD2007 Ph.D. Workshop on Innovative Database Research 2007 (IDAR2007), 2007
Alexander Böhm
- Declarative development of distributed applications. Technical report, University of Mannheim, 2007
Alexander Böhm
- Demaq: A foundation for declarative XML message processing. In CIDR, pages 33-43, 2007
Alexander Böhm, Carl-Christian Kanne, and Guido Moerkotte
- The Demaq system: declarative development of distributed applications. In SIGMOD Conference, pages 1311-1314, 2008
Alexander Böhm, Erich Marth, and Carl-Christian Kanne
- Processes are data: A programming model for distributed applications. In Tenth International Conference on Web Information Systems Engineering (WISE), Poznan, Poland, 2009
Alexander Böhm and Carl-Christian Kanne
