Scalable formalization of publish/subscribe messaging scheme based on message brokers

  • Authors:

  • Qin Li;Huibiao Zhu;Jing Li;Jifeng He

  • Affiliations:

  • Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China

  • Venue:
  • WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Asynchronous communication is an important communication mechanism in service oriented architecture for developing dynamic large-scale applications among distributed services. Service systems which maintain large scalability and loose coupling properties need a convenient verification method for its asynchronous communication. Publish/Subscribe messaging scheme is a kind of asynchronous communication mechanisms supporting these properties. This paper provides a formal model for the publish/subscribe messaging scheme based on message brokers using π-calculus. Two patterns are provided to achieve the composition of message brokers, which generates a scalable system. Meanwhile, a complex publish/subscribe system can be simplified to an original one. From the original model reduced from the complex system, we can clearly analyze the behavior of the whole complex system and verify some properties of the publish/subscribe scheme. The composition and reduction can be applied to the service integration both within one enterprise and between enterprises.