Skip to Main content Skip to Navigation
Journal articles

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

Erwan Bousse 1 Tanja Mayerhofer 1 Benoit Combemale 2 Benoit Baudry 2
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Journal articles
Complete list of metadata
Contributor : Erwan Bousse Connect in order to contact the contributor
Submitted on : Wednesday, October 11, 2017 - 11:17:47 AM
Last modification on : Wednesday, November 3, 2021 - 8:16:36 AM
Long-term archiving on: : Friday, January 12, 2018 - 1:27:57 PM


Publication funded by an institution



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, 2019, pp.1-37. ⟨10.1007/s10270-017-0598-5⟩. ⟨hal-01614377⟩



Les métriques sont temporairement indisponibles