Objetivo
APIs are typically flat structures, i.e. sets of service/method signatures specifying the expected service parameters and the kind of results one should expect in return. However, correct API usage also requires the individual services to be invoked in a specific order. Despite its importance, the latter information is either often omitted, or stated informally via textual descriptions. Behavioural Types are a suite of technologies that formalise of this information, elevating flat API descriptions to a graph structure of services. This permits automated analyses for correct API compositions so as to provide guarantees such as service compliance, deadlock freedom, dynamic adaptation in the presence of failure, load balancing etc. The proposed project aims to bring the existing prototype tools based on these technologies to mainstream programming languages and development frameworks used in industry.
Ámbito científico
Palabras clave
Programa(s)
Régimen de financiación
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)Coordinador
2080 MSIDA
Malta
Ver en el mapa
Participantes (21)
LE1 7RH Leicester
Ver en el mapa
2829 516 Caparica
Ver en el mapa
CT2 7NZ Canterbury, Kent
Ver en el mapa
9220 Aalborg
Ver en el mapa
G12 8QQ Glasgow
Ver en el mapa
2300 Kobenhavn
Ver en el mapa
40126 Bologna
Ver en el mapa
10124 Torino
Ver en el mapa
80807 MUNCHEN
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
La participación finalizó
40132 Bologna
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
SGN 3000 San Gwann
Ver en el mapa
4970 371 Arcos De Valdevez
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
La participación finalizó
10122 Torino
Ver en el mapa
SN14 0GB Chippenham
Ver en el mapa
La participación finalizó
2100 Kobenhavn
Ver en el mapa
La participación finalizó
KA10 6BE Troon, Ayrshire
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
3070 Snekkersten
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
40026 Imola
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
67100 L'Aquila
Ver en el mapa
1600 196 Lisboa
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
40132 BOLOGNA
Ver en el mapa
Socios (4)
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
15213 Pittsburgh
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
1053 Buenos Aires
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
61801 URBANA IL
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
Cordoba
Ver en el mapa