loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03)
Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach
Guadalajara, Mexico
January 15-January 17
ISBN: 0-7695-1929-6
ASCII Text
x 
 
R. Baldoni, M. Contenti, S. Tucci Piergiovanni, A. Virgillito, "Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 304, Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/WORDS.2003.1218097,
author = {R. Baldoni and M. Contenti and S. Tucci Piergiovanni and A. Virgillito},
title = {Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach},
journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on},
volume = {0},
year = {2003},
issn = {1530-1443},
pages = {304},
doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1218097},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
TI - Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach
SN - 1530-1443
SP
EP
A1 - R. Baldoni,
A1 - M. Contenti,
A1 - S. Tucci Piergiovanni,
A1 - A. Virgillito,
PY - 2003
KW - null
VL - 0
JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
ER -
 
R. Baldoni, Universita di Roma "La Sapienza"
M. Contenti, Universita di Roma "La Sapienza"
S. Tucci Piergiovanni, Universita di Roma "La Sapienza"
A. Virgillito, Universita di Roma "La Sapienza"
Publish/subscribe is a widespread communication paradigm for asynchronous messaging that naturally fits the decoupled nature of distributed systems, allowing simple and effective development of distributed applications. In this paper we propose a framework which includes a model of a publish/subscribe computation and a few properties on the computation, namely completeness and minimality, that capture, from an application viewpoint, the expected behavior of a publish/subscribe system with respect to the semantic of the notification of the information. Finally, we provide also a centralized implementation of publish/subscribe system which produces minimal and complete computations.
Citation:
R. Baldoni, M. Contenti, S. Tucci Piergiovanni, A. Virgillito, "Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach," words, pp.304, Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.