Choreographies as objects: programming multiparty protocols with Choral

Peressotti, M. (Underviser)

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg


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 correctly in choreographies.
Periode17. sep. 2020
Sted for afholdelse Polish Institute of Telecomunications, Polen
Grad af anerkendelseInternational