Behavioural Application Program Interfaces


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.

Project details

Unibo Team Leader: Mario Bravetti

Unibo involved Department/s:
Dipartimento di Informatica - Scienza e Ingegneria

University Of Malta(Malta)

Other Participants:
Maidsafe.Net Limited (United Kingdom)
University Of Kent (United Kingdom)
Exformatics As (Denmark)
Università degli Studi di TORINO (Italy)
Ixaris Systems (Malta) Limited (Ixr) (Malta)
It-Universitetet I Kobenhavn (Denmark)
Aalborg Universitet (Denmark)
Comune Di Torino (Italy)
Green By Web Lda (Portugal)
University Of Leicester (United Kingdom)
Xibis Limited (United Kingdom)
ALMA MATER STUDIORUM - Università di Bologna (Italy)
University Of Glasgow (United Kingdom)
Actyx Ag (Germany)
Bitland Societa' A Responsabilita' Limitata Semplificata (Italy)

Total Eu Contribution: Euro (EUR) 630.000,00
Project Duration in months: 48
Start Date: 01/03/2018
End Date: 28/02/2022

Cordis webpage

Industry, innovation and infrastructure This project contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.

UE flag This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 778233