@inproceedings {SEFM10:back-ann,
	title = {Back-annotation of Simulation Traces with Change-Driven Model Transformations},
	booktitle = {Proceedings of the Eighth International Conference on Software Engineering and Formal Methods},
	year = {2010},
	note = {Acceptance rate: 22\%},
	month = {09/2010},
	pages = {145-155},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Pisa},
	abstract = {<p>Model-driven analysis aims at detecting design\&nbsp;flaws early in high-level design models by automatically de-riving mathematical models. These analysis models are sub-sequently investigated by formal verification and validation\&nbsp;(V\&amp;V) tools, which may retrieve traces violating a certain\&nbsp;requirement. Back-annotation aims at mapping back the results\&nbsp;of V\&amp;V tools to the design model in order to highlight the real\&nbsp;source of the fault, to ease making necessary amendments.\&nbsp;Here we propose a technique for the back-annotation of sim-ulation traces based on change-driven model transformations.\&nbsp;Simulation traces of analysis models will be persisted as a\&nbsp;change model with high-level change commands representing\&nbsp;macro steps of a trace. This trace is back-annotated to the\&nbsp;design model using change-driven transformation rules, which\&nbsp;bridge the conceptual differences between macro steps in the\&nbsp;analysis and design traces. Our concepts will be demonstrated\&nbsp;on the back-annotation problem for analyzing BPEL processes\&nbsp;using a Petri net simulator.</p>
},
	keywords = {Viatra},
	isbn = {978-0-7695-4153-2},
	doi = {10.1109/SEFM.2010.28},
	url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5637422},
	author = {{\'A}bel Heged{\"u}s and G{\'a}bor Bergmann and Istv{\'a}n R{\'a}th and D{\'a}niel Varr{\'o}}
}
