An Efficient Management of Correlation Sets with Broadcast

Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi [2011].
In proceedings of COORDINATION 2011, pp. 80-94.


A fundamental aspect which affects the efficiency and the performance of Service-Oriented Architectures is the mechanism which allows to manage sessions and, in particular, to assign incoming messages to the correct sessions (also known as service instances). A relevant mechanism for solving this problem, first introduced by BPEL and then used in other languages (e.g. Jolie) is that one based on correlation sets. The BPEL and Jolie languages are currently allowing the use of messages whose target is only one session. However there are a lot of scenarios where being able to send a broadcast message to more than one session could be useful. Supporting such a broadcast primitive means to allow correlation sets which can contain unspecified variables and this can be very inefficient, since usual implementations in terms of hash tables cannot be used in this case.

In this paper we propose a data structure, based on radix trees and an algorithm for managing a correlation mechanism that supports the broadcast primitive, without degrading the performances.

Additional notes
Cite (BibTeX)
Click to expand
  author       = {Jacopo Mauro and
                  Maurizio Gabbrielli and
                  Claudio Guidi and
                  Fabrizio Montesi},
  editor       = {Wolfgang De Meuter and
                  Gruia{-}Catalin Roman},
  title        = {An Efficient Management of Correlation Sets with Broadcast},
  booktitle    = {Coordination Models and Languages - 13th International Conference,
                  {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6721},
  pages        = {80--94},
  publisher    = {Springer},
  year         = {2011},
  url          = {\_6},
  doi          = {10.1007/978-3-642-21464-6\_6},
  timestamp    = {Sat, 09 Apr 2022 12:35:33 +0200},
  biburl       = {},
  bibsource    = {dblp computer science bibliography,}

A PDF is available (possibly a preprint):

Download PDF