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.

DOI: 10.1109/SEFM.2010.28

12 Figures and Tables

Cite this paper

@article{Hegeds2010BackannotationOS, title={Back-annotation of Simulation Traces with Change-Driven Model Transformations}, author={{\'A}bel Heged{\"{u}s and G{\'a}bor Bergmann and Istv{\'a}n R{\'a}th and D{\'a}niel Varr{\'o}}, journal={2010 8th IEEE International Conference on Software Engineering and Formal Methods}, year={2010}, pages={145-155} }