Die Suchmaschine für Unternehmensdaten in Europa
EU-Förderung (630.000 €): Bedienanwendungsprogrammschnittstellen Hor 25.01.2018 EU-Rahmenprogramm für Forschung und Innovation "Horizont"
Auf einen Blick
Text
Bedienanwendungsprogrammschnittstellen
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.
Geförderte Unternehmen:
| Firmenname | Förderungssumme |
| Carnegie Mellon University | ? |
| Aalborg Universitet | 22.500 € |
| Actyx AG | 18.000,00 € |
| Alma Mater Studiorum - Universita Di Bologna | 56.250 € |
| Bitland Srl | 0,00 € |
| Caixa Magica Software SA | 0,00 € |
| Codebaker Srls | 0,00 € |
| Comune Di Torino | 0,00 € |
| DCR Solutions | 0,00 € |
| Exformatics AS | 0,00 € |
| Gran Sasso Science Institute | 67.500 € |
| Green BY Web Lda. | 13.500,00 € |
| Italianasoftware Srl | 0,00 € |
| IT-Universitetet I Kobenhavn | 45.000 € |
| Ixaris Systems (Malta) Ltd. | 0,00 € |
| Maidsafe.NET Ltd. | 0,00 € |
| Nova ID FCT - Associação para A Inovacao e Desenvolvimento da FCT | 130.500 € |
| Universita Degli Studi Di Torino | 18.000,00 € |
| Universita TA Malta | 110.250 € |
| University of Glasgow | 31.500 € |
| University of Kent | 49.500 € |
| University of Leicester | 58.500 € |
| Xibis Ltd. | 9.000,00 € |
Quelle: https://cordis.europa.eu/project/id/778233
Diese Bekanntmachung wurde von Englisch nach Deutsch übersetzt. Die Bekanntmachung bezieht sich auf einen vergangenen Zeitpunkt, und spiegelt nicht notwendigerweise den heutigen Stand wider. Der letzte verfügbare Stand wird auf folgender Seite wiedergegeben: Carnegie Mellon University, Pittsburgh, USA.