Choreographies as Objects

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti [2020].
In CoRR abs/2005.09520.

We present Choral, the first language for programming choreographies (multiparty protocols) that builds on top of mainstream programming abstractions: in Choral, choreographies are objects. Given a choreography that defines interactions among some roles (Alice, Bob, etc.), an implementation for each role in the choreography is automatically generated by a compiler. These implementations are libraries in pure Java, which developers can modularly compose in their own programs to participate correctly in choreographies.
Additional notes
Cite (BibTeX)
Click to expand
  author       = {Saverio Giallorenzo and
                  Fabrizio Montesi and
                  Marco Peressotti},
  title        = {Choreographies as Objects},
  journal      = {CoRR},
  volume       = {abs/2005.09520},
  year         = {2020},
  url          = {},
  eprinttype    = {arXiv},
  eprint       = {2005.09520},
  timestamp    = {Fri, 22 May 2020 16:21:28 +0200},
  biburl       = {},
  bibsource    = {dblp computer science bibliography,}

A PDF is available (possibly a preprint):

Download PDF