Explore the words cloud of the BEHAPI project. It provides you a very rough idea of what is the project "BEHAPI" about.
The following table provides information about the project.
Coordinator |
UNIVERSITA TA MALTA
Organization address contact info |
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 |
Take a look of project's partnership.
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.
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.
year | authors and title | journal | last update |
---|---|---|---|
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.
Outcomes of Patients’ Evidence With Novel, Do-It-Yourself Artificial Pancreas Technology
Read MoreRELIABLE TECHNOLOGIES AND MODELS FOR VERIFIED WIRELESS BODY-CENTRIC TRANSMISSION AND LOCALIZATION
Read MoreIrradiation driven nanofabrication: computational modelling versus experiment
Read More