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.

Field of science

  • /social sciences/sociology/governance/public services
  • /humanities/languages and literature/languages - general

Call for proposal

H2020-MSCA-RISE-2017
See other projects for this call

Funding Scheme

MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)

Coordinator

UNIVERSITA TA MALTA
Address
University Campus, Tal-qroqq
2080 Msida
Malta
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 94 500

Participants (17)

UNIVERSITY OF LEICESTER
United Kingdom
EU contribution
€ 112 500
Address
University Road
LE1 7RH Leicester
Activity type
Higher or Secondary Education Establishments
NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT
Portugal
EU contribution
€ 130 500
Address
Campus De Caparica Faculdade De Ciencias E Tecnologia Da Universidade Nova De Lisboa
2829 516 Caparica
Activity type
Research Organisations
UNIVERSITY OF KENT
United Kingdom
EU contribution
€ 72 000
Address
The Registry Canterbury
CT2 7NZ Canterbury, Kent
Activity type
Higher or Secondary Education Establishments
AALBORG UNIVERSITET
Denmark
EU contribution
€ 22 500
Address
Fredrik Bajers Vej 7K
9220 Aalborg
Activity type
Higher or Secondary Education Establishments
UNIVERSITY OF GLASGOW
United Kingdom
EU contribution
€ 22 500
Address
University Avenue
G12 8QQ Glasgow
Activity type
Higher or Secondary Education Establishments
IT-UNIVERSITETET I KOBENHAVN
Denmark
EU contribution
€ 58 500
Address
Rued Langgaardsvej 7
2300 Kobenhavn
Activity type
Higher or Secondary Education Establishments
ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy
EU contribution
€ 54 000
Address
Via Zamboni 33
40126 Bologna
Activity type
Higher or Secondary Education Establishments
UNIVERSITA DEGLI STUDI DI TORINO
Italy
EU contribution
€ 9 000
Address
Via Giuseppe Verdi 8
10124 Torino
Activity type
Higher or Secondary Education Establishments
ACTYX AG
Germany
EU contribution
€ 22 500
Address
Ridlerstrasse 31B
80339 Munchen
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
BITLAND SRL
Italy
EU contribution
€ 0
Address
Via Caduti Di Amola 31
40132 Bologna
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
IXARIS SYSTEMS (MALTA) LIMITED
Malta
EU contribution
€ 0
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)
GREEN BY WEB LDA
Portugal
EU contribution
€ 13 500
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)
COMUNE DI TORINO

Participation ended

Italy
EU contribution
€ 0
Address
Piazza Palazzo Di Citta 1
10122 Torino
Activity type
Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments)
XIBIS LIMITED
United Kingdom
EU contribution
€ 18 000
Address
2 Methuen Park
SN14 0GB Chippenham
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
EXFORMATICS AS

Participation ended

Denmark
EU contribution
€ 0
Address
Dag Hammarskjolds Alle 13
2100 Kobenhavn
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
MAIDSAFE.NET LIMITED

Participation ended

United Kingdom
EU contribution
€ 0
Address
72 Templehill
KA10 6BE Troon, Ayrshire
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
DCR SOLUTIONS
Denmark
EU contribution
€ 0
Address
Snekkersten Stationsvej 16
3070 Snekkersten
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)

Partners (4)

CARNEGIE MELLON UNIVERSITY
United States
Address
Forbes Avenue 5000
15213 Pittsburgh
Activity type
Higher or Secondary Education Establishments
UNIVERSIDAD DE BUENOS AIRES
Argentina
Address
Calle Viamonte 430
1053 Buenos Aires
Activity type
Higher or Secondary Education Establishments
THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS
United States
Address
1901 South First Street Suite A
618207406 Champaign
Activity type
Higher or Secondary Education Establishments
MCAFEE ARGENTINA S.A.
Argentina
Address
Alem Leandro N. Av. 518 Piso 2
Cordoba
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)