A Choreography-Driven Approach to APIs: The OpenDXL Case Study - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

A Choreography-Driven Approach to APIs: The OpenDXL Case Study

Leonardo Frittelli
  • Fonction : Auteur
  • PersonId : 1103685
Facundo Maldonado
  • Fonction : Auteur
  • PersonId : 1103686

Résumé

We propose a model-driven approach based on formal data-driven choreographies to model message-passing applications. We apply our approach to the threat intelligence exchange (TIE) services provided by McAfee through the OpenDXL industrial platform. We advocate a chain of model transformations that (i) devises a visual presentation of communication protocols, (ii) formalises a global specification from the visual presentation that captures the data flow among services, (iii) enables the automatic derivation of specifications for the single components, and (iv) enables the analysis of software implementations.
Fichier principal
Vignette du fichier
495623_1_En_7_Chapter.pdf (410.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03274000 , version 1 (29-06-2021)

Licence

Paternité

Identifiants

Citer

Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti, Emilio Tuosto. A Choreography-Driven Approach to APIs: The OpenDXL Case Study. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩. ⟨hal-03274000⟩
34 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More