direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications of KBS

A Formalisation of Message-Complete Publish/Subscribe Systems
Citation key TaMu:2004:MCPubSub
Author Andreas Tanner and Gero Mühl
Year 2004
ISSN 1436-9915
Address Amsterdam, the Netherlands
Number Rote Reihe 2004/11
Month oct
Note Brief Announcement given at the 18th Annual Conference on Distributed Computing (DISC 2004)
Institution Berlin University of Technology
Abstract 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 to publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe