Ziel
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.
Wissenschaftliches Gebiet
Schlüsselbegriffe
Programm/Programme
Aufforderung zur Vorschlagseinreichung
Andere Projekte für diesen Aufruf anzeigenKoordinator
2080 MSIDA
Malta
Auf der Karte ansehen
Beteiligte (21)
LE1 7RH Leicester
Auf der Karte ansehen
2829 516 Caparica
Auf der Karte ansehen
CT2 7NZ Canterbury, Kent
Auf der Karte ansehen
9220 Aalborg
Auf der Karte ansehen
G12 8QQ Glasgow
Auf der Karte ansehen
2300 Kobenhavn
Auf der Karte ansehen
40126 Bologna
Auf der Karte ansehen
10124 Torino
Auf der Karte ansehen
80807 MUNCHEN
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
Beteiligung beendet
40132 Bologna
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
SGN 3000 San Gwann
Auf der Karte ansehen
4970 371 Arcos De Valdevez
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
Beteiligung beendet
10122 Torino
Auf der Karte ansehen
SN14 0GB Chippenham
Auf der Karte ansehen
Beteiligung beendet
2100 Kobenhavn
Auf der Karte ansehen
Beteiligung beendet
KA10 6BE Troon, Ayrshire
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
3070 Snekkersten
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
40026 Imola
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
67100 L'Aquila
Auf der Karte ansehen
1600 196 Lisboa
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
40132 BOLOGNA
Auf der Karte ansehen
Partner (4)
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
15213 Pittsburgh
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
1053 Buenos Aires
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
61801 URBANA IL
Auf der Karte ansehen
Partnerorganisationen tragen zur Umsetzung der Aktion bei, unterzeichnen jedoch nicht die Finanzhilfevereinbarung.
Cordoba
Auf der Karte ansehen