Show simple item record

Hegedüs, Ábel
Ráth, István Zoltán
Varró, Dániel
2016-09-04T21:36:09Z
2016-09-04T21:36:09Z
2012
http://hdl.handle.net/10890/4939
Back-end analysis tools aiming to carry out model-based verification and validation of dynamic behavioral models frequently produce sequences of simulation steps (called execution traces) as their output. In order to support back-annotation of such traces, we need to store and replay them within a modeling environment (outside the analysis tool). In the paper, we present a technique for replaying recorded execution traces of dynamic modeling languages. Our approach complements static and dynamic metamodels by introducing a generic execution trace metamodel which is used to replay completed executions of a simulation directly over the dynamic model. Furthermore, we present a technique to drive a simulation according to execution trace models. Our approach will be exemplified by the modeling language and trace information of the SAL model checker and BPEL business processes.
en
Budapest University of Technology and Economics
Replaying Execution Trace Models for Dynamic Modeling Languages
folyóiratcikk
Postprint
Open access
2690748
84890467728
2064-5260
2064-5279
3
56
Periodica Polytechnica - Electrical Engineering and Computer Science
execution traces
simulation
dynamic modeling languages
Tudományos cikk
71
82


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record