Choreographies as Objects

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

Abstract

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.

Links

arxiv.org

Additional notes

None

Cite (BibTeX)

Click to expand

@article{DBLP:journals/corr/abs-2005-09520,
  author       = {Saverio Giallorenzo and
                  Fabrizio Montesi and
                  Marco Peressotti},
  title        = {Choreographies as Objects},
  journal      = {CoRR},
  volume       = {abs/2005.09520},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.09520},
  eprinttype    = {arXiv},
  eprint       = {2005.09520},
  timestamp    = {Fri, 22 May 2020 16:21:28 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-09520.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

A PDF is available (possibly a preprint):