Title: Advanced and efficient execution trace management for executable domain-specific modeling languages
Language: English
Authors: Bousse, Erwan 
Mayerhofer, Tanja 
Combemale, Benoit 
Baudry, Benoit 
Category: Research Article
Keywords: Model execution; Domain-specific languages; Execution trace
Issue Date: 2017
Journal: Software & Systems Modeling
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.
DOI: 10.1007/s10270-017-0598-5
Library ID: AC15188638
URN: urn:nbn:at:at-ubtuw:3-4214
ISSN: 1619-1366
Organisation: E194 - Institut für Informationssysteme 
Publication Type: Article
Appears in Collections:Article

Files in this item:

Show full item record

Page view(s)

checked on Feb 26, 2021


checked on Feb 26, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons