A Generative Approach to Define Rich Domain-Specific Trace Metamodels

Abstract : Executable Domain-Specific Modeling Languages (xDSMLs) open many possibilities for performing early verification and validation (V&V) of systems. Dynamic V&V approaches rely on execution traces, which represent the evolution of models during their execution. In order to construct traces, generic trace metamodels can be used. Yet, regarding trace manipulations, they lack both efficiency because of their sequential structure, and usability because of their gap to the xDSML. Our contribution is a generative approach that defines a rich and domain-specific trace metamodel enabling the construction of execution traces for models conforming to a given xDSML. Efficiency is increased by providing a variety of navigation paths within traces, while usability is improved by narrowing the concepts of the trace metamodel to fit the considered xDSML. We evaluated our approach by generating a trace metamodel for fUML and using it for semantic differencing, which is an important V&V activity in the realm of model evolution. Results show a significant performance improvement and simplification of the semantic differencing rules as compared to the usage of a generic trace metamodel.
Type de document :
Communication dans un congrès
11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy. 〈https://www.uni-marburg.de/fb12/swt/ecmfa2015〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01154225
Contributeur : Erwan Bousse <>
Soumis le : vendredi 31 juillet 2015 - 17:51:12
Dernière modification le : mercredi 29 novembre 2017 - 15:42:29
Document(s) archivé(s) le : dimanche 1 novembre 2015 - 10:42:09

Fichiers

Identifiants

  • HAL Id : hal-01154225, version 1

Citation

Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry. A Generative Approach to Define Rich Domain-Specific Trace Metamodels. 11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy. 〈https://www.uni-marburg.de/fb12/swt/ecmfa2015〉. 〈hal-01154225〉

Partager

Métriques

Consultations de la notice

894

Téléchargements de fichiers

551