Objective
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.
Fields of science
Programme(s)
Coordinator
2080 L-Imsida
Malta
See on map
Participants (21)
LE1 7RH Leicester
See on map
2829 516 Caparica
See on map
CT2 7NZ Canterbury, Kent
See on map
9220 Aalborg
See on map
G12 8QQ Glasgow
See on map
2300 Kobenhavn
See on map
40126 Bologna
See on map
10124 Torino
See on map
80807 MUNCHEN
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
Participation ended
40132 Bologna
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
SGN 3000 San Gwann
See on map
4970 371 Arcos De Valdevez
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
Participation ended
10122 Torino
See on map
SN14 0GB Chippenham
See on map
Participation ended
2100 Kobenhavn
See on map
Participation ended
KA10 6BE Troon, Ayrshire
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
3070 Snekkersten
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
40026 Imola
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
67100 L'Aquila
See on map
1600 196 Lisboa
See on map
The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.
40132 BOLOGNA
See on map
Partners (4)
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
15213 Pittsburgh
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
1053 Buenos Aires
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
61801 Urbana
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
Cordoba
See on map