Choreographies for Distributed Systems: Reasoning, Expressivity, and Development

Información del proyecto

CHORDS

Identificador del acuerdo de subvención: 101124225

DOI

10.3030/101124225

Fecha de la firma de la CE 8 Diciembre 2023

Fecha de inicio 1 Junio 2024

Fecha de finalización 31 Mayo 2029

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 999 498,00

Aportación de la UE

€ 1 999 498,00

Coordinado por

SYDDANSK UNIVERSITET
Denmark

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (5)

Formulas as Processes, Deadlock-Freedom as Choreographies

Autores: Matteo Acclavio, Giulia Manara, Fabrizio Montesi
Publicado en: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91118-7_2

Omission Failures in Choreographic Programming

Autores: Eva Graversen, Fabrizio Montesi, Marco Peressotti
Publicado en: 2025, ISSN 1613-0073
Editor: CEUR Workshop Proceedings

Choreography-Defined Networks: A Case Study on DoS Mitigation

Autores: Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 0001; Fabrizio Montesi; Marco Peressotti; Marco Prandini
Publicado en: 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
Editor: Springer
DOI: 10.1007/978-981-96-0808-9_18

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

Autores: Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty
Publicado en: 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
Editor: Springer
DOI: 10.1007/978-981-96-0808-9_13

A Conceptual Framework for API Refactoring in Service-Oriented Architectures

Autores: Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
Publicado en: Lecture Notes in Computer Science, Service-Oriented and Cloud Computing, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-84617-5_15

Peer reviewed articles (3)

CRGC: Fault-Recovering Actor Garbage Collection in Pekko

Autores: Dan Plyukhin; Gul Agha; Fabrizio Montesi
Publicado en: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Editor: ACM
DOI: 10.1145/3729288

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

Autores: Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
Publicado en: Information and Software Technology, Edición 197, 2026, ISSN 0950-5849
Editor: Elsevier BV
DOI: 10.1016/J.INFSOF.2026.108180

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

Autores: Dan Plyukhin; Xueying Qin; Fabrizio Montesi
Publicado en: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Editor: ACM
DOI: 10.1145/3747538

Other (1)

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

Autores: Plyukhin, Dan; Peressotti, Marco; Montesi, Fabrizio
Publicado en: Dagstuhl Artifacts Ser., 2024
Editor: Schloss Dagstuhl
DOI: 10.4230/DARTS.10.2.16