Modeling event-driven service-oriented systems using the palladio component model
Proceedings of the 1st international workshop on Quality of service-oriented software systems
Stochastic Analysis of Hierarchical Publish/Subscribe Systems
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Modeling and optimizing content-based publish/subscribe systems
Proceedings of the 6th Middleware Doctoral Symposium
Content-Based Routing in Networks with Time-Fluctuating Request Rates
NET-COOP '09 Proceedings of the 3rd Euro-NF Conference on Network Control and Optimization
Impact of complex filters on the message throughput of the activeMQ JMS server
ITC20'07 Proceedings of the 20th international teletraffic conference on Managing traffic performance in converged networks
Proceedings of the 7th international conference on Autonomic computing
Stochastic performance analysis and capacity planning of publish/subscribe systems
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Hi-index | 0.00 |
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 © 2005 John Wiley & Sons, Ltd.