Replaying Execution Trace Models for Dynamic Modeling Languages

Hegedüs, Ábel; Ráth, István; Varró, Dániel

doi:10.3311/ppee.7078

Cited by 10 publications

(14 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To this end, a mechanism equivalent to the well-known package merge operation of UML and MOF [53,56] can be used. Note that in practice, existing tools and approaches use different but similar extension mechanismse.g., Kermeta [40] uses aspect weaving, xMOF [49] uses generalization, Hegedüs et al [35] use separate metaclasses.…”

Section: Executable Domain-specific Modeling Languagesmentioning

confidence: 99%

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

et al. 2017

View full text Add to dashboard Cite

International audienceExecutable 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

show abstract

Section: Executable Domain-specific Modeling Languagesmentioning

confidence: 99%

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

et al. 2017

View full text Add to dashboard Cite

show abstract

“…The work from [17] has extended this mechanism to actually implement trace analysis to verify some temporal relations. Yet another approach is to replay execution of a trace over the model to investigate the example at stake [18].…”

Section: Background and Related Work A Related Workmentioning

confidence: 99%

Flexible runtime verification based on logical clock constraints

Yue¹,

Joloboff²,

Mallet³

2016

2016 Forum on Specification and Design Languages (FDL)

View full text Add to dashboard Cite

We present in this paper a method and tool for the verification of causal and temporal properties of embedded systems, by analyzing the trace streams resulting from virtual prototypes that combines simulated hardware and embedded software. The proposed method makes it possible to analyze different kinds of properties without rebuilding the simulation models. Logical clocks are used to identify relevant points to put observation probes and thus also reducing the trace streams size. We propose a property specification language, called PSML, and based on behavioral patterns that does not require knowledge of temporal logics. From a given PSML specification, simulation is instrumented to generate a trace and the code is dynamically loaded by the simulator. The resulting trace stream is analyzed by parallel automata generated from the specification. The experiments, developed over the SimSoC virtual prototyping framework, show flexibility, possibility of using multi-core platforms to parallelize simulation and verification, providing fast results.

show abstract

“…Note that in practice, existing tools and approaches use different but similar extension mechanisms-e.g. Kermeta [13] uses aspect weaving, xMOF [19] uses generalization, Hegedüs et al [11] use separate classes.…”

Section: Executable Metamodelingmentioning

confidence: 99%

“…Capturing the Values of Fields (lines [11][12][13][14]. At any given point in time, all mutable fields of an object of the executed model have a value.…”

Section: Trace Metamodel Generationmentioning

confidence: 99%

See 1 more Smart Citation

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

Replaying Execution Trace Models for Dynamic Modeling Languages

Cited by 10 publications

References 35 publications

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

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

Flexible runtime verification based on logical clock constraints

A Generative Approach to Define Rich Domain-Specific Trace Metamodels

Contact Info

Product

Resources

About