{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:23Z","timestamp":1750307483071,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,3]],"date-time":"2010-10-03T00:00:00Z","timestamp":1286064000000},"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":[[2010,10,3]]},"DOI":"10.1145\/1866272.1866279","type":"proceedings-article","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T14:38:23Z","timestamp":1286289503000},"page":"42-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Specifying overlaps of heterogeneous models for global consistency checking"],"prefix":"10.1145","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[{"name":"Univesity of Waterloo, Waterloo, ON, Canada"}]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[{"name":"Univesity of Waterloo, Waterloo, ON, Canada"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[{"name":"Univesity of Waterloo, Waterloo, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2010,10,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45221-8_2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041053"},{"key":"e_1_3_2_1_3_1","volume-title":"Category theory for computing science","author":"Barr M.","year":"1995","unstructured":"}} M. Barr and C. Wells . Category theory for computing science . Prentice Hall , 1995 . }}M. Barr and C. Wells. Category theory for computing science. Prentice Hall, 1995."},{"key":"e_1_3_2_1_4_1","volume-title":"VLDB","author":"Bernstein P.","year":"2003","unstructured":"}} P. Bernstein and R. Pottinger . Merging models based on given correspondences . In VLDB , 2003 . }}P. Bernstein and R. Pottinger. Merging models based on given correspondences. In VLDB, 2003."},{"key":"e_1_3_2_1_5_1","first-page":"603","volume-title":"ISMIS","author":"Cadish B.","year":"1996","unstructured":"}} B. Cadish and Z. Diskin . Heterogenious view integration via sketches and equations . In ISMIS , pages 603 -- 612 , 1996 . }}B. Cadish and Z. Diskin. Heterogenious view integration via sketches and equations. In ISMIS, pages 603--612, 1996."},{"volume-title":"GTTSE'09","author":"Diskin Z.","key":"e_1_3_2_1_6_1","unstructured":"}} Z. Diskin . Model synchronization, mappings, tile algebra, and categories . In GTTSE'09 . Springer . To appear. }}Z. Diskin. Model synchronization, mappings, tile algebra, and categories. In GTTSE'09. Springer. To appear."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381516"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.38"},{"key":"e_1_3_2_1_11_1","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig H.","year":"2006","unstructured":"}} H. Ehrig , K. Ehrig , U. Prange , and G. Taenzer . Fundamentals of Algebraic Graph Transformation . 2006 . }}H. Ehrig, K. Ehrig, U. Prange, and G. Taenzer. Fundamentals of Algebraic Graph Transformation. 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194097000266"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222141"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"e_1_3_2_1_15_1","volume-title":"Categorical logic and type theory","author":"Jacobs B.","year":"1999","unstructured":"}} B. Jacobs . Categorical logic and type theory . Elsevier Science Publishers , 1999 . }}B. Jacobs. Categorical logic and type theory. Elsevier Science Publishers, 1999."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_15"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646109.679269"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776871"},{"key":"e_1_3_2_1_20_1","first-page":"676","volume-title":"Viewpoints: meaningful relationships are difficult! In ICSE","author":"Nuseibeh B.","year":"2003","unstructured":"}} B. Nuseibeh , J. Kramer , and A. Finkelstein . Viewpoints: meaningful relationships are difficult! In ICSE , pages 676 -- 683 , 2003 . }}B. Nuseibeh, J. Kramer, and A. Finkelstein. Viewpoints: meaningful relationships are difficult! In ICSE, pages 676--683, 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0032-y"},{"key":"e_1_3_2_1_22_1","first-page":"221","volume-title":"RE","author":"Sabetzadeh M.","year":"2007","unstructured":"}} M. Sabetzadeh , S. Nejati , S. Liaskos , S. M. Easterbrook , and M. Chechik . Consistency checking of conceptual models via model merging . In RE , pages 221 -- 230 . IEEE, 2007 . }}M. Sabetzadeh, S. Nejati, S. Liaskos, S. M. Easterbrook, and M. Chechik. Consistency checking of conceptual models via model merging. In RE, pages 221--230. IEEE, 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.277770"},{"key":"e_1_3_2_1_24_1","first-page":"326","volume-title":"UML","author":"Straeten R. V. D.","year":"2003","unstructured":"}} R. V. D. Straeten , T. Mens , J. Simmonds , and V. Jonckers . Using description logic to maintain consistency between UML Models . In UML , pages 326 -- 340 , 2003 . }}R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logic to maintain consistency between UML Models. In UML, pages 326--340, 2003."},{"key":"e_1_3_2_1_25_1","volume-title":"The Object Constraint Language. Precise modeling with UML","author":"Warmer J.","year":"2000","unstructured":"}} J. Warmer and A. Kleppe . The Object Constraint Language. Precise modeling with UML . Addison-Wesley , 2000 . }}J. Warmer and A. Kleppe. The Object Constraint Language. Precise modeling with UML. Addison-Wesley, 2000."}],"event":{"name":"MDI '10: First Workshop on Model Driven Interoperability","acronym":"MDI '10","location":"Oslo Norway"},"container-title":["Proceedings of the First International Workshop on Model-Driven Interoperability"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1866272.1866279","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1866272.1866279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:06Z","timestamp":1750248546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1866272.1866279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,3]]},"references-count":24,"alternative-id":["10.1145\/1866272.1866279","10.1145\/1866272"],"URL":"https:\/\/doi.org\/10.1145\/1866272.1866279","relation":{},"subject":[],"published":{"date-parts":[[2010,10,3]]},"assertion":[{"value":"2010-10-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}