{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:37Z","timestamp":1773192697984,"version":"3.50.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,5,3]],"date-time":"2006-05-03T00:00:00Z","timestamp":1146614400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s00766-006-0032-y","type":"journal-article","created":{"date-parts":[[2006,5,2]],"date-time":"2006-05-02T06:43:35Z","timestamp":1146552215000},"page":"174-193","source":"Crossref","is-referenced-by-count":76,"title":["View merging in the presence of incompleteness and inconsistency"],"prefix":"10.1007","volume":"11","author":[{"given":"Mehrdad","family":"Sabetzadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Easterbrook","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,3]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Yu E, Aranda J, Fan Y, Horkoff J, Leica M, Qadir R (2005) Do viewpoints lead to better conceptual models? an exploratory case study. In: Proceedings of the 13th international requirements engineering conference, pp 199\u2013208","DOI":"10.1109\/RE.2005.23"},{"issue":"8","key":"32_CR2","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A Finkelstein","year":"1994","unstructured":"Finkelstein A, Gabbay D, Hunter A, Kramer J, Nuseibeh B (1994) Inconsistency handling in multi-perspective specifications. IEEE Trans Softw Eng 20(8):569\u2013578","journal-title":"IEEE Trans Softw Eng"},{"key":"32_CR3","unstructured":"Bernstein P (2003) Applying model management to classical meta data problems. In: Proceedings of the 1st biennial conference on innovative data systems research, pp 209\u2013220"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Buneman P, Davidson S, Kosky A (1992) Theoretical aspects of schema merging. In: Proceedings of the 3rd international conference on extending database technology, pp 152\u2013167","DOI":"10.1007\/BFb0032429"},{"issue":"4","key":"32_CR5","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"H Ehrig","year":"1997","unstructured":"Ehrig H, Engels G, Heckel R, Taentzer G (1997) A combined reference model- and view-based approach to system specification. Int J Softw Eng Knowl Eng 7(4):457\u2013477","journal-title":"Int J Softw Eng Knowl Eng"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Castano S, De Antonellis V (1999) Deriving global conceptual views from multiple information sources. In: Conceptual modeling\u2014current issues and future directions, vol 1565 of Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York, pp 44\u201355","DOI":"10.1007\/3-540-48854-5_4"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Pottinger R, Bernstein P (2003) Merging models based on given correspondences. In: Proceedings of 29th international conference on very large data bases, pp 862\u2013873","DOI":"10.1016\/B978-012722442-8\/50081-1"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Melnik S, Rahm E, Bernstein P (2003) Rondo: a programming platform for generic model management. In: SIGMOD conference, pp 193\u2013204","DOI":"10.1145\/872757.872782"},{"issue":"1","key":"32_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"S Easterbrook","year":"1996","unstructured":"Easterbrook S, Nuseibeh B (1996) Using viewpoints for inconsistency management. Softw Eng J 11(1):31\u201343","journal-title":"Softw Eng J"},{"issue":"1","key":"32_CR10","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":"32_CR11","doi-asserted-by":"crossref","unstructured":"Yu E (1997) Towards modeling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd international symposium on requirements engineering, pp 226\u2013235","DOI":"10.1109\/ISRE.1997.566873"},{"key":"32_CR12","volume-title":"Category theory for computing science","author":"M Barr","year":"1999","unstructured":"Barr M, Wells C (1999) Category theory for computing science, 3rd edn. Les Publications CRM Montr\u00e9al, Montreal","edition":"3"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook S (2005) An algebraic framework for merging incomplete and inconsistent views. In: Proceedings of the 13th international requirements engineering conference, pp 306\u2013315","DOI":"10.1109\/RE.2005.8"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook S (2005) iVuBlender: a tool for merging incomplete and inconsistent views. In: Proceedings of the 13th international requirements engineering conference, Tool Demo Paper, pp 453\u2013454","DOI":"10.1109\/RE.2005.35"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook S (2005) Traceability in viewpoint merging: A model management perspective. In: Proceedings of the 3rd international workshop on traceability in emerging forms of software engineering (to appear)","DOI":"10.1145\/1107656.1107667"},{"key":"32_CR16","unstructured":"van Lamsweerde A, Darimont R, Massonet P. The meeting scheduler system\u2014problem statement. ftp:\/\/ftp.info.ucl.ac.be\/pub\/publi\/92"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook S (2003) Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach. In: Proceedings of the 18th international conference on automated software engineering, pp 12\u201321","DOI":"10.1109\/ASE.2003.1240290"},{"issue":"1","key":"32_CR18","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":"32_CR19","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M, Easterbrook S (2004) An algebraic framework for merging incomplete and inconsistent views. Technical Report CSRG-496, University of Toronto","DOI":"10.1109\/RE.2005.8"},{"key":"32_CR20","first-page":"182","volume":"59","author":"H Ehrig","year":"1996","unstructured":"Ehrig H, Taentzer G (1996) Computing by graph transformation, a survey and annotated bibliography. Bull Eur Assoc Theor Comput Sci 59:182\u2013226","journal-title":"Bull Eur Assoc Theor Comput Sci"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Rozenberg G (ed) (1997) Handbook of graph grammars and computing by graph transformation: foundations, vol 1, World Scientific, River Edge","DOI":"10.1142\/3303"},{"key":"32_CR22","volume-title":"Computational Category Theory","author":"D Rydeheard","year":"1988","unstructured":"Rydeheard D, Burstall R (1988) Computational category theory. Prentice Hall, Hertfordshire"},{"issue":"3\u20134","key":"32_CR23","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A Corradini","year":"1996","unstructured":"Corradini A, Montanari U, Rossi F (1996) Graph processes. Fundam Informaticae 26(3\u20134):241\u2013265","journal-title":"Fundam Informaticae"},{"key":"32_CR24","unstructured":"The goal-oriented requirement language (GRL). http:\/\/www.cs.toronto.edu\/km\/GRL"},{"key":"32_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to lattices and order","author":"B Davey","year":"2002","unstructured":"Davey B, Priestley H (2002) Introduction to lattices and order, 2nd edn. Cambridge University Press, Cambridge","edition":"2"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"Belnap N (1977) A useful four-valued logic. In: Epstein G, Dunn J (eds) Modern uses of multiple-valued logic. Reidel, Dordrecht, pp 5\u201337","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"32_CR27","doi-asserted-by":"crossref","unstructured":"Ginsberg M (1990) Bilattices and modal operators. In: Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, pp 273\u2013287","DOI":"10.1093\/logcom\/1.1.41"},{"issue":"4","key":"32_CR28","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":"4","key":"32_CR29","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E Rahm","year":"2001","unstructured":"Rahm E, Bernstein P (2001) A survey of approaches to automatic schema matching. VLDB J 10(4):334\u2013350","journal-title":"VLDB J"},{"key":"32_CR30","unstructured":"Madhavan J, Bernstein P, Rahm E (2001) Generic schema matching with cupid. In: Proceedings of 27th international conference on very large data bases, pp 49\u201358"},{"key":"32_CR31","doi-asserted-by":"crossref","unstructured":"Melnik S, Garcia-Molina H, Rahm E (2002) Similarity flooding: A versatile graph matching algorithm and its application to schema matching. In: Proceedings of the 18th international conference on data engineering, pp 117\u2013128","DOI":"10.1109\/ICDE.2002.994702"},{"key":"32_CR32","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A, Darimont R, Massonet P (1995) Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In: Proceedings of the 2nd international symposium on requirements engineering, pp 194\u2013203","DOI":"10.1109\/ISRE.1995.512561"},{"issue":"4","key":"32_CR33","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.1985.1662862","volume":"18","author":"D Ross","year":"1985","unstructured":"Ross D (1985) Applications and extensions of SADT. IEEE Comput 18(4):25\u201334","journal-title":"IEEE Comput"},{"key":"32_CR34","unstructured":"Easterbrook S (1993) Domain modeling with hierarchies of alternative viewpoints. In: Proceedings of the 1st international symposium on requirements engineering, pp 65\u201372"},{"key":"32_CR35","unstructured":"Stamper R (1994) Social norms in requirements analysis: an outline of measur. In: Jirotka M, Goguen J (eds) Requirements engineering: social and technical issues. Academic Press, London, pp 107\u2013139"},{"issue":"1","key":"32_CR36","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A Finkelsetin","year":"1992","unstructured":"Finkelsetin A, Kramer J, Nuseibeh B, Finkelstein L, Goedicke M (1992) Viewpoints: a framework for integrating multiple perspectives in system development. Int J Softw Eng Knowl Eng 2(1):31\u201358","journal-title":"Int J Softw Eng Knowl Eng"},{"issue":"2","key":"32_CR37","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. Requirements Eng 1(2):88\u2013105","journal-title":"Requirements Eng"},{"key":"32_CR38","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Chechik M (2001) A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of the 23rd international conference on software engineering, pp 411\u2013420","DOI":"10.1109\/ICSE.2001.919114"},{"key":"32_CR39","doi-asserted-by":"crossref","unstructured":"Melnik S (2004) Generic model management: concepts and algorithms, vol 2967 of LNCS. Springer, Berlin Heidelberg New York","DOI":"10.1007\/b97859"},{"issue":"4","key":"32_CR40","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s00766-002-0158-5","volume":"8","author":"D Richards","year":"2003","unstructured":"Richards D (2003) Merging individual conceptual models of requirements. Requirements Eng 8(4):195\u2013205","journal-title":"Requirements Eng"},{"key":"32_CR41","doi-asserted-by":"crossref","unstructured":"Uchitel S, Chechik M (2004) Merging partial behavioural models. In: Proceedings of the 12th international symposium on foundations of software engineering, pp 43\u201352","DOI":"10.1145\/1029894.1029904"},{"key":"32_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7908-1854-3","volume-title":"Fuzzy graphs and fuzzy hypergraphs","author":"J Mordeson","year":"2000","unstructured":"Mordeson J, Nair P (2000) Fuzzy Graphs and Fuzzy Hypergraphs. Physica-Verlag, Heidelberg"},{"key":"32_CR43","doi-asserted-by":"crossref","unstructured":"Gotel O, Finkelstein A (1997) Extended requirements traceability: results of an industrial case study. In: Proceedings of the 3rd international symposium on requirements engineering, pp 169\u2013178","DOI":"10.1109\/ISRE.1997.566866"},{"key":"32_CR44","doi-asserted-by":"crossref","unstructured":"Gotel O, Finkelstein A (1995) Contribution structures (requirements artifacts). In: Proceedings of the 2nd international symposium on requirements engineering, pp 100\u2013107","DOI":"10.1109\/ISRE.1995.512550"},{"key":"32_CR45","unstructured":"Fischer G, Lemke A, McCall R, Morch A (1996) Making argumentation serve design. In: Moran T, Carroll J (eds) Design rationale: concepts, techniques, and use. Lawrence Erlbaum Associates, Mahwah, pp 267\u2013293"},{"key":"32_CR46","unstructured":"Gruber T, Russell D (1996) Generative design rationale: beyond the record and replay paradigm. In: Moran T, Carroll J (eds) Design rationale: concepts, techniques, and use. Lawrence Erlbaum Associates, Mahwah, pp 323\u2013349"},{"key":"32_CR47","doi-asserted-by":"crossref","unstructured":"Egyed A (2001) A scenario-driven approach to traceability. In: Proceedings of the 23rd international conference on software engineering, pp 123\u2013132","DOI":"10.1109\/ICSE.2001.919087"},{"issue":"2","key":"32_CR48","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"19","author":"EM Clarke","year":"1994","unstructured":"Clarke EM, Grumberg O, Long DE (1994) Model checking and abstraction. ACM Trans Program Lang Syst 19(2):1512\u20131542","journal-title":"ACM Trans Program Lang Syst"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-006-0032-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-006-0032-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-006-0032-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,14]],"date-time":"2020-04-14T11:06:51Z","timestamp":1586862411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-006-0032-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,3]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["32"],"URL":"https:\/\/doi.org\/10.1007\/s00766-006-0032-y","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,3]]}}}