Corpus ID: 218684746

Choreographies as Objects

@article{Giallorenzo2020ChoreographiesAO,
  title={Choreographies as Objects},
  author={S. Giallorenzo and F. Montesi and Marco Peressotti},
  journal={ArXiv},
  year={2020},
  volume={abs/2005.09520}
}
We present Choral, the first framework 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… Expand
3 Citations

Figures and Tables from this paper

Certifying Choreography Compilation
  • PDF
Formalising a Turing-Complete Choreographic Language in Coq
  • 1
  • PDF
A Survey of Multitier Programming
  • 1
  • PDF

References

SHOWING 1-10 OF 61 REFERENCES
Choreographies in Practice
  • 15
  • PDF
Dynamic Choreographies: Theory And Implementation
  • 28
  • PDF
Enforcing Availability in Failure-Aware Communicating Systems
  • 17
  • PDF
Deadlock-freedom-by-design: multiparty asynchronous global programming
  • 139
  • PDF
Towards the theoretical foundation of choreography
  • 171
  • Highly Influential
  • PDF
Deciding choreography realizability
  • 144
  • PDF
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates
  • 27
Nested Protocols in Session Types
  • 48
  • PDF
Type-Safe Distributed Programming with ML5
  • 69
  • PDF
...
1
2
3
4
5
...