Search

Your search keyword '"Leonardo Frittelli"' showing total 2 results
Start Over Author "Leonardo Frittelli"
2 results on '"Leonardo Frittelli"'

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

Author

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, and WG 6.1

Subjects
Computer science, business.industry, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Software implementation, Article, Data flow diagram, Choreography, Threat intelligence, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 010201 computation theory & mathematics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Visual presentation, Communications protocol, Software engineering, business
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.

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results