{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T13:03:19Z","timestamp":1774357399582,"version":"3.50.1"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/re.2007.18","type":"proceedings-article","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T15:13:58Z","timestamp":1195658038000},"page":"221-230","source":"Crossref","is-referenced-by-count":48,"title":["Consistency Checking of Conceptual Models via Model Merging"],"prefix":"10.1109","author":[{"given":"Mehrdad","family":"Sabetzadeh","sequence":"first","affiliation":[]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[]},{"given":"Sotirios","family":"Liaskos","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Easterbrook","sequence":"additional","affiliation":[]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","first-page":"226","article-title":"Towards modeling and reasoning support for early-phase requirements engineering","author":"yu","year":"1997","journal-title":"RE"},{"key":"ref30","first-page":"111","article-title":"Model-driven constraint engineering","author":"wahler","year":"2006","journal-title":"MoDELS Wrkshp on OCL for (Meta-)Models in Multiple Application Domains"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"ref12","author":"horkoff","year":"2006","journal-title":"Using i* Models for Evaluation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00032-1"},{"key":"ref14","author":"jackson","year":"2006","journal-title":"Software Abstractions Logic Language and Analysis"},{"key":"ref15","article-title":"Quality criteria for variability modelling. Technical Report CSRG-549","author":"liaskos","year":"2007","journal-title":"U Toronto"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07003-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839271"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00036-X"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.328995"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph processes","volume":"26","author":"corradini","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"ref27","year":"0","journal-title":"TReMer+ A tool for merging and consistency checking of distributed models"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919114"},{"key":"ref29","article-title":"Some shortcomings of OCL, the object constraint language of UML","author":"vaziri","year":"1999","journal-title":"Technical Report MIT"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.23"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","article-title":"using viewpoints for inconsistency management","volume":"11","author":"easterbrrok","year":"1996","journal-title":"Software Engineering Journal"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.23"},{"key":"ref9","author":"egyed","year":"1999","journal-title":"Heterogeneous view integration and its automation"},{"key":"ref1","author":"beyer","year":"2004","journal-title":"CrocoPat 2 1 introduction and reference manual Technical report U Berkeley"},{"key":"ref20","year":"0","journal-title":"Object Management Group OCL 1 4 Specification"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1142\/3303","author":"rozenberg","year":"1997","journal-title":"Handbook of graph grammars and computing by graph transformation (Vol 1) Foundations"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1243987.1243989"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/69.277770"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0032-y"},{"key":"ref26","year":"0","journal-title":"The Unified Modeling Language"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.17"}],"event":{"name":"15th IEEE International Requirements Engineering Conference (RE 2007)","location":"Delhi, India","start":{"date-parts":[[2007,10,15]]},"end":{"date-parts":[[2007,10,19]]}},"container-title":["15th IEEE International Requirements Engineering Conference (RE 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4384149\/4384150\/04384185.pdf?arnumber=4384185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T13:31:37Z","timestamp":1588080697000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4384185\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/re.2007.18","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}