{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:37Z","timestamp":1750308637349,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,7,16]],"date-time":"2012-07-16T00:00:00Z","timestamp":1342396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2012,7,16]]},"abstract":"<jats:p>The development of software in accordance with the model-driven engineering paradigm places model transformations at a central position. Desirable yet contradicting properties of model transformations are user-friendliness as offered by-demonstration approaches and formal conciseness as provided by algebraic graph transformations which is indispensable for verification tasks.<\/jats:p>\n          <jats:p>In this paper, we show how to unite the properties of the two different approaches. We employ the state-of-the-art by-demonstration environment Emo to prototype graph transformations by embedding the operations obtained from Emo in the formal framework of graph transformation theory.<\/jats:p>","DOI":"10.1145\/2237796.2237810","type":"journal-article","created":{"date-parts":[[2012,7,13]],"date-time":"2012-07-13T23:07:36Z","timestamp":1342220856000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On formalizing EMF modeling operations with graph transformations"],"prefix":"10.1145","volume":"37","author":[{"given":"Petra","family":"Brosch","sequence":"first","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Gabmeyer","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerti","family":"Kappel","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martina","family":"Seidl","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1926458.1926471"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0199-7"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_37"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_20"},{"key":"e_1_2_1_5_1","volume-title":"Handb. of Graph Gram. and Comp. by Graph Trans.","author":"Bardohl R.","year":"1999","unstructured":"R. Bardohl , M. Minas , G. Taentzer , and A. Sch\u00fcrr . Application of Graph Transformation to Visual Languages . In Handb. of Graph Gram. and Comp. by Graph Trans. 1999 . R. Bardohl, M. Minas, G. Taentzer, and A. Sch\u00fcrr. Application of Graph Transformation to Visual Languages. In Handb. of Graph Gram. and Comp. by Graph Trans. 1999."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0092-1"},{"key":"e_1_2_1_7_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-540-70881-0_10","volume-title":"Perspectives of Systems Informatics","author":"Baar T.","year":"2007","unstructured":"T. Baar and J. Whittle . On the Usage of Concrete Syntax in Model Transformation Rules . In Perspectives of Systems Informatics , volume 4378 of LNCS , pages 84 -- 97 . Springer , 2007 . T. Baar and J. Whittle. On the Usage of Concrete Syntax in Model Transformation Rules. In Perspectives of Systems Informatics, volume 4378 of LNCS, pages 84--97. Springer, 2007."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.001"},{"key":"e_1_2_1_10_1","volume-title":"of Alg. Graph Trans","author":"Ehrig H.","year":"2006","unstructured":"H. Ehrig , K. Ehrig , U. Prange , and G. Taentzer . Fund . of Alg. Graph Trans . Springer , 2006 . H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fund. of Alg. Graph Trans. Springer, 2006."},{"issue":"2","key":"e_1_2_1_11_1","first-page":"112","volume":"72","author":"Geiger L.","year":"2002","unstructured":"L. Geiger and A. Z\u00fcndorf . Graph Based Debugging with Fujaba. ENTCS , 72 ( 2 ): 112 , 2002 . L. Geiger and A. Z\u00fcndorf. Graph Based Debugging with Fujaba. ENTCS, 72(2):112, 2002.","journal-title":"Graph Based Debugging with Fujaba. ENTCS"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.018"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.040"},{"issue":"3","key":"e_1_2_1_14_1","first-page":"113","volume":"127","author":"Mens T.","year":"2005","unstructured":"T. Mens , G. Taentzer , and O. Runge . Detecting Structural Refactoring Conicts Using Critical Pair Analysis. ENTCS , 127 ( 3 ): 113 -- 128 , 2005 . T. Mens, G. Taentzer, and O. Runge. Detecting Structural Refactoring Conicts Using Critical Pair Analysis. ENTCS, 127(3):113--128, 2005.","journal-title":"Detecting Structural Refactoring Conicts Using Critical Pair Analysis. ENTCS"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"Rozenberg G.","year":"1997","unstructured":"G. Rozenberg , editor. Handbook of Graph Grammars and Computing by Graph Transformation : Volume I . World Scientific Pub ., 1997 . G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Volume I . World Scientific Pub., 1997."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/176789.176795"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_58"},{"key":"e_1_2_1_19_1","volume-title":"AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Proc. of AGTIVE","author":"Taentzer G.","year":"2004","unstructured":"G. Taentzer . AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Proc. of AGTIVE , 2004 . G. Taentzer. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Proc. of AGTIVE, 2004."},{"key":"e_1_2_1_20_1","volume-title":"Proc. Workshop Model Transformation in Practice at MODELS'05","author":"Taentzer G.","year":"2005","unstructured":"G. Taentzer , K. Ehrig , E. Guerra , J. De Lara , L. Lengyel , T. Levendovszky , U. Prange , D. Varro , and S. Varro-Gyapay . Model transformation by graph transformation: A comparative study . In Proc. Workshop Model Transformation in Practice at MODELS'05 , 2005 . G. Taentzer, K. Ehrig, E. Guerra, J. De Lara, L. Lengyel, T. Levendovszky, U. Prange, D. Varro, and S. Varro-Gyapay. Model transformation by graph transformation: A comparative study. In Proc. Workshop Model Transformation in Practice at MODELS'05, 2005."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_6"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.05.004"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2007.572"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2237796.2237810","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2237796.2237810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:07Z","timestamp":1750273687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2237796.2237810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,16]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,7,16]]}},"alternative-id":["10.1145\/2237796.2237810"],"URL":"https:\/\/doi.org\/10.1145\/2237796.2237810","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2012,7,16]]},"assertion":[{"value":"2012-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}