Trace Comprehension Operators for Executable DSLs

Abstract : Recent approaches contribute facilities to breathe life into metamodels, thus making behavioral models directly executable. Such facilities are particularly helpful to better utilize a model over the time dimension, e.g., for early validation and verification. However, when even a small change is made to the model, to the language definition (e.g., semantic variation points), or to the external stimuli of an execution scenario, it remains difficult for a designer to grasp the impact of such a change on the resulting execution trace. This prevents accessible trade-off analysis and design-space exploration on behavioral models. In this paper, we propose a set of formally defined operators for analyzing execution traces. The operators include dynamic trace filtering, trace comparison with diff computation and visualization, and graph-based view extraction to analyze cycles. The operators are applied and validated on a demonstrative example that highlight their usefulness for the comprehension specific aspects of the underlying traces.
Type de document :
Communication dans un congrès
ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. Springer, 10890, pp.293-310, LNCS. 〈10.1007/978-3-319-92997-2_19〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01803031
Contributeur : Dorian Leroy <>
Soumis le : mercredi 30 mai 2018 - 11:25:26
Dernière modification le : jeudi 15 novembre 2018 - 11:58:59
Document(s) archivé(s) le : vendredi 31 août 2018 - 13:31:56

Fichier

trace-comprehension.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer. Trace Comprehension Operators for Executable DSLs. ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. Springer, 10890, pp.293-310, LNCS. 〈10.1007/978-3-319-92997-2_19〉. 〈hal-01803031〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

73