CORDIS

EU research results

CORDIS

Behavioural Application Program Interfaces

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.

Programme(s)

H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge

Topic(s)

MSCA-RISE-2017 - Research and Innovation Staff Exchange

Call for proposal

H2020-MSCA-RISE-2017

See other projects for this call

Funding Scheme

MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)

Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

UNIVERSITA TA MALTA

Address

University Campus, Tal-Qroqq
2080 Msida

Malta

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 94 500

Website

Contact the organisation

Participants (17)

Sort alphabetically

Sort by EU Contribution

Expand all

UNIVERSITY OF LEICESTER

United Kingdom

EU Contribution

€ 112 500

NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT

Portugal

EU Contribution

€ 130 500

UNIVERSITY OF KENT

United Kingdom

EU Contribution

€ 72 000

AALBORG UNIVERSITET

Denmark

EU Contribution

€ 22 500

UNIVERSITY OF GLASGOW

United Kingdom

EU Contribution

€ 22 500

IT-UNIVERSITETET I KOBENHAVN

Denmark

EU Contribution

€ 58 500

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA

Italy

EU Contribution

€ 54 000

UNIVERSITA DEGLI STUDI DI TORINO

Italy

EU Contribution

€ 9 000

ACTYX AG

Germany

EU Contribution

€ 22 500

BITLAND SRL

Italy

IXARIS SYSTEMS (MALTA) LIMITED

Malta

GREEN BY WEB LDA

Portugal

EU Contribution

€ 13 500

COMUNE DI TORINO

Italy

XIBIS LIMITED

United Kingdom

EU Contribution

€ 18 000

EXFORMATICS AS

Denmark

MAIDSAFE.NET LIMITED

United Kingdom

DCR SOLUTIONS

Denmark

Partners (4)

Sort alphabetically

Expand all

CARNEGIE MELLON UNIVERSITY

UNIVERSIDAD DE BUENOS AIRES

THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS

MCAFEE ARGENTINA S.A.

Project information

BEHAPI

Grant agreement ID: 778233

Status

Ongoing project

Start date

1 March 2018
End date

28 February 2022

Funded under:

H2020-EU.1.3.3.

Overall budget:

€ 742 500
EU contribution

€ 630 000

Coordinated by:

UNIVERSITA TA MALTA

Malta

Project information

BEHAPI

Grant agreement ID: 778233

Status

Ongoing project

Start date

1 March 2018
End date

28 February 2022

Funded under:

H2020-EU.1.3.3.

Overall budget:

€ 742 500
EU contribution

€ 630 000

Coordinated by:

UNIVERSITA TA MALTA

Deliverables

Documents, reports (1)

Publications

Peer reviewed articles (7)

Deadlock-Free Typestate-Oriented Programming

Author(s): Luca Padovani

Published in: The Art, Science, and Engineering of Programming, Issue 2 10.22152/programming-journal.org/2018/2 http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321

DOI: 10.22152/programming-journal.org/2018/2/15

Choreographies, logically

Author(s): Marco Carbone, Fabrizio Montesi, Carsten Schürmann

Published in: Distributed Computing, Issue 31/1, 2018, Page(s) 51-67, ISSN 0178-2770

DOI: 10.1007/s00446-017-0295-1

Context-Free Session Types for Applied Pi-Calculus

Author(s): Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Published in: Electronic Proceedings in Theoretical Computer Science, Issue 276, 2018, Page(s) 3-18, ISSN 2075-2180

DOI: 10.4204/EPTCS.276.3

Realisability of pomsets

Author(s): Roberto Guanciale, Emilio Tuosto

Published in: Journal of Logical and Algebraic Methods in Programming, 2019, ISSN 2352-2208

DOI: 10.1016/j.jlamp.2019.06.003

A type checking algorithm for concurrent object protocols

Author(s): Luca Padovani

Published in: Journal of Logical and Algebraic Methods in Programming, Issue 100, 2018, Page(s) 16-35, ISSN 2352-2208

DOI: 10.1016/j.jlamp.2018.06.001

Realisability of pomsets

Author(s): Roberto Guanciale, Emilio Tuosto

Published in: Journal of Logical and Algebraic Methods in Programming, 2019, ISSN 2352-2208

DOI: 10.1016/j.jlamp.2019.06.003

Concurrent Typestate-Oriented Programming in Java

Author(s): Rosita Gerbo, Luca Padovani

Published in: Electronic Proceedings in Theoretical Computer Science, Issue 291, 2019, Page(s) 24-34, ISSN 2075-2180

DOI: 10.4204/eptcs.291.3

Conference proceedings (4)

Deadlock Analysis of Wait-Notify Coordination

Author(s): Cosimo Laneve, Luca Padovani

Published in: 2019

Deadlock Analysis of Wait-Notify Coordination

Author(s): Cosimo Laneve, Luca Padovani

Published in: 2019

Dynamic Reconfiguration of Business Processes

Author(s): Leandro Nahabedian, Victor Braberman, Nicolás D’Ippolito, Jeff Kramer, Sebastian Uchitel

Published in: Proceedings of 17th Int. Conference on Business Process Management (BPM 2019), 2019

Dynamic Reconfiguration of Business Processes

Author(s): Leandro Nahabedian, Victor Braberman, Nicolás D’Ippolito, Jeff Kramer, Sebastian Uchitel

Published in: Proceedings of 17th Int. Conference on Business Process Management (BPM 2019), 2019

Other (2)

Continuous Integration, Choreographically

Author(s): Francalanza,Adrian; Mezzina,Claudio Antares; Rojas,Jose' Miguel; Tuosto,Emilio; Ulidowski,Irek

Published in: 2019

DOI: 10.5281/zenodo.3263870

Continuous Integration, Choreographically

Author(s): Francalanza,Adrian; Mezzina,Claudio Antares; Rojas,Jose' Miguel; Tuosto,Emilio; Ulidowski,Irek

Published in: 2019

DOI: 10.5281/zenodo.3263870

Book chapters (2)

Data-Driven Choreographies à la Klaim

Author(s): Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto

Published in: De Nicola-Festschrift, Lecture Notes in Computer Science, Issue 11665, 2019

DOI: 10.1007/978-3-030-21485-2_11

Data-Driven Choreographies à la Klaim

Author(s): Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto

Published in: De Nicola-Festschrift, Lecture Notes in Computer Science, Issue 11665, 2019

DOI: 10.1007/978-3-030-21485-2_11

Project information

BEHAPI

Grant agreement ID: 778233

Status

Ongoing project

Start date

1 March 2018
End date

28 February 2022

Funded under:

H2020-EU.1.3.3.

Overall budget:

€ 742 500
EU contribution

€ 630 000

Coordinated by:

UNIVERSITA TA MALTA

Project information

BEHAPI

Grant agreement ID: 778233

Status

Ongoing project

Start date

1 March 2018
End date

28 February 2022

Funded under:

H2020-EU.1.3.3.

Overall budget:

€ 742 500
EU contribution

€ 630 000

Coordinated by:

UNIVERSITA TA MALTA

Download

PDF

XML

Last update: 28 June 2019

Record number: 213016

CORDIS

Objective

Coordinator

Participants (17)

Partners (4)

Project information

Project information

Deliverables

Publications

Project information

Project information

Share this page

Download