Descrizione del progetto
Nuovi costrutti linguistici per le coreografie in scenari realistici
Sebbene i linguaggi di programmazione di alto livello facilitino lo sviluppo del software, i linguaggi moderni sono privi della sintassi per la comunicazione nei sistemi distribuiti, determinando errori e un codice inaffidabile. La programmazione coreografica offre astrazioni di alto livello per la comunicazione; tuttavia, presenta diverse sfide tecniche a livello di compilazione. Il progetto CHORDS, finanziato dal CER, si propone di sviluppare nuovi costrutti linguistici per coreografie in grado di gestire scenari realistici. Inoltre, CHORDS progetterà logiche al fine di verificare le proprietà associate alle coreografie e per chiarirne le implicazioni per il codice compilato. Il progetto prevede anche la creazione di una catena di strumenti per la compilazione, il collaudo e la distribuzione di software basati sulle coreografie, compiendo sforzi che possono influenzare profondamente il modo in cui modelliamo e programmiamo le applicazioni distribuite in futuro.
Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- scienze naturaliinformatica e scienze dell'informazionesoftware
- scienze socialieconomia e commercioscienze economicheeconomia della produzioneproduttività
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Siamo spiacenti… si è verificato un errore inatteso durante l’esecuzione.
È necessario essere autenticati. La sessione potrebbe essere scaduta.
Grazie per il tuo feedback. Riceverai presto un'e-mail di conferma dell'invio. Se hai scelto di ricevere una notifica sullo stato della segnalazione, sarai contattato anche quando lo stato della segnalazione cambierà.
Parole chiave
Programma(i)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Argomento(i)
Invito a presentare proposte
(si apre in una nuova finestra) ERC-2023-COG
Vedi altri progetti per questo bandoMeccanismo di finanziamento
HORIZON-ERC -Istituzione ospitante
5230 Odense M
Danimarca