project . 2018 - 2022 . On going

BEHAPI

Behavioural Application Program Interfaces
Open Access mandate for Publications European Commission
  • Funder: European CommissionProject code: 778233 Call for proposal: H2020-MSCA-RISE-2017
  • Funded under: H2020 | MSCA-RISE Overall Budget: 742,500 EURFunder Contribution: 630,000 EUR
  • Status: On going
  • Start Date
    01 Mar 2018
    End Date
    28 Feb 2022
  • Detailed project information (CORDIS)
  • Open Access mandate
    Research Data: No
Description
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 freedo...
Read more
Partners
ACTYX AG, XIBIS LIMITED, University of Leicester, AAU, University of Malta, UNIBO, EXFORMATICS AS, DCR SOLUTIONS, University of Glasgow, BITLAND SRL, University of Kent, IT UNIVERSITY OF COPENHAGEN, UNITO, IXARIS SYSTEMS (MALTA) LIMITED, GREEN BY WEB LDA, NOVA ID, MAIDSAFE.NET LIMITED, CITTA DI TORINO, italianaSoftware
Description
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 freedo...
Read more
Partners
ACTYX AG, XIBIS LIMITED, University of Leicester, AAU, University of Malta, UNIBO, EXFORMATICS AS, DCR SOLUTIONS, University of Glasgow, BITLAND SRL, University of Kent, IT UNIVERSITY OF COPENHAGEN, UNITO, IXARIS SYSTEMS (MALTA) LIMITED, GREEN BY WEB LDA, NOVA ID, MAIDSAFE.NET LIMITED, CITTA DI TORINO, italianaSoftware
graphPowered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue