Replaying execution trace models for dynamic modeling languages

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

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)71-82
Number of pages12
JournalPeriodica Polytechnica, Electrical Engineering
Volume56
Issue number3
DOIs
Publication statusPublished - 2012

Fingerprint

Dynamic models
Modeling languages
Industry

Keywords

  • Dynamic modeling languages
  • Execution traces
  • Simulation

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Replaying execution trace models for dynamic modeling languages. / Hegedüs, Ábel; Ráth, István; Varró, D.

In: Periodica Polytechnica, Electrical Engineering, Vol. 56, No. 3, 2012, p. 71-82.

Research output: Contribution to journalArticle

@article{128ea0b34e6d4f4fa8fcd517423f88e0,
title = "Replaying execution trace models for dynamic modeling languages",
abstract = "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.",
keywords = "Dynamic modeling languages, Execution traces, Simulation",
author = "{\'A}bel Heged{\"u}s and Istv{\'a}n R{\'a}th and D. Varr{\'o}",
year = "2012",
doi = "10.3311/PPee.7078",
language = "English",
volume = "56",
pages = "71--82",
journal = "Periodica polytechnica Electrical engineering and computer science",
issn = "2064-5260",
publisher = "Budapest University of Technology and Economics",
number = "3",

}

TY - JOUR

T1 - Replaying execution trace models for dynamic modeling languages

AU - Hegedüs, Ábel

AU - Ráth, István

AU - Varró, D.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Dynamic modeling languages

KW - Execution traces

KW - Simulation

UR - http://www.scopus.com/inward/record.url?scp=84890467728&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84890467728&partnerID=8YFLogxK

U2 - 10.3311/PPee.7078

DO - 10.3311/PPee.7078

M3 - Article

AN - SCOPUS:84890467728

VL - 56

SP - 71

EP - 82

JO - Periodica polytechnica Electrical engineering and computer science

JF - Periodica polytechnica Electrical engineering and computer science

SN - 2064-5260

IS - 3

ER -