Composing Message Translators and Inferring their Data Types using Tree Automata

Abstract : Modern distributed systems and Systems of Systems (SoS) are built as a composition of existing components and services. As a result, systems communicate (either internally, locally or over networks) using protocol stacks of ever-increasing complexity whose messages need to be translated (i.e., interpreted, generated, analyzed and transformed) by third-party systems such as services dedicated to security or interoperability. We observe that current approaches in software engineering are unable to provide an efficient solution towards reusing message translators associated with the message formats composed in protocol stacks. Instead, developers must write ad hoc “glue-code” whenever composing two or more message translators. In addition, the data structures of the output must be integrated/harmonized with the target system. In this paper we propose a solution to the above that enables the composition of message translators according to a high-level user-provided query. While the composition scheme we propose is simple, the inference of the resulting data structures is a problem that has not been solved up to present. This leads us to contribute with a novel data type inference mechanism, which generates a data-schema using tree automata, based on the aforementioned user query.
Type de document :
Communication dans un congrès
FASE 2015 : 18th International Conference on Fundamental Approaches to Software Engineering, Apr 2015, London, United Kingdom. 9033, pp.35-50, 2015, Lecture Notes in Computer Science. 〈http://www.etaps.org/index.php/2015/fase〉. 〈10.1007/978-3-662-46675-9_3〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01097389
Contributeur : Emil - Mircea Andriescu <>
Soumis le : dimanche 13 septembre 2015 - 16:30:32
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : mardi 29 décembre 2015 - 01:04:40

Fichier

FASE2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Emil - Mircea Andriescu, Thierry Martinez, Valérie Issarny. Composing Message Translators and Inferring their Data Types using Tree Automata. FASE 2015 : 18th International Conference on Fundamental Approaches to Software Engineering, Apr 2015, London, United Kingdom. 9033, pp.35-50, 2015, Lecture Notes in Computer Science. 〈http://www.etaps.org/index.php/2015/fase〉. 〈10.1007/978-3-662-46675-9_3〉. 〈hal-01097389〉

Partager

Métriques

Consultations de la notice

255

Téléchargements de fichiers

131