Execution Traces: A New Domain That Requires the Creation of a Standard Metamodel

Alawneh, Luay; Hamou-Lhadj, Abdelwahab

doi:10.1007/978-3-642-10619-4_31

Cited by 6 publications

(5 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The content of traces depends on the degree of abstraction required by the desired dynamic V&V technique and the runtime concepts provided by the languages as well. Alawneh and Hamou-Lhadj [2] have categorized traces of code-centric systems into statementlevel traces, routine call traces, inter-process traces, and system call level traces. In the case of executable models, execution traces may contain different kinds of information depending on the considered executable modeling language.…”

Section: Model Execution Tracesmentioning

confidence: 99%

Model execution tracing: a systematic mapping study

et al. 2019

Self Cite

View full text Add to dashboard Cite

Model Driven Engineering is a development paradigm that uses models instead of code as primary development artifacts. In this paper, we focus on executable models, which are used to abstract the behavior of systems for the purpose of verifying and validating (V&V) a system's properties. Model execution tracing (i.e., obtaining and analyzing traces of model executions) is an important enabler for many V&V techniques including testing, model checking, and system comprehension. This may explain the increase in the number of proposed approaches on tracing model executions in the last years. Despite the increased attention, there is currently no clear understanding of the state of the art in this research field, making it difficult to identify research gaps and opportunities. The goal of this paper is to survey and classify existing work on model execution tracing, and identify promising future research directions. To achieve this, we conducted a systematic mapping study where we examined 64 primary studies out of 645 found publications. We found that the majority of model execution tracing approaches has been developed for the purpose of testing and dynamic analysis. Furthermore, most approaches target specific

show abstract

Section: Model Execution Tracesmentioning

confidence: 99%

Model execution tracing: a systematic mapping study

et al. 2019

Self Cite

View full text Add to dashboard Cite

show abstract

“…Alawneh and Hamou-Lhadj [31] have categorized traces of code-centric systems into statement-level traces, routine call traces, inter-process traces, and system call level traces. In the case of executable models, execution traces may contain different type of information depending on the executable modeling language.…”

Section: Model Execution Tracesmentioning

confidence: 99%

Lossless compaction of model execution traces

Hojaji¹,

Zamani²,

Hamou-Lhadj³

et al. 2019

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

Dynamic Verification and Validation (V&V) techniques are used to verify and validate the behavior of software systems early in the development process. In the context of model-driven engineering, such behaviors are usually defined using Executable Domain-Specific Modeling Languages (xDSML). Many V&V techniques rely on execution traces to represent and analyze the behavior of executable models. Traces, however, tend to be overwhelmingly large, hindering effective and efficient analysis of their content. While there exist several trace metamodels to represent execution traces, most of them suffer from scalability problems. In this paper, we present a generic compact trace representation format called generic Compact Trace Metamodel (CTM) that enables the construction and manipulation of compact execution traces of executable models. CTM is generic in the sense that it supports a wide range of xDSMLs. We evaluate CTM on traces obtained from real-world fUML models. Compared to existing trace metamodels, the results show a significant reduction in memory and disk consumption. Moreover, CTM offers a common structure with the aim to facilitate interoperability between existing trace analysis tools.

show abstract

“…Considerable effort has been made to design generic trace formats to represent traces of programs or models conforming to any possible language [1,8,10,7]. However, while they may have interesting characteristics (modeling of logical time, handling of distributed systems, etc.…”

Section: From Generic To Rich Domain-specific Trace Metamodelsmentioning

confidence: 99%

A Generative Approach to Define Rich Domain-Specific Trace Metamodels

Bousse

Mayerhofer

Combemale³

et al. 2015

Modelling Foundations and Applications

View full text Add to dashboard Cite

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.

show abstract

Execution Traces: A New Domain That Requires the Creation of a Standard Metamodel

Cited by 6 publications

References 18 publications

Model execution tracing: a systematic mapping study

Model execution tracing: a systematic mapping study

Lossless compaction of model execution traces

A Generative Approach to Define Rich Domain-Specific Trace Metamodels

Contact Info

Product

Resources

About