Choreographies as Objects

05/19/2020
by   Saverio Giallorenzo, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 10

page 17

03/15/2019

Automatically Generating Documentation for Lambda Expressions in Java

When lambda expressions were introduced to the Java programming language...
03/11/2022

Veracity: Declarative Multicore Programming with Commutativity

There is an ongoing effort to provide programming abstractions that ease...
05/04/2022

Low-Code Programming Models

Traditionally, computer programming has been the prerogative of professi...
02/14/2020

Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala

Multitier programming languages reduce the complexity of developing dist...
12/28/2020

Verifying C11-Style Weak Memory Libraries

Deductive verification of concurrent programs under weak memory has thus...
02/19/2019

Composing bidirectional programs monadically (with appendices)

Software frequently converts data from one representation to another and...
04/29/2021

The Behavioral Diversity of Java JSON Libraries

JSON is a popular file and data format that is precisely specified by th...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.