Obiettivo
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.
Campo scientifico
Programma(i)
Meccanismo di finanziamento
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)
Coordinatore
2080 Msida
Malta
Mostra sulla mappa
Partecipanti (18)
LE1 7RH Leicester
Mostra sulla mappa
2829 516 Caparica
Mostra sulla mappa
CT2 7NZ Canterbury, Kent
Mostra sulla mappa
9220 Aalborg
Mostra sulla mappa
G12 8QQ Glasgow
Mostra sulla mappa
2300 Kobenhavn
Mostra sulla mappa
40126 Bologna
Mostra sulla mappa
10124 Torino
Mostra sulla mappa
80807 Munchen
Mostra sulla mappa
L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione.
40132 Bologna
Mostra sulla mappa
L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione.
SGN 3000 San Gwann
Mostra sulla mappa
4970 371 Arcos De Valdevez
Mostra sulla mappa
L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione.
Partecipazione conclusa
10122 Torino
SN14 0GB Chippenham
Mostra sulla mappa
Partecipazione conclusa
2100 Kobenhavn
Partecipazione conclusa
KA10 6BE Troon, Ayrshire
L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione.
3070 Snekkersten
Mostra sulla mappa
L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione.
40026 Imola
Mostra sulla mappa
L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione.
Partner (4)
Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione.
15213 Pittsburgh
Mostra sulla mappa
Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione.
1053 Buenos Aires
Mostra sulla mappa
Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione.
61801 Urbana Il
Mostra sulla mappa
Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione.
Cordoba
Mostra sulla mappa