Cel
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.
Dziedzina nauki
Słowa kluczowe
Program(-y)
Zaproszenie do składania wniosków
Zobacz inne projekty w ramach tego zaproszeniaSystem finansowania
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)Koordynator
2080 MSIDA
Malta
Zobacz na mapie
Uczestnicy (21)
LE1 7RH Leicester
Zobacz na mapie
2829 516 Caparica
Zobacz na mapie
CT2 7NZ Canterbury, Kent
Zobacz na mapie
9220 Aalborg
Zobacz na mapie
G12 8QQ Glasgow
Zobacz na mapie
2300 Kobenhavn
Zobacz na mapie
40126 Bologna
Zobacz na mapie
10124 Torino
Zobacz na mapie
80807 MUNCHEN
Zobacz na mapie
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
Zakończenie uczestnictwa
40132 Bologna
Zobacz na mapie
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
SGN 3000 San Gwann
Zobacz na mapie
4970 371 Arcos De Valdevez
Zobacz na mapie
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
Zakończenie uczestnictwa
10122 Torino
Zobacz na mapie
SN14 0GB Chippenham
Zobacz na mapie
Zakończenie uczestnictwa
2100 Kobenhavn
Zobacz na mapie
Zakończenie uczestnictwa
KA10 6BE Troon, Ayrshire
Zobacz na mapie
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
3070 Snekkersten
Zobacz na mapie
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
40026 Imola
Zobacz na mapie
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
67100 L'Aquila
Zobacz na mapie
1600 196 Lisboa
Zobacz na mapie
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
40132 BOLOGNA
Zobacz na mapie
Partnerzy (4)
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
15213 Pittsburgh
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
1053 Buenos Aires
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
61801 URBANA IL
Zobacz na mapie
Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant.
Cordoba
Zobacz na mapie