Back-annotation of simulation traces with change-driven model transformations

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)

Abstract

Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments. Here we propose a technique for the back-annotation of simulation traces based on change-driven model transformations. Simulation traces of analysis models will be persisted as a change model with high-level change commands representing macro steps of a trace. This trace is back-annotated to the design model using change-driven transformation rules, which bridge the conceptual differences between macro steps in the analysis and design traces. Our concepts will be demonstrated on the back-annotation problem for analyzing BPEL processes using a Petri net simulator.

Original languageEnglish
Title of host publicationProceedings - Software Engineering and Formal Methods, SEFM 2010
Pages145-155
Number of pages11
DOIs
Publication statusPublished - 2010
Event8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 - Pisa, Italy
Duration: Sep 14 2010Sep 18 2010

Other

Other8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010
CountryItaly
CityPisa
Period9/14/109/18/10

Fingerprint

Macros
Petri nets
Simulators
Mathematical models
Defects
Formal verification

Keywords

  • Back-annotation
  • Change-driven model transformations
  • Simulation traces

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Cite this

Hegedüs, Á., Bergmann, G., Ráth, I., & Varró, D. (2010). Back-annotation of simulation traces with change-driven model transformations. In Proceedings - Software Engineering and Formal Methods, SEFM 2010 (pp. 145-155). [5637422] https://doi.org/10.1109/SEFM.2010.28

Back-annotation of simulation traces with change-driven model transformations. / Hegedüs, Ábel; Bergmann, Gábor; Ráth, István; Varró, D.

Proceedings - Software Engineering and Formal Methods, SEFM 2010. 2010. p. 145-155 5637422.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hegedüs, Á, Bergmann, G, Ráth, I & Varró, D 2010, Back-annotation of simulation traces with change-driven model transformations. in Proceedings - Software Engineering and Formal Methods, SEFM 2010., 5637422, pp. 145-155, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 9/14/10. https://doi.org/10.1109/SEFM.2010.28
Hegedüs Á, Bergmann G, Ráth I, Varró D. Back-annotation of simulation traces with change-driven model transformations. In Proceedings - Software Engineering and Formal Methods, SEFM 2010. 2010. p. 145-155. 5637422 https://doi.org/10.1109/SEFM.2010.28
Hegedüs, Ábel ; Bergmann, Gábor ; Ráth, István ; Varró, D. / Back-annotation of simulation traces with change-driven model transformations. Proceedings - Software Engineering and Formal Methods, SEFM 2010. 2010. pp. 145-155
@inproceedings{c57ebfdfab8b4153ba2402ab8ddd7156,
title = "Back-annotation of simulation traces with change-driven model transformations",
abstract = "Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments. Here we propose a technique for the back-annotation of simulation traces based on change-driven model transformations. Simulation traces of analysis models will be persisted as a change model with high-level change commands representing macro steps of a trace. This trace is back-annotated to the design model using change-driven transformation rules, which bridge the conceptual differences between macro steps in the analysis and design traces. Our concepts will be demonstrated on the back-annotation problem for analyzing BPEL processes using a Petri net simulator.",
keywords = "Back-annotation, Change-driven model transformations, Simulation traces",
author = "{\'A}bel Heged{\"u}s and G{\'a}bor Bergmann and Istv{\'a}n R{\'a}th and D. Varr{\'o}",
year = "2010",
doi = "10.1109/SEFM.2010.28",
language = "English",
isbn = "9780769541532",
pages = "145--155",
booktitle = "Proceedings - Software Engineering and Formal Methods, SEFM 2010",

}

TY - GEN

T1 - Back-annotation of simulation traces with change-driven model transformations

AU - Hegedüs, Ábel

AU - Bergmann, Gábor

AU - Ráth, István

AU - Varró, D.

PY - 2010

Y1 - 2010

N2 - Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments. Here we propose a technique for the back-annotation of simulation traces based on change-driven model transformations. Simulation traces of analysis models will be persisted as a change model with high-level change commands representing macro steps of a trace. This trace is back-annotated to the design model using change-driven transformation rules, which bridge the conceptual differences between macro steps in the analysis and design traces. Our concepts will be demonstrated on the back-annotation problem for analyzing BPEL processes using a Petri net simulator.

AB - Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments. Here we propose a technique for the back-annotation of simulation traces based on change-driven model transformations. Simulation traces of analysis models will be persisted as a change model with high-level change commands representing macro steps of a trace. This trace is back-annotated to the design model using change-driven transformation rules, which bridge the conceptual differences between macro steps in the analysis and design traces. Our concepts will be demonstrated on the back-annotation problem for analyzing BPEL processes using a Petri net simulator.

KW - Back-annotation

KW - Change-driven model transformations

KW - Simulation traces

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

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

U2 - 10.1109/SEFM.2010.28

DO - 10.1109/SEFM.2010.28

M3 - Conference contribution

SN - 9780769541532

SP - 145

EP - 155

BT - Proceedings - Software Engineering and Formal Methods, SEFM 2010

ER -