2026-07-27T05:06:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19465 2024-03-06T10:32:04Z ddc:004 open_access

Modular Choreographies: Bridging Alice and Bob Notation to Java Cruz-Filipe, Luís Madsen, Anne Montesi, Fabrizio Peressotti, Marco Choreographic Programming Choreographies Modularity We present Modular Choreographies, a new choreographic programming language that features modular functions. Modular Choreographies is aimed at simplicity: its communication abstraction follows the simple tradition from the "Alice and Bob" notation. We develop a compiler toolchain that translates choreographies into modular Java libraries, which developers can use to participate correctly in choreographies. The key novelty is to compile through the Choral language, which was previously proposed to define object-oriented choreographies: our toolchain compiles Modular Choreographies to Choral, and then leverages the existing Choral compiler to generate Java code. Our work is the first to bridge the simplicity of traditional choreographic programming languages with the requirement of generating modular libraries in a mainstream language (Java). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Luís Cruz-Filipe and Anne Madsen and Fabrizio Montesi and Marco Peressotti 2023 Is Part Of OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Microservices.2020-2022.3 urn:nbn:de:0030-drops-194650 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.3 eng https://creativecommons.org/licenses/by/4.0/legalcode