Choreographies for Distributed Systems: Reasoning, Expressivity, and Development

Projektinformationen

CHORDS

ID Finanzhilfevereinbarung: 101124225

DOI

10.3030/101124225

EK-Unterschriftsdatum 8 Dezember 2023

Startdatum 1 Juni 2024

Enddatum 31 Mai 2029

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 999 498,00

EU-Beitrag

€ 1 999 498,00

Koordiniert durch

SYDDANSK UNIVERSITET
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (5)

Formulas as Processes, Deadlock-Freedom as Choreographies

Autoren: Matteo Acclavio, Giulia Manara, Fabrizio Montesi
Veröffentlicht in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91118-7_2

Omission Failures in Choreographic Programming

Autoren: Eva Graversen, Fabrizio Montesi, Marco Peressotti
Veröffentlicht in: 2025, ISSN 1613-0073
Herausgeber: CEUR Workshop Proceedings

Choreography-Defined Networks: A Case Study on DoS Mitigation

Autoren: Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 0001; Fabrizio Montesi; Marco Peressotti; Marco Prandini
Veröffentlicht in: Giallorenzo, S, Mauro, J, Melis, A, Montesi, F, Peressotti, M & Prandini, M 2024, Choreography-Defined Networks : A Case Study on DoS Mitigation. in W Gaaloul, M Sheng, Q Yu & S Yangui (eds), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. vol. 15405, Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15405 LNCS, pp. 243-259, 22nd International Conference on Service-Oriented Computing, ICSOC 2024, Tunis, Tunisia, 03/12/2024. https://doi.org/10.1007/978-981-96-0808-9_18, 2024
Herausgeber: Springer
DOI: 10.1007/978-981-96-0808-9_18

A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices

Autoren: Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty
Veröffentlicht in: Giallorenzo, S, Montesi, F, Peressotti, M, Rademacher, F, Sachweh, S & Wizenty, P 2024, A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. in W Gaaloul, M Sheng, Q Yu & S Yangui (eds), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15405 LNCS, pp. 161-175, 22nd International Conference on Service-Oriented Computing, ICSOC 2024, Tunis, Tunisia, 03/12/2024. https://doi.org/10.1007/978-981-96-0808-9_13, 2024
Herausgeber: Springer
DOI: 10.1007/978-981-96-0808-9_13

A Conceptual Framework for API Refactoring in Service-Oriented Architectures

Autoren: Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
Veröffentlicht in: Lecture Notes in Computer Science, Service-Oriented and Cloud Computing, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-84617-5_15

Peer reviewed articles (3)

CRGC: Fault-Recovering Actor Garbage Collection in Pekko

Autoren: Dan Plyukhin; Gul Agha; Fabrizio Montesi
Veröffentlicht in: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3729288

Choreography-defined networks: Concepts and a case study on AI-based attack detection

Autoren: Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
Veröffentlicht in: Information and Software Technology, Ausgabe 197, 2026, ISSN 0950-5849
Herausgeber: Elsevier BV
DOI: 10.1016/J.INFSOF.2026.108180

Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)

Autoren: Dan Plyukhin; Xueying Qin; Fabrizio Montesi
Veröffentlicht in: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3747538

Other (1)

Ozone: Fully Out-of-Order Choreographies (Artifact).

Autoren: Plyukhin, Dan; Peressotti, Marco; Montesi, Fabrizio
Veröffentlicht in: Dagstuhl Artifacts Ser., 2024
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/DARTS.10.2.16