{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T11:21:49Z","timestamp":1769340109643,"version":"3.49.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/vlhcc.2011.6070373","type":"proceedings-article","created":{"date-parts":[[2011,11,7]],"date-time":"2011-11-07T20:24:20Z","timestamp":1320697460000},"page":"17-24","source":"Crossref","is-referenced-by-count":33,"title":["Quick fix generation for DSMLs"],"prefix":"10.1109","author":[{"given":"A.","family":"Hegedus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Horvath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Rath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. C.","family":"Branco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Varro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Generating correctness-preserving editing operations for diagram editors","volume":"18","author":"mazanek","year":"2009","journal-title":"Proc of the 8th Int Workshop on Graph Transformation and Visual Modeling Techniques ECEASST"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-540-89020-1_22","article-title":"Checking and enforcement of modeling guidelines with graph transformations","author":"amelunxen","year":"2008","journal-title":"Applications of Graph Transformations with Industrial Relevance"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_15"},{"key":"ref13","article-title":"Dynamic constraint satisfaction problems over models","author":"horv\u00e1th","year":"2010","journal-title":"Software and Systems Modeling 11\/2010"},{"key":"ref14","article-title":"Guided state space exploration using back-annotation of occurrence vectors","author":"heged\u00fcs","year":"2010","journal-title":"Proceedings of the Fourth International Workshop on Petri Nets and Graph Transformation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0037549709340530"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_31"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141575"},{"key":"ref18","article-title":"Experimental assessment of combining pattern matching strategies with VIATRA2","author":"bergmann","year":"2009","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15618-2_1"},{"key":"ref4","article-title":"Object Constraint Language (OCL)","year":"0","journal-title":"Object Management Group"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/949344.949365","article-title":"Mctalidit+: defining and using domain-specific modeling languages and code generators","author":"tolvanen","year":"2003","journal-title":"Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming systems languages and applications ser OOPSLA '03"},{"key":"ref6","article-title":"EMF Validation Framework","year":"0","journal-title":"The Eclipse Project"},{"key":"ref5","article-title":"Eclipse BPMN Modeler","year":"0","journal-title":"SOA Tools Platform"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78743-3_14"},{"key":"ref7","article-title":"Handbook on Graph Grammars and Computing by Graph Transformation","volume":"2","author":"ehrig","year":"1999","journal-title":"Applications Languages and Tools"},{"key":"ref2","article-title":"Eclipse Modeling Framework Project","year":"0","journal-title":"The Eclipse Project"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1402947.1402953"},{"key":"ref1","article-title":"Business Process Model and Notation (BPMN) Version 1.2","year":"0","journal-title":"Object Management Group"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2008.4639094"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13094-6_28"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.20"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"ref23","first-page":"8","article-title":"Resolving Model Inconsistencies with Automated Planning","author":"pinna","year":"2010","journal-title":"Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development CEUR Workshop Proceedings"},{"key":"ref25","first-page":"215","article-title":"Event-driven grammars: Towards the integration of meta-modelling and graph transformation","volume":"3256","author":"guerra","year":"2004","journal-title":"Graph Transformations"}],"event":{"name":"2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2011)","location":"Pittsburgh, PA","start":{"date-parts":[[2011,9,18]]},"end":{"date-parts":[[2011,9,22]]}},"container-title":["2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6059237\/6070364\/06070373.pdf?arnumber=6070373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T09:17:05Z","timestamp":1497950225000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6070373\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2011.6070373","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}