Object-Oriented Choreographic Programming release_2urvwpdrujag5hjse7grg7zfqi

by Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

Released as a article .

2022  

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.
In text/plain format

Archived Files and Locations

application/pdf  3.2 MB
file_o2jfz36h3rf2jjie2jaq6nlhbq
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2022-07-03
Version   v3
Language   en ?
arXiv  2005.09520v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f1caf0a4-e6ca-416c-8e72-6c39c284687b
API URL: JSON