Towards Scalable Multidimensional Execution Traces for xDSMLs

Erwan Bousse 1 Benoit Combemale 1 Benoit Baudry 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Executable Domain Specific Modeling Languages (xDSML) opens many possibilities in terms of early verification and validation (V&V) of systems, including the use of dynamic V&V approaches. Such approaches rely on the notion of execution trace, i.e. the evolution of a system during a run. To benefit from dynamic V&V approaches, it is therefore necessary to characterize what is the structure of the executions traces of a given xDSML. Our goal is to provide an approach to design trace metamodels for xDSMLs. We identify seven problems that must be considered when modeling execution traces, including concurrency, modularity, and scalability. Then we present our envisioned approach to design scalable multidimensional trace metamodels for xDSMLs. Our work in progress relies on the dimensions of a trace (i.e. subsets of mu- table elements of the traced model) to provide an original structure that faces the identified problems, along with a trace API to manipulate them.
Type de document :
Communication dans un congrès
11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain. 2014
Liste complète des métadonnées


https://hal.inria.fr/hal-01061740
Contributeur : Erwan Bousse <>
Soumis le : vendredi 31 juillet 2015 - 17:49:13
Dernière modification le : jeudi 9 février 2017 - 16:04:38
Document(s) archivé(s) le : dimanche 1 novembre 2015 - 10:41:58

Fichiers

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

Identifiants

  • HAL Id : hal-01061740, version 1

Citation

Erwan Bousse, Benoit Combemale, Benoit Baudry. Towards Scalable Multidimensional Execution Traces for xDSMLs. 11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain. 2014. <hal-01061740>

Partager

Métriques

Consultations de
la notice

417

Téléchargements du document

145