Choreographies for Distributed Systems: Reasoning, Expressivity, and Development

Informacje na temat projektu

CHORDS

Identyfikator umowy o grant: 101124225

DOI

10.3030/101124225

Data podpisania przez KE 8 Grudnia 2023

Data rozpoczęcia 1 Czerwca 2024

Data zakończenia 31 Maja 2029

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 999 498,00

Wkład UE

€ 1 999 498,00

Koordynowany przez

SYDDANSK UNIVERSITET
Denmark

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (5)

Formulas as Processes, Deadlock-Freedom as Choreographies

Autorzy: Matteo Acclavio, Giulia Manara, Fabrizio Montesi
Opublikowane w: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91118-7_2

Omission Failures in Choreographic Programming

Autorzy: Eva Graversen, Fabrizio Montesi, Marco Peressotti
Opublikowane w: 2025, ISSN 1613-0073
Wydawca: CEUR Workshop Proceedings

Choreography-Defined Networks: A Case Study on DoS Mitigation

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

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

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

A Conceptual Framework for API Refactoring in Service-Oriented Architectures

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

Peer reviewed articles (3)

CRGC: Fault-Recovering Actor Garbage Collection in Pekko

Autorzy: Dan Plyukhin; Gul Agha; Fabrizio Montesi
Opublikowane w: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3729288

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

Autorzy: Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
Opublikowane w: Information and Software Technology, Numer 197, 2026, ISSN 0950-5849
Wydawca: Elsevier BV
DOI: 10.1016/J.INFSOF.2026.108180

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

Autorzy: Dan Plyukhin; Xueying Qin; Fabrizio Montesi
Opublikowane w: Proceedings of the ACM on Programming Languages, 2025, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3747538

Other (1)

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

Autorzy: Plyukhin, Dan; Peressotti, Marco; Montesi, Fabrizio
Opublikowane w: Dagstuhl Artifacts Ser., 2024
Wydawca: Schloss Dagstuhl
DOI: 10.4230/DARTS.10.2.16