Zur Seitenansicht


Advanced and efficient execution trace management for executable domain-specific modeling languages
Verfasser / Verfasserin Bousse, Erwan ; Mayerhofer, Tanja ; Combemale, Benoit ; Baudry, Benoit
Erschienen in
Software & Systems Modeling, 2017,, S. 1-37
ErschienenSpringer Nature, 2017
DokumenttypAufsatz in einer Zeitschrift
Schlagwörter (EN)Model execution / Domain-specific languages / Execution trace
Projekt-/ReportnummerNR INS Project GEMOC: ANR-12-INSE-0011 ; COST Action MPM4CPS: IC1404 ; Austrian Science Fund (FWF): P 28519-N31 ; Austrian Agency for Cooperation in Education and Research (OeAD): FR 08/2017
URNurn:nbn:at:at-ubtuw:3-4214 Persistent Identifier (URN)
 Das Werk ist frei verfügbar
Advanced and efficient execution trace management for executable domain-specific modeling languages [2.18 mb]
Zusammenfassung (Englisch)

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.

Das PDF-Dokument wurde 8 mal heruntergeladen.
CC-BY-Lizenz (4.0)Creative Commons Namensnennung 4.0 International Lizenz