%0 Conference Proceedings
%T A Choreography-Driven Approach to APIs: The OpenDXL Case Study
%+ McAfee [Cordoba]
%+ Instituto de Investigación en Ciencias de la Computación [Buenos Aires] (ICC)
%+ University of Leicester
%+ Gran Sasso Science Institute (GSSI)
%A Frittelli, Leonardo
%A Maldonado, Facundo
%A Melgratti, Hernán
%A Tuosto, Emilio
%Z Part 3: Message-Based Communication
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 107-124
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_7
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03274000/document
%2 https://inria.hal.science/hal-03274000/file/495623_1_En_7_Chapter.pdf
%L hal-03274000
%U https://inria.hal.science/hal-03274000
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134