Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03274000
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2021 - 4:13:33 PM
Last modification on : Tuesday, June 29, 2021 - 4:30:31 PM
Long-term archiving on: : Thursday, September 30, 2021 - 7:15:19 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

25