Compositional Choreographies

Fabrizio Montesi, Nobuko Yoshida [2013].
In proceedings of CONCUR 2013, pp. 425-439.

Abstract

We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typability and deadlock-freedom. The usability of our framework is demonstrated by modelling an industrial use case implemented in a tool for Web Services, Jolie.

Links

doi.org

Additional notes

None

Cite (BibTeX)

Click to expand

@inproceedings{DBLP:conf/concur/MontesiY13,
  author       = {Fabrizio Montesi and
                  Nobuko Yoshida},
  editor       = {Pedro R. D'Argenio and
                  Hern{\'{a}}n C. Melgratti},
  title        = {Compositional Choreographies},
  booktitle    = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
                  {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8052},
  pages        = {425--439},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40184-8\_30},
  doi          = {10.1007/978-3-642-40184-8\_30},
  timestamp    = {Fri, 27 Mar 2020 08:51:56 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/MontesiY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

A PDF is available (possibly a preprint):

Some data from DBLP and Crossref.