{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T08:50:23Z","timestamp":1779353423786,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,12]],"date-time":"2008-05-12T00:00:00Z","timestamp":1210550400000},"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":[],"published-print":{"date-parts":[[2008,5,12]]},"DOI":"10.1145\/1402947.1402957","type":"proceedings-article","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T12:38:39Z","timestamp":1219149519000},"page":"45-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Specifying the correctness properties of model transformations"],"prefix":"10.1145","author":[{"given":"Anantha","family":"Narayanan","sequence":"first","affiliation":[{"name":"Vanderbilt University, Nashville, TN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949347"},{"key":"e_1_3_2_1_2_1","volume-title":"Model Transformations in Practice Workshop Announcement, MoDELS 2005","author":"B\u00e9zivin J.","year":"2005"},{"key":"e_1_3_2_1_3_1","volume-title":"Applications of Graph Transformation with Industrial Relevance (AGTIVE)","author":"Bisztray D.","year":"2007"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"Ehrig H.","year":"2007"},{"key":"e_1_3_2_1_5_1","volume-title":"International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005)","author":"Ehrig K.","year":"2005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004)","author":"K\u00fcster J. M.","year":"2004"},{"key":"e_1_3_2_1_8_1","first-page":"145","volume-title":"HCC '03: Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments","author":"K\u00fcster J. M.","year":"2003"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.963443"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. Int'l Workshop on Graph and Model Transformation","author":"Mens T.","year":"2005"},{"key":"e_1_3_2_1_11_1","unstructured":"A. Narayanan and G. Karsai. Using semantic anchoring to verify behavior preservation in graph transformations. Electronic Communications of the EASST 4(2006) January 2006.  A. Narayanan and G. Karsai. Using semantic anchoring to verify behavior preservation in graph transformations. Electronic Communications of the EASST 4(2006) January 2006."},{"key":"e_1_3_2_1_12_1","volume-title":"7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)","author":"Narayanan A.","year":"2008"},{"key":"e_1_3_2_1_13_1","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. 2005. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2005-11-01.  OMG. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. 2005. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2005-11-01."},{"key":"e_1_3_2_1_14_1","unstructured":"OMG. Unifed Modeling Language version 2.1.1. 2006. http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm.  OMG. Unifed Modeling Language version 2.1.1. 2006. http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647675.731658"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany","acronym":"ICSE '08","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the third international workshop on Graph and model transformations"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1402947.1402957","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1402947.1402957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:19Z","timestamp":1750258039000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1402947.1402957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,12]]},"references-count":15,"alternative-id":["10.1145\/1402947.1402957","10.1145\/1402947"],"URL":"https:\/\/doi.org\/10.1145\/1402947.1402957","relation":{},"subject":[],"published":{"date-parts":[[2008,5,12]]},"assertion":[{"value":"2008-05-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}