Choreographies for Distributed Systems: Reasoning, Expressivity, and Development

Informations projet

CHORDS

N° de convention de subvention: 101124225

DOI

10.3030/101124225

Date de signature de la CE 8 Decembre 2023

Date de début 1 Juin 2024

Date de fin 31 Mai 2029

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 999 498,00

Contribution de l’UE

€ 1 999 498,00

Coordonné par

SYDDANSK UNIVERSITET
Denmark

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (5)

Formulas as Processes, Deadlock-Freedom as Choreographies

Auteurs: Matteo Acclavio, Giulia Manara, Fabrizio Montesi
Publié dans: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91118-7_2

Omission Failures in Choreographic Programming

Auteurs: Eva Graversen, Fabrizio Montesi, Marco Peressotti
Publié dans: 2025, ISSN 1613-0073
Éditeur: CEUR Workshop Proceedings

Choreography-Defined Networks: A Case Study on DoS Mitigation

Auteurs: Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 0001; Fabrizio Montesi; Marco Peressotti; Marco Prandini
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-981-96-0808-9_18

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

Auteurs: Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-981-96-0808-9_13

A Conceptual Framework for API Refactoring in Service-Oriented Architectures

Auteurs: Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
Publié dans: Lecture Notes in Computer Science, Service-Oriented and Cloud Computing, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-84617-5_15

Peer reviewed articles (3)

CRGC: Fault-Recovering Actor Garbage Collection in Pekko

Auteurs: Dan Plyukhin; Gul Agha; Fabrizio Montesi
Publié dans: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3729288

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

Auteurs: Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
Publié dans: Information and Software Technology, Numéro 197, 2026, ISSN 0950-5849
Éditeur: Elsevier BV
DOI: 10.1016/J.INFSOF.2026.108180

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

Auteurs: Dan Plyukhin; Xueying Qin; Fabrizio Montesi
Publié dans: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3747538

Other (1)

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

Auteurs: Plyukhin, Dan; Peressotti, Marco; Montesi, Fabrizio
Publié dans: Dagstuhl Artifacts Ser., 2024
Éditeur: Schloss Dagstuhl
DOI: 10.4230/DARTS.10.2.16