Opendata, web and dolomites

BEHAPI SIGNED

Behavioural Application Program Interfaces

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "BEHAPI" data sheet

The following table provides information about the project.

Coordinator
UNIVERSITA TA MALTA 

Organization address
address: University Campus, Tal-Qroqq
city: MSIDA
postcode: 2080
website: www.um.edu.mt

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Malta [MT]
 Total cost 742˙500 €
 EC max contribution 630˙000 € (85%)
 Programme 1. H2020-EU.1.3.3. (Stimulating innovation by means of cross-fertilisation of knowledge)
 Code Call H2020-MSCA-RISE-2017
 Funding Scheme MSCA-RISE
 Starting year 2018
 Duration (year-month-day) from 2018-03-01   to  2022-02-28

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITA TA MALTA MT (MSIDA) coordinator 94˙500.00
2    NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT PT (CAPARICA) participant 130˙500.00
3    UNIVERSITY OF LEICESTER UK (LEICESTER) participant 112˙500.00
4    UNIVERSITY OF KENT UK (CANTERBURY, KENT) participant 72˙000.00
5    IT-UNIVERSITETET I KOBENHAVN DK (KOBENHAVN) participant 58˙500.00
6    ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA IT (BOLOGNA) participant 54˙000.00
7    AALBORG UNIVERSITET DK (AALBORG) participant 22˙500.00
8    ACTYX AG DE (MUNCHEN) participant 22˙500.00
9    UNIVERSITY OF GLASGOW UK (GLASGOW) participant 22˙500.00
10    XIBIS LIMITED UK (CHIPPENHAM) participant 18˙000.00
11    GREEN BY WEB LDA PT (ARCOS DE VALDEVEZ) participant 13˙500.00
12    UNIVERSITA DEGLI STUDI DI TORINO IT (TORINO) participant 9˙000.00
13    BITLAND SRL IT (BOLOGNA) participant 0.00
14    COMUNE DI TORINO IT (TORINO) participant 0.00
15    DCR SOLUTIONS DK (SNEKKERSTEN) participant 0.00
16    EXFORMATICS AS DK (KOBENHAVN) participant 0.00
17    IXARIS SYSTEMS (MALTA) LIMITED MT (SAN GWANN) participant 0.00
18    MAIDSAFE.NET LIMITED UK (TROON, AYRSHIRE) participant 0.00
19    CARNEGIE MELLON UNIVERSITY US (PITTSBURGH) partner 0.00
20    MCAFEE ARGENTINA S.A. AR (CORDOBA) partner 0.00
21    THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS US (CHAMPAIGN) partner 0.00
22    UNIVERSIDAD DE BUENOS AIRES AR (BUENOS AIRES) partner 0.00

Map

 Project 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.

 Deliverables

List of deliverables.
Portfolio of use-cases and of current practices for API provisioning Documents, reports 2020-04-07 23:13:44
A catalog of problems on the usage of APIs, limitations of current technologies and opportunities for improvement Documents, reports 2020-04-07 23:13:44

Take a look to the deliverables list in detail:  detailed list of BEHAPI deliverables.

 Publications

year authors and title journal last update
List of publications.
2019 Roberto Guanciale, Emilio Tuosto
Realisability of pomsets
published pages: , ISSN: 2352-2208, DOI: 10.1016/j.jlamp.2019.06.003
Journal of Logical and Algebraic Methods in Programming 2020-04-07
2019 Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
On Resolving Non-determinism in Choreographies
published pages: , ISSN: , DOI: 10.5281/zenodo.3260521
Arxiv 2020-04-07
2019 Francalanza,Adrian; Mezzina,Claudio Antares; Rojas,Jose\' Miguel; Tuosto,Emilio; Ulidowski,Irek
Continuous Integration, Choreographically
published pages: , ISSN: , DOI: 10.5281/zenodo.3263870
2020-04-07
2019 Cosimo Laneve, Luca Padovani
Deadlock Analysis of Wait-Notify Coordination
published pages: , ISSN: , DOI:
2020-04-07
2019 Leandro Nahabedian, Victor Braberman, Nicolás D’Ippolito, Jeff Kramer, Sebastian Uchitel
Dynamic Reconfiguration of Business Processes
published pages: , ISSN: , DOI:
Proceedings of 17th Int. Conference on Business Process Management (BPM 2019) 2020-04-07
2019 Francalanza,Adrian; Mezzina,Claudio Antares; Rojas,Jose\' Miguel; Tuosto,Emilio; Ulidowski,Irek
Continuous Integration, Choreographically
published pages: , ISSN: , DOI: 10.5281/zenodo.3263870
2020-04-07
2019 Cosimo Laneve, Luca Padovani
Deadlock Analysis of Wait-Notify Coordination
published pages: , ISSN: , DOI:
2020-04-07
2019 Roberto Guanciale, Emilio Tuosto
Realisability of pomsets
published pages: , ISSN: 2352-2208, DOI: 10.1016/j.jlamp.2019.06.003
Journal of Logical and Algebraic Methods in Programming 2020-04-07
2019 Cosimo Laneve, Luca Padovani
Deadlock Analysis of Wait-Notify Coordination
published pages: , ISSN: , DOI:
2020-04-07
2018 Bernardo Toninho, Nobuko Yoshida
Depending on Session-Typed Processes
published pages: 128-145, ISSN: , DOI: 10.1007/978-3-319-89366-2_7
Foundations of Software Science and Computation Structures 10803 2020-04-07
2018 Luca Padovani
Deadlock-Free Typestate-Oriented Programming
published pages: , ISSN: 2473-7321, DOI: 10.22152/programming-journal.org/2018/2/15
The Art, Science, and Engineering of Programming 2 10 2020-04-07
2019 Rosita Gerbo, Luca Padovani
Concurrent Typestate-Oriented Programming in Java
published pages: 24-34, ISSN: 2075-2180, DOI: 10.4204/eptcs.291.3
Electronic Proceedings in Theoretical Computer Science 291 2020-04-07
2018 Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Choreographies, logically
published pages: 51-67, ISSN: 0178-2770, DOI: 10.1007/s00446-017-0295-1
Distributed Computing 31/1 2020-04-07
2018 Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
Context-Free Session Types for Applied Pi-Calculus
published pages: 3-18, ISSN: 2075-2180, DOI: 10.4204/EPTCS.276.3
Electronic Proceedings in Theoretical Computer Science 276 2020-04-07
2018 Luca Padovani
A type checking algorithm for concurrent object protocols
published pages: 16-35, ISSN: 2352-2208, DOI: 10.1016/j.jlamp.2018.06.001
Journal of Logical and Algebraic Methods in Programming 100 2020-04-07
2019 Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto
Data-Driven Choreographies à la Klaim
published pages: , ISSN: , DOI: 10.1007/978-3-030-21485-2_11
De Nicola-Festschrift, Lecture Notes in Computer Science 11665 2020-04-07

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "BEHAPI" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "BEHAPI" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.3.)

OPEN (2019)

Outcomes of Patients’ Evidence With Novel, Do-It-Yourself Artificial Pancreas Technology

Read More  

ROVER (2020)

RELIABLE TECHNOLOGIES AND MODELS FOR VERIFIED WIRELESS BODY-CENTRIC TRANSMISSION AND LOCALIZATION

Read More  

RADON (2020)

Irradiation driven nanofabrication: computational modelling versus experiment

Read More