direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

KBS Publikationen

A Formalisation of Message-Complete Publish/Subscribe Systems
Zitatschlüssel TaMu:2004:MCPubSub
Autor Andreas Tanner and Gero Mühl
Jahr 2004
ISSN 1436-9915
Adresse Amsterdam, the Netherlands
Nummer Rote Reihe 2004/11
Monat oct
Notiz Brief Announcement given at the 18th Annual Conference on Distributed Computing (DISC 2004)
Institution Berlin University of Technology
Zusammenfassung The publish/subscribe paradigm enables the asynchronous exchange of notifications in distributed systems. In the past, research in this area has concentrated on informal analyses and systems offering best-effort functionality. However with the increasing popularity of publish/subscribe, the need for a formal treatment and for system giving more stringent guarantees rises. We use propositional linear temporal logic to derive a requirement specification for publish/subscribe systems guaranteeing message complete- ness. In a message-complete publish/subscribe system, the system eventually acknowledges subscriptions and guarantees the delivery of notifications matching acknowledged subscriptions. After deriving the requirement specification which consists of a safety and a live- ness property, we describe a possible implementation of message-complete publish/subscribe systems using a system specification based on fair transition systems. The implementation is realized in a modular way us- ing a system not guaranteeing message-completeness. This way, message-completeness is kept orthogonal to the routing algorithms which are used to route notifications from producers to interested consumers.
Link zur Publikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008