{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T16:45:19Z","timestamp":1780764319921,"version":"3.54.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,9,3]],"date-time":"2011-09-03T00:00:00Z","timestamp":1315008000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s11334-011-0155-2","type":"journal-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T17:56:13Z","timestamp":1315331773000},"page":"3-18","source":"Crossref","is-referenced-by-count":30,"title":["A relationship-based approach to model integration"],"prefix":"10.1007","volume":"8","author":[{"given":"Marsha","family":"Chechik","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,9,3]]},"reference":[{"issue":"4","key":"155_CR1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C Batini","year":"1986","unstructured":"Batini C, Lenzerini M, Navathe S (1986) A comparative analysis of methodologies for database schema integration. ACM Comput Surv 18(4): 323\u2013364","journal-title":"ACM Comput Surv"},{"issue":"2","key":"155_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TSE.2005.23","volume":"31","author":"D Beyer","year":"2005","unstructured":"Beyer D, Noack A, Lewerentz C (2005) Efficient relational calculation for software analysis. IEEE Trans Softw Eng 31(2): 137\u2013149","journal-title":"IEEE Trans Softw Eng"},{"key":"155_CR3","doi-asserted-by":"crossref","unstructured":"Brunet G, Chechik M, Easterbrook S, Nejati S, Niu N, Sabetzadeh M (2006) A manifesto for model merging. In: Workshop on Global Integrated Model Management (GaMMa\u201906) co-located with ICSE\u201906","DOI":"10.1145\/1138304.1138307"},{"key":"155_CR4","doi-asserted-by":"crossref","unstructured":"Chechik M, Lai W, Nejati S, Cabod J, Diskin Z, Easterbrook S, Sabetzadeh M, Salay R (2009) Relationship-based change propagation: a case study. In: ICSE Workshop on Modeling in Software Engineering (MiSE\u201909)","DOI":"10.1109\/MISE.2009.5069890"},{"key":"155_CR5","volume-title":"Model checking","author":"E Clarke","year":"1999","unstructured":"Clarke E, Grumberg O, Peled D (1999) Model checking. MIT Press, Cambridge"},{"issue":"2","key":"155_CR6","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BF01235904","volume":"1","author":"P Darke","year":"1996","unstructured":"Darke P, Shanks G (1996) Stakeholder viewpoints in requirements definition: a framework for understanding viewpoint development approaches. Requir Eng 1(2): 88\u2013105","journal-title":"Requir Eng"},{"key":"155_CR7","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Chechik M (2001) A framework for multi-valued reasoning over inconsistent viewpoints. In: ICSE\u201901: Proceedings of the 23rd international conference on software engineering, pp 411\u2013420","DOI":"10.1109\/ICSE.2001.919114"},{"key":"155_CR8","doi-asserted-by":"crossref","unstructured":"Fischbein D, Brunet G, D\u2019Ippolito N, Chechik M, Uchitel S (2012) Weak alphabet merging of partial behaviour models. ACM Trans Softw Eng Methodol 21(2)","DOI":"10.1145\/2089116.2089119"},{"issue":"1","key":"155_CR9","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J Goguen","year":"1991","unstructured":"Goguen J (1991) A categorical manifesto. Math Struct Comput Sci 1(1): 49\u201367","journal-title":"Math Struct Comput Sci"},{"key":"155_CR10","volume-title":"Modeling reactive systems with statecharts: the Statemate approach","author":"D Harel","year":"1998","unstructured":"Harel D, Politi M (1998) Modeling reactive systems with statecharts: the Statemate approach. McGraw Hill, New Jersey"},{"key":"155_CR11","doi-asserted-by":"crossref","unstructured":"Harrison W, Ossher H, Tarr P (2006) General composition of software artifacts. In: Proceedings of 5th international symposium on software composition (SC\u201906) co-located with ETAPS\u201906. Lecture Notes in Computer Science, vol 4089. Springer, Berlin, pp 194\u2013210","DOI":"10.1007\/11821946_13"},{"key":"155_CR12","unstructured":"Harrison W, Ossher H, Tarr P, Kruskal V, Tip F (2002) CAT: a toolkit for assembling concerns. Technical Report RC22686, IBM Research"},{"key":"155_CR13","doi-asserted-by":"crossref","unstructured":"Hay J, Atlee J (2000) Composing features and resolving interactions. In: SIGSOFT\u201900\/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on foundations of software engineering, pp 110\u2013119","DOI":"10.1145\/355045.355061"},{"key":"155_CR14","doi-asserted-by":"crossref","unstructured":"Herbsleb J (2007) Global software engineering: the future of socio-technical coordination. In: Proceedings of future of software engineering track of the 29th international conference on software engineering, pp 188\u2013198","DOI":"10.1109\/FOSE.2007.11"},{"key":"155_CR15","unstructured":"Hussain A, Huth M (2004) On model checking multiple hybrid views. In: Proceedings of 1st international symposium on leveraging applications of formal methods, pp 235\u2013242"},{"key":"155_CR16","unstructured":"IBM Rational Software Architect. http:\/\/www.ibm.com\/software\/awdtools\/architect\/swarchitect\/"},{"issue":"10","key":"155_CR17","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1109\/32.729683","volume":"24","author":"M Jackson","year":"1998","unstructured":"Jackson M, Zave P (1998) Distributed feature composition: a virtual architecture for telecommunications services. IEEE Trans Softw Eng 24(10): 831\u2013847","journal-title":"IEEE Trans Softw Eng"},{"key":"155_CR18","unstructured":"Kalfoglou Y, Schorlemmer M (2005) Ontology mapping: the state of the art. In: Kalfoglou Y, Schorlemmer M, Sheth A, Staab S, Uschold M (eds) Semantic interoperability and integration, number 04391 in Dagstuhl Seminar Proceedings. IBFI"},{"key":"155_CR19","doi-asserted-by":"crossref","unstructured":"Larsen K, Thomsen B (1988) A modal process logic. In: LICS\u201988: Proceedings of 3rd annual symposium on logic in computer science. IEEE Computer Society Press, Los Alamitos, pp 203\u2013210","DOI":"10.1109\/LICS.1988.5119"},{"key":"155_CR20","unstructured":"Letkeman K (2006) Comparing and merging UML models in IBM rational software architect. Technical report, IBM"},{"key":"155_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements Of finite model theory. Texts in theoretical computer science. An EATCS series","author":"L Libkin","year":"2004","unstructured":"Libkin L (2004) Elements Of finite model theory. Texts in theoretical computer science. An EATCS series. Springer, Berlin"},{"key":"155_CR22","volume-title":"Concurrency: state models and Java programming","author":"J Magee","year":"2006","unstructured":"Magee J, Kramer J (2006) Concurrency: state models and Java programming: 2nd edn. Wiley, New Jersey","edition":"2"},{"key":"155_CR23","doi-asserted-by":"crossref","unstructured":"Magee J, Kramer J, Giannakopoulou D (1997) Analysing the behaviour of distributed software architectures: a case study. In: Proceedings of 5th IEEE workshop on future trends of distributed computing systems, pp 240\u2013247","DOI":"10.1109\/FTDCS.1997.644733"},{"key":"155_CR24","doi-asserted-by":"crossref","unstructured":"Melnik S, Rahm E, Bernstein P (2003) Rondo: a programming platform for generic model management. In: SIGMOD\u201903: Proceedings of the 2003 ACM SIGMOD international conference on management of data, pp 193\u2013204","DOI":"10.1145\/872757.872782"},{"key":"155_CR25","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, New York"},{"key":"155_CR26","doi-asserted-by":"crossref","unstructured":"Moreira A, Rashid A, Ara\u00fajo J (2005) Multi-dimensional separation of concerns in requirements engineering. In: RE\u201905: Proceedings of the 10th IEEE international symposium on requirements engineering, pp 285\u2013296","DOI":"10.1109\/RE.2005.46"},{"key":"155_CR27","doi-asserted-by":"crossref","unstructured":"Nejati S (2008) Behavioural model fusion. PhD thesis, University of Toronto","DOI":"10.1145\/1370731.1370733"},{"key":"155_CR28","doi-asserted-by":"crossref","unstructured":"Nejati S, Sabetzadeh M, Chechik M, Easterbrook S, Zave P (2007) Matching and merging of Statechart specifications. In: ICSE\u201907: Proceedings of the 29th international conference on software engineering, pp 54\u201364","DOI":"10.1109\/ICSE.2007.50"},{"key":"155_CR29","unstructured":"Nejati S, Sabetzadeh M, Chechik M, Easterbrook S, Zave P (2010) Matching and merging of variant feature specifications. Submitted for publication"},{"issue":"1","key":"155_CR30","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"C Nentwich","year":"2003","unstructured":"Nentwich C, Emmerich W, Finkelstein A, Ellmer E (2003) Flexible consistency checking. ACM Trans Softw Eng Methodol 12(1): 28\u201363","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"155_CR31","unstructured":"Noy N, Musen M (2000) PROMPT: Algorithm and tool for automated ontology merging and alignment. In: Proceedings of the 17th national conference on artificial intelligence and 12th conference on innovative applications of artificial intelligence, pp 450\u2013455"},{"issue":"2","key":"155_CR32","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh B, Easterbrook S, Russo A (2001) Making inconsistency respectable in software development. J Syst Softw 58(2): 171\u2013 180","journal-title":"J Syst Softw"},{"key":"155_CR33","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of 18th annual symposium on the foundations of computer science, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"155_CR34","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M (2008) Merging and consistency checking of distributed models. PhD thesis, University of Toronto","DOI":"10.1145\/1368088.1368208"},{"issue":"3","key":"155_CR35","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/s00766-006-0032-y","volume":"11","author":"M Sabetzadeh","year":"2006","unstructured":"Sabetzadeh M, Easterbrook S (2006) View merging in the presence of incompleteness and inconsistency. Requir Eng J 11(3): 174\u2013193","journal-title":"Requir Eng J"},{"key":"155_CR36","unstructured":"Sabetzadeh M, Nejati S, Chechik M, Easterbrook S (2010) Reasoning about consistency in model merging. In: Workshop on living with inconsistency in software development (LWI\u201910) co-located with ASE\u201910"},{"key":"155_CR37","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Nejati S, Easterbrook S, Chechik M (2008) Global consistency checking of distributed models with TReMer+. In: ICSE\u201908: Proceedings of the 30th international conference on software engineering, pp 815\u2013818","DOI":"10.1145\/1368088.1368208"},{"key":"155_CR38","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Nejati S, Liaskos S, Easterbrook S, Chechik M (2007) Consistency checking of conceptual models via model merging. In: RE\u201907: Proceedings of 15th IEEE international requirements engineering conference, pp 221\u2013230","DOI":"10.1109\/RE.2007.18"},{"key":"155_CR39","doi-asserted-by":"crossref","unstructured":"Sokolsky O, Kannan S, Lee I (2006) Simulation-based graph similarity. In: TACAS\u201906: Proceedings of 12th international conference on tools and algorithms for the construction and analysis of systems. Lecture Notes in Computer Science, vol 3920. Springer, Berlin, pp 426\u2013440","DOI":"10.1007\/11691372_28"},{"key":"155_CR40","doi-asserted-by":"crossref","unstructured":"Tarr P, Ossher H, Harrison W, Sutton Jr. S (1999) N degrees of separation: Multi-dimensional separation of concerns. In: ICSE\u201999: Proceedings of the 21st international conference on software engineering, pp 107\u2013119","DOI":"10.1145\/302405.302457"},{"key":"155_CR41","doi-asserted-by":"crossref","unstructured":"Uchitel S, Chechik M (2004) Merging partial behavioural models. In: SIGSOFT\u201904\/FSE-12: Proceedings of the 12th ACM SIGSOFT international symposium on foundations of software engineering, pp 43\u201352","DOI":"10.1145\/1029894.1029904"},{"key":"155_CR42","doi-asserted-by":"crossref","unstructured":"Whittle J, Moreira A, Ara\u00fajo J, Jayaraman P, Elkhodary A, Rabbi R (2007) An expressive aspect composition language for UML state diagrams. In: MoDELS\u201907: Proceedings of the 10th international conference on model driven engineering languages and systems, pp 514\u2013528","DOI":"10.1007\/978-3-540-75209-7_35"},{"key":"155_CR43","doi-asserted-by":"crossref","unstructured":"Whittle J, Schumann J (2000) Generating Statechart designs from scenarios. In: ICSE\u201900: Proceedings of 22nd international conference on software engineering. ACM Press, New York, pp 314\u2013323","DOI":"10.1145\/337180.337217"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0155-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0155-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0155-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T01:09:47Z","timestamp":1560560987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0155-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,3]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["155"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0155-2","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,3]]}}}