Back to Search Start Over

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

Authors :
Hernán Melgratti
Facundo Maldonado
Leonardo Frittelli
Emilio Tuosto
McAfee [Cordoba]
Instituto de Investigación en Ciencias de la Computación [Buenos Aires] (ICC)
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] (CONICET)-Facultad de Ciencias Exactas y Naturales [Buenos Aires] (FCEyN)
Universidad de Buenos Aires [Buenos Aires] (UBA)-Universidad de Buenos Aires [Buenos Aires] (UBA)
University of Leicester
Gran Sasso Science Institute (GSSI)
Istituto Nazionale di Fisica Nucleare (INFN)
Simon Bliudze
Laura Bocchi
TC 6
WG 6.1
Source :
Coordination Models and Languages, Lecture Notes in Computer Science, 22th International Conference on Coordination Languages and Models (COORDINATION), 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩, Lecture Notes in Computer Science ISBN: 9783030500283, COORDINATION
Publication Year :
2020

Abstract

Part 3: Message-Based Communication; International audience; 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.

Details

Language :
English
ISBN :
978-3-030-50028-3
ISBNs :
9783030500283
Volume :
12134
Database :
OpenAIRE
Journal :
Coordination Models and Languages
Accession number :
edsair.doi.dedup.....e3967a15a7fd3579d6247743d57701d6