@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 = {

Domain-specific modeling languages (DSML) proved\ to be an important asset in creating powerful design tools for\ domain experts. \ Although these tools are capable of preserving\ the syntax-correctness of models even during free-hand editing,\ they often lack the ability of maintaining the non-syntactical\ language-specific constraints in models. Hence, there is a need\ for approaches which are capable of assisting DSML users\ to create consistent models. In this paper we describe an\ approach for generating quick fixes for DSMLs based on a set of\ domain-specific constraints and model manipulation operations.\ Our approach uses state-space exploration techniques to find\ sequences of operations which lead to less inconsistent models.\ The approach is illustrated on a case study using the BPMN\ DSML and it is evaluated by several experiments to show its\ feasibility and performance.

}, 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}} }