Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

CHORDS

Financiado

Choreographies for Distributed Systems: Reasoning, Expressivity, and Development

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... ver más

31/05/2029

SDU

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

SYDDANSK UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-12-08

ERC-2023-COG: ERC CONSOLIDATOR GRANTS Scope:Objectives

I+D

Cerrada hace 1 año

0% 100% 100%

1 Participantes

SDU

2.00M€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

TIN2013-41576-R EVOLUCION DE SISTEMAS DINAMICOS EN LA NUBE: UN ESCENARIO MAR... 161K€ Cerrado

INC-TU-2012-2597 INNOVANET 3.0. DISEÑO Y DESARROLLO EN ENTORNO CLOUD COMPUTIN... 68K€ Cerrado

Desarrollo de una plataforma con un motor bas... Desarrollo de una plataforma con un motor basado en algoritm... 521K€ Cerrado

PTQ-11-04487 INNOVANET 3.0 DISEÑO Y DESARROLLO EN ENTORNO CLOUD COMPUTING... 61K€ Cerrado

Desarrollo de una plataforma con un motor bas... Desarrollo de una plataforma con un motor basado en algoritm... 521K€ Cerrado

TIN2008-02985 DESARROLLO DIRIGIDO POR MODELOS DE PROCESOS DE NEGOCIO EN FA... 224K€ Cerrado

Duración del proyecto: 65 meses Fecha Inicio: 2023-12-08
Fecha Fin: 2029-05-31

Líder del proyecto

SYDDANSK UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores