@inproceedings {1651,
	title = {Quick fix generation for DSMLs},
	booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011},
	year = {2011},
	note = {Acceptance rate: 33\%},
	month = {09/2011},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Pittsbourgh, PA, USA},
	abstract = {<p>Domain-specific modeling languages (DSML) proved\&nbsp;to be an important asset in creating powerful design tools for\&nbsp;domain experts. \&nbsp;Although these tools are capable of preserving\&nbsp;the syntax-correctness of models even during free-hand editing,\&nbsp;they often lack the ability of maintaining the non-syntactical\&nbsp;language-specific constraints in models. Hence, there is a need\&nbsp;for approaches which are capable of assisting DSML users\&nbsp;to create consistent models. In this paper we describe an\&nbsp;approach for generating quick fixes for DSMLs based on a set of\&nbsp;domain-specific constraints and model manipulation operations.\&nbsp;Our approach uses state-space exploration techniques to find\&nbsp;sequences of operations which lead to less inconsistent models.\&nbsp;The approach is illustrated on a case study using the BPMN\&nbsp;DSML and it is evaluated by several experiments to show its\&nbsp;feasibility and performance.</p>
},
	keywords = {domain-specific languages, model transformations, quickfix generation, Viatra},
	doi = {10.1109/VLHCC.2011.6070373},
	url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6070373},
	author = {{\'A}bel Heged{\"u}s and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and Mois{\'e}s Castelo Branco and D{\'a}niel Varr{\'o}}
}
