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

See on map

Region
Malta Malta Malta
Activity type
Higher or Secondary Education Establishments
Other funding
€ 18 000,00

Participants (18)

UNIVERSITY OF LEICESTER
United Kingdom
Net EU contribution
€ 112 500,00
Address
University Road
LE1 7RH Leicester

See on map

Region
East Midlands (England) Leicestershire, Rutland and Northamptonshire Leicester
Activity type
Higher or Secondary Education Establishments
Other funding
€ 27 000,00
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

See on map

Region
Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa
Activity type
Research Organisations
Other funding
€ 0,00
UNIVERSITY OF KENT
United Kingdom
Net EU contribution
€ 72 000,00
Address
The Registry Canterbury
CT2 7NZ Canterbury, Kent

See on map

Region
South East (England) Kent East Kent
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00
AALBORG UNIVERSITET
Denmark
Net EU contribution
€ 22 500,00
Address
Fredrik Bajers Vej 7k
9220 Aalborg

See on map

Region
Danmark Nordjylland Nordjylland
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00
UNIVERSITY OF GLASGOW
United Kingdom
Net EU contribution
€ 22 500,00
Address
University Avenue
G12 8QQ Glasgow

See on map

Region
West Central Scotland Glasgow City
Activity type
Higher or Secondary Education Establishments
Other funding
€ 9 000,00
IT-UNIVERSITETET I KOBENHAVN
Denmark
Net EU contribution
€ 58 500,00
Address
Rued Langgaardsvej 7
2300 Kobenhavn

See on map

Region
Danmark Hovedstaden Byen København
Activity type
Higher or Secondary Education Establishments
Other funding
€ 36 000,00
ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy
Net EU contribution
€ 54 000,00
Address
Via Zamboni 33
40126 Bologna

See on map

Region
Nord-Est Emilia-Romagna Bologna
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00
UNIVERSITA DEGLI STUDI DI TORINO
Italy
Net EU contribution
€ 9 000,00
Address
Via Giuseppe Verdi 8
10124 Torino

See on map

Region
Nord-Ovest Piemonte Torino
Activity type
Higher or Secondary Education Establishments
Other funding
€ 13 500,00
ACTYX AG
Germany
Net EU contribution
€ 22 500,00
Address
Max Bill Strasse 38
80807 Munchen

See on map

SME

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

Yes
Region
Bayern Oberbayern München, Kreisfreie Stadt
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 9 000,00
BITLAND SRL
Italy
Net EU contribution
€ 0,00
Address
Via Caduti Di Amola 31
40132 Bologna

See on map

SME

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

Yes
Region
Nord-Est Emilia-Romagna Bologna
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
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

See on map

Region
Malta Malta Malta
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
GREEN BY WEB LDA
Portugal
Net EU contribution
€ 13 500,00
Address
Lugar De Aspra Sabadim, Caixa Postal 195 S/n
4970 371 Arcos De Valdevez

See on map

SME

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

Yes
Region
Continente Norte Alto Minho
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
COMUNE DI TORINO

Participation ended

Italy
Net EU contribution
€ 0,00
Address
Piazza Palazzo Di Citta 1
10122 Torino
Region
Nord-Ovest Piemonte Torino
Activity type
Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments)
Other funding
€ 0,00
XIBIS LIMITED
United Kingdom
Net EU contribution
€ 18 000,00
Address
2 Methuen Park
SN14 0GB Chippenham

See on map

Region
South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Wiltshire CC
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
EXFORMATICS AS

Participation ended

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

Participation ended

United Kingdom
Net EU contribution
€ 0,00
Address
72 Templehill
KA10 6BE Troon, Ayrshire
SME

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

Yes
Region
Southern Scotland South Ayrshire
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
DCR SOLUTIONS
Denmark
Net EU contribution
€ 0,00
Address
Snekkersten Stationsvej 16
3070 Snekkersten

See on map

SME

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

Yes
Region
Danmark Hovedstaden Nordsjælland
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00
ITALIANASOFTWARE SRL
Italy
Net EU contribution
€ 0,00
Address
Via Selice 66a
40026 Imola

See on map

SME

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

Yes
Region
Nord-Est Emilia-Romagna Bologna
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 0,00

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

See on map

Activity type
Higher or Secondary Education Establishments
Other funding
€ 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

See on map

Activity type
Higher or Secondary Education Establishments
Other funding
€ 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

See on map

Activity type
Higher or Secondary Education Establishments
Other funding
€ 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

See on map

Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Other funding
€ 13 500,00