Replaying Execution Trace Models for Dynamic Modeling Languages

Ábel, Hegedüs [Hegedüs, Ábel (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); István, Ráth [Ráth, István Zoltán (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Dániel, Varró [Varró, Dániel (Informatika, szof...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
  • SJR Scopus - Computer Networks and Communications: Q4
Azonosítók
Szakterületek:
    Back-end analysis tools aiming to carry out model-based verifi#?#cation 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 exemplifi#?#ed by the modeling language and trace information of the SAL model checker and BPEL business processes.
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-09-23 07:01