Skip to main content

Behavioural Application Program Interfaces

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.

Coordinator

UNIVERSITA TA MALTA
Net EU contribution
€ 94 500,00
Address
Tal Oroqq
2080 Msida
Malta
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 18 000,00

Participants (18)

UNIVERSITY OF LEICESTER
United Kingdom
Net EU contribution
€ 112 500,00
Address
University Road
LE1 7RH Leicester
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 27 000,00
Region
East Midlands (England) Leicestershire, Rutland and Northamptonshire Leicester
NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT
Portugal
Net EU contribution
€ 130 500,00
Address
Campus De Caparica Faculdade De Ciencias E Tecnologia Da Universidade Nova De Lisboa
2829 516 Caparica
Activity type
Research Organisations
Non-EU contribution
€ 0,00
Region
Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa
 
UNIVERSITY OF KENT
United Kingdom
Net EU contribution
€ 72 000,00
Address
The Registry Canterbury
CT2 7NZ Canterbury, Kent
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
AALBORG UNIVERSITET
Denmark
Net EU contribution
€ 22 500,00
Address
Fredrik Bajers Vej 7K
9220 Aalborg
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
UNIVERSITY OF GLASGOW
United Kingdom
Net EU contribution
€ 22 500,00
Address
University Avenue
G12 8QQ Glasgow
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 9 000,00
IT-UNIVERSITETET I KOBENHAVN
Denmark
Net EU contribution
€ 58 500,00
Address
Rued Langgaardsvej 7
2300 Kobenhavn
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 36 000,00
ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy
Net EU contribution
€ 54 000,00
Address
Via Zamboni 33
40126 Bologna
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
UNIVERSITA DEGLI STUDI DI TORINO
Italy
Net EU contribution
€ 9 000,00
Address
Via Giuseppe Verdi 8
10124 Torino
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 13 500,00
ACTYX AG
Germany
Net EU contribution
€ 22 500,00
SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Address
Dachauer Strasse 192
80992 Munchen
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 9 000,00
Region
Bayern Oberbayern München, Kreisfreie Stadt
 
BITLAND SRL
Italy
Net EU contribution
€ 0,00
SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Address
Via Caduti Di Amola 31
40132 Bologna
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
Region
Nord-Est Emilia-Romagna Bologna
 
IXARIS SYSTEMS (MALTA) LIMITED
Malta
Net EU contribution
€ 0,00
Address
The Penthouse Suite 1, Entrance C, Capital Busines Triq Taz-zwejt
SGN 3000 San Gwann
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
GREEN BY WEB LDA
Portugal
Net EU contribution
€ 13 500,00
SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Address
Lugar De Aspra Sabadim, Caixa Postal 195 S/n
4970 371 Arcos De Valdevez
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
Region
Continente Norte Alto Minho
 
COMUNE DI TORINO

Participation ended

Italy
Net EU contribution
€ 0,00
Address
Piazza Palazzo Di Citta 1
10122 Torino
Activity type
Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments)
Non-EU contribution
€ 0,00
XIBIS LIMITED
United Kingdom
Net EU contribution
€ 18 000,00
Address
2 Methuen Park
SN14 0GB Chippenham
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
Region
South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Wiltshire CC
 
EXFORMATICS AS

Participation ended

Denmark
Net EU contribution
€ 0,00
Address
Dag Hammarskjolds Alle 13
2100 Kobenhavn
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
Region
Byen København Hovedstaden
 
MAIDSAFE.NET LIMITED

Participation ended

United Kingdom
Net EU contribution
€ 0,00
SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Address
72 Templehill
KA10 6BE Troon, Ayrshire
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
Region
Southern Scotland South Ayrshire
 
DCR SOLUTIONS
Denmark
Net EU contribution
€ 0,00
SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Address
Snekkersten Stationsvej 16
3070 Snekkersten
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
Region
Nordsjælland Hovedstaden
 
ITALIANASOFTWARE SRL
Italy
Net EU contribution
€ 0,00
SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Address
Via Selice 66A
40026 Imola
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
Region
Nord-Est Emilia-Romagna Bologna
 

Partners (4)

Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

CARNEGIE MELLON UNIVERSITY
United States
Net EU contribution
€ 0,00
Address
Forbes Avenue 5000
15213 Pittsburgh
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 63 000,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

UNIVERSIDAD DE BUENOS AIRES
Argentina
Net EU contribution
€ 0,00
Address
Calle Viamonte 430
1053 Buenos Aires
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 144 000,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS
United States
Net EU contribution
€ 0,00
Address
506 S. Wright Street, 209 Hab, Mc 339
61801 Urbana Il
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 49 500,00
Partner

Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.

MCAFEE ARGENTINA S.A.
Argentina
Net EU contribution
€ 0,00
Address
Alem Leandro N. Av. 518 Piso 2
Cordoba
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 13 500,00