Description du projet
Nouvelles constructions linguistiques pour les chorégraphies dans des scénarios réalistes
Les langages de programmation de haut niveau facilitent le développement de logiciels, mais les langages modernes manquent de syntaxe pour la communication dans les systèmes distribués, ce qui entraîne des erreurs et un code peu fiable. La programmation chorégraphique offre des abstractions de haut niveau pour la communication, mais présente des défis techniques pour la compilation. Le projet CHORDS, financé par le CER, vise à développer de nouvelles constructions linguistiques pour des chorégraphies capables de gérer des scénarios réalistes. En outre, il concevra des logiques permettant de vérifier les propriétés associées aux chorégraphies et d’élucider leurs implications pour le code compilé. CHORDS établira également une chaîne d’outils pour compiler, tester et déployer des logiciels basés sur des chorégraphies. Ces efforts sont susceptibles d’influencer profondément la façon dont nous modéliserons et programmerons les applications distribuées à l’avenir.
Objectif
Decades of research in computing led to high-level programming languages that can turn a programmer's ideas into executable software. For applications that run in isolation, we have a solid toolbox. We can write code with abstract concepts like functions and objects, and then a compiler tool can automatically produce working implementations. This significantly increases productivity, facilitates program analysis, and reduces the risk of bugs.
Today, society increasingly relies on distributed systems for work, services, social participation, and so forth. Here the key high-level concept is that of communication: a message exchange between independent programs. Yet it is nowhere to be found in the syntax of modern programming languages. Instead, we manually write lower-level instructions for sending and receiving messages in separate programs, hoping that they match each other during execution and produce the wished communications. This is infamously hard, leaving us with code that is difficult to write or trust.
This situation is not due to lack of trying. Choreographic programming is a recent attempt at a programming paradigm with high-level abstractions for communications and their composition in programs called choreographies. Unfortunately, compiling choreographies is technically challenging, which resulted in excessive simplification. Current theories make unrealistic assumptions -- remaining confined to toy scenarios -- and reasoning methods for choreographies are underdeveloped.
This project will break new ground by developing (a) new linguistic constructs for choreographies that can deal with realistic scenarios, (b) logics for verifying properties about choreographies and understanding what they mean for the compiled code, and (c) a toolchain for compiling, testing, and deploying software based on our choreographies. These actions have the potential to significantly impact how we will model and program distributed applications in the future.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- sciences naturellesinformatique et science de l'informationlogiciel
- sciences socialeséconomie et affaireséconomieéconomie de la productionproductivité
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Mots‑clés
Programme(s)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Appel à propositions
(s’ouvre dans une nouvelle fenêtre) ERC-2023-COG
Voir d’autres projets de cet appelRégime de financement
HORIZON-ERC - HORIZON ERC GrantsInstitution d’accueil
5230 Odense M
Danemark