This paper presents a formal framework of a distributed computation based on a publish/subscribe system. The framework abstracts the system through two delays, namely, the subscription/unsubscription delay and the diffusion delay. This abstraction allows one to model concurrent execution of publication and subscription operations without waiting for the stability of the system state and to define a Liveness property which gives the conditions for the presence of a notification event in the global history of the system. This formal framework allows us to analytically define a measure of the effectiveness of a publish/subscribe system, which reflects the percentage of notifications guaranteed by the system to subscribers. A simulation study confirms the validity of the analytical measurements. Copyright (c) 2005 John Wiley & Sons, Ltd.

On the modelling of publish/subscribe communication systems / Baldoni, Roberto; Beraldi, Roberto; TUCCI PIERGIOVANNI, Sara; Virgillito, Antonino. - In: CONCURRENCY AND COMPUTATION. - ISSN 1532-0626. - 17:12(2005), pp. 1471-1495. ((Intervento presentato al convegno 11th Magdeburg Seminar on Waters in Central and Eastern Europe tenutosi a Leipzig, GERMANY nel OCT 18-22, 2004 [10.1002/cpe.879].

On the modelling of publish/subscribe communication systems

BALDONI, Roberto;BERALDI, ROBERTO;TUCCI PIERGIOVANNI, sara;VIRGILLITO, Antonino
2005

Abstract

This paper presents a formal framework of a distributed computation based on a publish/subscribe system. The framework abstracts the system through two delays, namely, the subscription/unsubscription delay and the diffusion delay. This abstraction allows one to model concurrent execution of publication and subscription operations without waiting for the stability of the system state and to define a Liveness property which gives the conditions for the presence of a notification event in the global history of the system. This formal framework allows us to analytically define a measure of the effectiveness of a publish/subscribe system, which reflects the percentage of notifications guaranteed by the system to subscribers. A simulation study confirms the validity of the analytical measurements. Copyright (c) 2005 John Wiley & Sons, Ltd.
File allegati a questo prodotto
File Dimensione Formato  
VE_2005_11573-234780.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 290.48 kB
Formato Adobe PDF
290.48 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11573/234780
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 26
  • ???jsp.display-item.citation.isi??? 18
social impact