Projet BEHAPI (Horizon 2020, appel à projets 2017)
Action : Staff Exchanges
Panel : Information Science and Engineering
Statut du projet : SIGNED

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.

Mots clés : component based software, static analysis, dynamic analysis, type systems

Participants :
- University of Illinois System (Etats-Unis) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Xibis limited (Royaume-Uni) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 9000.0 €
- National Institute for Nuclear Physics (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 67500.0 €
- University of Turin (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 18000.0 €
- University of Buenos Aires (Argentine) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Comune di torino (Italie) — Partner, beneficiary, Organismes publics (hors enseignement & recherche), subvention : 0.0 €
- University of Kent (Royaume-Uni) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 49500.0 €
- University of Leicester (Royaume-Uni) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 58500.0 €
- Dcr solutions (Danemark) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €
- Ixaris systems (malta) limited (Malte) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €
- Exformatics as (Danemark) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €
- Universidade Nova de Lisboa (Portugal) — Partner, beneficiary, Recherche, subvention : 130500.0 €
- Green by web lda (Portugal) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 13500.0 €
- Mcafee argentina s.a. (Argentine) — Partner, organization partner, Organismes privés (hors enseignement), subvention : 0.0 €
- Italianasoftware srl (Italie) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €
- Aalborg University (Danemark) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 22500.0 €
- IT University of Copenhagen (Danemark) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 45000.0 €
- Maidsafe.net limited (Royaume-Uni) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €
- University of Bologna (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 56250.0 €
- Codebaker srls (Italie) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €
- Actyx ag (Allemagne) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 18000.0 €
- Bitland srl (Italie) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €
- University of Malta (Malte) — Coordinator, beneficiary, Enseignement supérieur ou secondaire, subvention : 110250.0 €
- Carnegie Mellon University (Etats-Unis) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- University of Glasgow (Royaume-Uni) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 31500.0 €
- Caixa Mágica Software (Portugal) (Portugal) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 0.0 €