{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T13:29:42Z","timestamp":1791034182357,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,8]],"date-time":"2009-03-08T00:00:00Z","timestamp":1236470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Institute of Informatics, the National Natural Science Foundation of China","award":["60528006"],"award-info":[{"award-number":["60528006"]}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["20500043"],"award-info":[{"award-number":["20500043"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["20700035"],"award-info":[{"award-number":["20700035"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["60528006"],"award-info":[{"award-number":["60528006"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,8]]},"DOI":"10.1145\/1529282.1529383","type":"proceedings-article","created":{"date-parts":[[2009,4,15]],"date-time":"2009-04-15T13:37:11Z","timestamp":1239802631000},"page":"468-475","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Towards a compositional approach to model transformation for software development"],"prefix":"10.1145","author":[{"given":"Soichiro","family":"Hidaka","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hiroyuki","family":"Kato","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Keisuke","family":"Nakano","sequence":"additional","affiliation":[{"name":"The University of Electro-Communications, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,3,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ISSN 0169-118X, 30","author":"Ariola Z. M.","year":"1995","unstructured":"Z. M. Ariola and J. W. Klop . Equational term graph rewriting. In 704, page 55. Centrum voor Wiskunde en Informatica (CWI) , ISSN 0169-118X, 30 1995 . Z. M. Ariola and J. W. Klop. Equational term graph rewriting. In 704, page 55. Centrum voor Wiskunde en Informatica (CWI), ISSN 0169-118X, 30 1995."},{"key":"e_1_3_2_1_2_1","unstructured":"ATLAS group. KM3: Kernel MetaMetaModel manual. http:\/\/www.eclipse.org\/gmt\/at1\/doc\/.  ATLAS group. KM3: Kernel MetaMetaModel manual. http:\/\/www.eclipse.org\/gmt\/at1\/doc\/."},{"key":"e_1_3_2_1_3_1","volume-title":"International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005","author":"Bezivin J.","year":"2005","unstructured":"J. Bezivin , B. Rumpe , and T. L. Sch\u00fcrr A. Model transformation in practice workshop announcement. In MTiP 2005 , International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005 ). Springer-Verlag , 2005 . http:\/\/sosym.dcs.kcl.ac.uk\/events\/mtip\/. J. Bezivin, B. Rumpe, and T. L. Sch\u00fcrr A. Model transformation in practice workshop announcement. In MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005). Springer-Verlag, 2005. http:\/\/sosym.dcs.kcl.ac.uk\/events\/mtip\/."},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","volume-title":"Advances in Theory and Practice, 10th International Workshop, ASM","author":"B\u00f6rger E.","year":"2003","unstructured":"E. B\u00f6rger , A. Gargantini , and E. Riccobene , editors . Abstract State Machines , Advances in Theory and Practice, 10th International Workshop, ASM 2003 , Taormina, Italy, March 3--7, 2003, Proceedings, volume 2589 of LNCS . Springer , 2003. E. B\u00f6rger, A. Gargantini, and E. Riccobene, editors. Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3--7, 2003, Proceedings, volume 2589 of LNCS. Springer, 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780050084"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/648335.755735"},{"key":"e_1_3_2_1_8_1","volume-title":"Workshop on Generative Techniques in the Context of Model-Driven Architecture","author":"Czarnecki K.","year":"2003","unstructured":"K. Czarnecki and S. Helsen . Classification of model transformation approaches . In Workshop on Generative Techniques in the Context of Model-Driven Architecture , 2003 . K. Czarnecki and S. Helsen. Classification of model transformation approaches. In Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003."},{"key":"e_1_3_2_1_9_1","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Transformation Techniques in Software Engineering","author":"Ehrig H.","year":"2005","unstructured":"H. Ehrig , K. Ehrig , G. Taentzer , J. de Lara , D. Varr\u00f3 , and S. Varr\u00f3-Gyapay . Termination criteria for model transformation . In J. R. Cordy, R. L\u00e4mmel, and A. Winter, editors, Transformation Techniques in Software Engineering , volume 05161 of Dagstuhl Seminar Proceedings . Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany , 2005 . H. Ehrig, K. Ehrig, G. Taentzer, J. de Lara, D. Varr\u00f3, and S. Varr\u00f3-Gyapay. Termination criteria for model transformation. In J. R. Cordy, R. L\u00e4mmel, and A. Winter, editors, Transformation Techniques in Software Engineering, volume 05161 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005","author":"Ehrig K.","year":"2005","unstructured":"K. Ehrig , E. Guerra , J. de Lara , L. Lengyel , T. Levendovszky , U. Prange , G. Taentzer , D. Varr\u00f3 , and S. Varr\u00f3-Gyapay . Model transformation by graph transformation: A comparative study. In MTiP 2005 , International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005 ). Springer-Verlag , 2005 . K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovszky, U. Prange, G. Taentzer, D. Varr\u00f3, and S. Varr\u00f3-Gyapay. Model transformation by graph transformation: A comparative study. In MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005). Springer-Verlag, 2005."},{"key":"e_1_3_2_1_11_1","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"Frankel D. S.","year":"2003","unstructured":"D. S. Frankel . Model Driven Architecture: Applying MDA to Enterprise Computing . John Wiley & amp; Sons, 2003 . D. S. Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_38"},{"key":"e_1_3_2_1_13_1","volume-title":"Graphgrep: A fast and universal method for querying graphs","author":"Giugno R.","year":"2002","unstructured":"R. Giugno and D. Shasha . Graphgrep: A fast and universal method for querying graphs , 2002 . R. Giugno and D. Shasha. Graphgrep: A fast and universal method for querying graphs, 2002."},{"key":"e_1_3_2_1_14_1","volume-title":"A graphical specification of model transformation of model transformations with triple graph grammars","author":"Grunske L.","year":"2005","unstructured":"L. Grunske , L. Geiger , and M. Lawley . A graphical specification of model transformation of model transformations with triple graph grammars , 2005 . L. Grunske, L. Geiger, and M. Lawley. A graphical specification of model transformation of model transformations with triple graph grammars, 2005."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.015"},{"key":"e_1_3_2_1_18_1","volume-title":"International Journal of Computer Science (IJCS), 1(1): 45--53","author":"Lengyel L.","year":"2006","unstructured":"L. Lengyel , T. Levendovszky , G. Mezei , and H. Charaf . Model transformation with a visual control flow language . International Journal of Computer Science (IJCS), 1(1): 45--53 , 2006 . L. Lengyel, T. Levendovszky, G. Mezei, and H. Charaf. Model transformation with a visual control flow language. International Journal of Computer Science (IJCS), 1(1): 45--53, 2006."},{"key":"e_1_3_2_1_19_1","unstructured":"OMG. MOF QVT final adopted specification. http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf 2005.  OMG. MOF QVT final adopted specification. http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80016-8"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/278918"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/846218.847212"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"G.\n      Taentzer\n    . AGG\n  : \n  A graph transformation environment for modeling and validation of software\n  . In J. L. Pfaltz M. Nagl and B. B\u00f6hlen editors AGTIVE volume \n  3062\n   of \n  LNCS pages \n  446\n  --\n  453\n  . \n  Springer 2003\n  .  G. Taentzer. AGG: A graph transformation environment for modeling and validation of software. In J. L. Pfaltz M. Nagl and B. B\u00f6hlen editors AGTIVE volume 3062 of LNCS pages 446--453. Springer 2003.","DOI":"10.1007\/978-3-540-25959-6_35"}],"event":{"name":"SAC09: The 2009 ACM Symposium on Applied Computing","location":"Honolulu Hawaii","acronym":"SAC09","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2009 ACM symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529383","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1529282.1529383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:33Z","timestamp":1750253373000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,8]]},"references-count":21,"alternative-id":["10.1145\/1529282.1529383","10.1145\/1529282"],"URL":"https:\/\/doi.org\/10.1145\/1529282.1529383","relation":{},"subject":[],"published":{"date-parts":[[2009,3,8]]},"assertion":[{"value":"2009-03-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}