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

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

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

27 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 - Dec 29 2010
Event8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 - Pisa, Italy
Duration: Sep 14 2010Sep 18 2010

Publication series

NameProceedings - Software Engineering and Formal Methods, SEFM 2010

Other

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

    Fingerprint

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] (Proceedings - Software Engineering and Formal Methods, SEFM 2010). https://doi.org/10.1109/SEFM.2010.28