CORDIS
EU research results

CORDIS

English EN
Behavioural Application Program Interfaces

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

Address

University Campus, Tal-Qroqq
2080 Msida

Malta

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 94 500

Participants (17)

Sort alphabetically

Sort by EU Contribution

Expand all

UNIVERSITY OF LEICESTER

United Kingdom

EU Contribution

€ 112 500

NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT

Portugal

EU Contribution

€ 130 500

UNIVERSITY OF KENT

United Kingdom

EU Contribution

€ 72 000

AALBORG UNIVERSITET

Denmark

EU Contribution

€ 22 500

UNIVERSITY OF GLASGOW

United Kingdom

EU Contribution

€ 22 500

IT-UNIVERSITETET I KOBENHAVN

Denmark

EU Contribution

€ 58 500

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA

Italy

EU Contribution

€ 54 000

UNIVERSITA DEGLI STUDI DI TORINO

Italy

EU Contribution

€ 9 000

ACTYX AG

Germany

EU Contribution

€ 22 500

BITLAND SRL

Italy

IXARIS SYSTEMS (MALTA) LIMITED

Malta

GREEN BY WEB LDA

Portugal

EU Contribution

€ 13 500

COMUNE DI TORINO

Italy

XIBIS LIMITED

United Kingdom

EU Contribution

€ 18 000

EXFORMATICS AS

Denmark

MAIDSAFE.NET LIMITED

United Kingdom

DCR SOLUTIONS

Denmark

Partners (4)

Sort alphabetically

Expand all

CARNEGIE MELLON UNIVERSITY

UNIVERSIDAD DE BUENOS AIRES

THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS

MCAFEE ARGENTINA S.A.

Project information

Grant agreement ID: 778233

Status

Ongoing project

  • Start date

    1 March 2018

  • End date

    28 February 2022

Funded under:

H2020-EU.1.3.3.

  • Overall budget:

    € 742 500

  • EU contribution

    € 630 000

Coordinated by:

UNIVERSITA TA MALTA

Malta