Objectif
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.
Champ scientifique
Programme(s)
Régime de financement
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)Coordinateur
2080 MSIDA
Malte
Voir sur la carte
Participants (21)
LE1 7RH Leicester
Voir sur la carte
2829 516 Caparica
Voir sur la carte
CT2 7NZ Canterbury, Kent
Voir sur la carte
9220 Aalborg
Voir sur la carte
G12 8QQ Glasgow
Voir sur la carte
2300 Kobenhavn
Voir sur la carte
40126 Bologna
Voir sur la carte
10124 Torino
Voir sur la carte
80807 MUNCHEN
Voir sur la carte
L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention.
Participation terminée
40132 Bologna
Voir sur la carte
L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention.
SGN 3000 San Gwann
Voir sur la carte
4970 371 Arcos De Valdevez
Voir sur la carte
L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention.
Participation terminée
10122 Torino
Voir sur la carte
SN14 0GB Chippenham
Voir sur la carte
Participation terminée
2100 Kobenhavn
Voir sur la carte
Participation terminée
KA10 6BE Troon, Ayrshire
Voir sur la carte
L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention.
3070 Snekkersten
Voir sur la carte
L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention.
40026 Imola
Voir sur la carte
L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention.
67100 L'Aquila
Voir sur la carte
1600 196 Lisboa
Voir sur la carte
L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention.
40132 BOLOGNA
Voir sur la carte
Partenaires (4)
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
15213 Pittsburgh
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
1053 Buenos Aires
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
61801 URBANA IL
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
Cordoba
Voir sur la carte