Advanced and efficient execution trace management for executable domain-specific modeling languages

Abstract : Executable Domain-Specific Modeling Languages (xDSMLs) enable the application of early dynamic verification and validation (V&V) techniques for behavioral models. At the core of such techniques, execution traces are used to represent the evolution of models during their execution. In order to construct execution traces for any xDSML, generic trace metamodels can be used. Yet, regarding trace manipulations, generic trace metamodels lack efficiency in time because of their sequential structure, efficiency in memory because they capture superfluous data, and usability because of their conceptual gap with the considered xDSML. Our contribution is a novel generative approach that defines a multidimensional and domain-specific trace metamodel enabling the construction and manipulation of execution traces for models conforming to a given xDSML. Efficiency in time is improved by providing a variety of navigation paths within traces, while usability and memory are improved by narrowing the scope of trace metamodels 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 technique 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 :
Article dans une revue
Software and Systems Modeling, Springer Verlag, 2017, pp.1-37 〈10.1007/s10270-017-0598-5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01614377
Contributeur : Erwan Bousse <>
Soumis le : mercredi 11 octobre 2017 - 11:17:47
Dernière modification le : jeudi 12 octobre 2017 - 13:33:27

Fichier

sosym-bousse-tracemanagement-2...
Publication financée par une institution

Identifiants

Citation

Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry. Advanced and efficient execution trace management for executable domain-specific modeling languages. Software and Systems Modeling, Springer Verlag, 2017, pp.1-37 〈10.1007/s10270-017-0598-5〉. 〈hal-01614377〉

Partager

Métriques

Consultations de
la notice

48

Téléchargements du document

16