Ein Modell Fur Das A-Priori-Integritatsmanagement in Multicast-Gruppen

Wir entwerfen ein Modell fur das Uberwachen und Durchsetzen von Integritatsbedingungen fur Multicast-Gruppen, das wir als Erganzung zu existierenden Multicast-Gruppenverwaltungsprotokollen verstehen, die Defizite hinsichtlich des Integritatsmanagements aufweisen. In unserem Modell kontrolliert ein zentraler Gruppenmanager die Mitgliedschaft mehrerer Gruppen, die sich nur zu bestimmten Zeitpunkten, so genannten Zustandsubergangen, gemass seinen Entscheidungen andert. Jeder Beitritt und jeder Austritt bedarf der Genehmigung des Managers, der Gruppenoperationsanfragen der Anwender wahrend einer Sammelphase entgegennimmt, um dann wahrend der nachfolgenden Evaluationsphase mit globaler Kenntnis eine optimale Entscheidung uber deren Gewahrung oder Ablehnung zu treffen. Um zu dieser Entscheidung zu gelangen, pruft er a priori, welche Kombinationen aus Gewahrungs- und Ablehnungsentscheidungen sowohl allen fur seine Gruppen aufgestellten Zustands-Integritatsbedingungen als auch allen Zustandsubergangs-Integritatsbedingungen genugen; unter den integritatswahrenden Kombinationen wahlt er gemass Anwendungspraferenzen eine aus, die er zum Zeitpunkt des folgenden Zustandsubergangs umsetzt. Unser Modell vermeidet Integritatsverletzungen a priori, statt sie a posteriori zu erkennen und zu beheben. Wir geben erganzend zum Modell ein Protokoll fur den Nachrichtenaustausch zwischen Manager und Anwendern an und berichten uber Experimente mit einer Implementierung unseres Ansatzes.