Programming Services with Correlation Sets

Fabrizio Montesi, Marco Carbone [2011].
In proceedings of ICSOC 2011, pp. 125-141.

Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. We present a language for programming services based on correlation sets taking into account key aspects of service-oriented systems, such as distribution, loose coupling, open-endedness and integration. Distinguishing features of our approach are the notion of correlation aliases and an asynchronous communication model. Our language is equipped with formal syntax, semantics, and a typing system for ensuring desirable properties of programs with respect to correlation sets. We provide an implementation as an extension of the JOLIE language and apply it to a nontrivial real-world example of a fully-functional distributed user authentication system.
Additional notes
Cite (BibTeX)
Click to expand
  author       = {Fabrizio Montesi and
                  Marco Carbone},
  editor       = {Gerti Kappel and
                  Zakaria Maamar and
                  Hamid R. Motahari Nezhad},
  title        = {Programming Services with Correlation Sets},
  booktitle    = {Service-Oriented Computing - 9th International Conference, {ICSOC}
                  2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7084},
  pages        = {125--141},
  publisher    = {Springer},
  year         = {2011},
  url          = {\_9},
  doi          = {10.1007/978-3-642-25535-9\_9},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {},
  bibsource    = {dblp computer science bibliography,}

A PDF is available (possibly a preprint):

Download PDF