{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T05:20:17Z","timestamp":1741238417385,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212093"},{"type":"electronic","value":"9783642212109"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21210-9_16","type":"book-chapter","created":{"date-parts":[[2011,5,13]],"date-time":"2011-05-13T06:06:37Z","timestamp":1305266797000},"page":"165-179","source":"Crossref","is-referenced-by-count":17,"title":["Specifying Overlaps of Heterogeneous Models for Global Consistency Checking"],"prefix":"10.1007","author":[{"given":"Zinovy","family":"Diskin","sequence":"first","affiliation":[]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: ICSE, pp. 381\u2013390 (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M.: Consistency checking of conceptual models via model merging. In: RE, pp. 221\u2013230 (2007)","DOI":"10.1109\/RE.2007.18"},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/1866272.1866279","volume-title":"First Int. Workshop on Model-Driven Interoperability, MDI 2010","author":"Z. Diskin","year":"2010","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: First Int. Workshop on Model-Driven Interoperability, MDI 2010, pp. 42\u201351. ACM Press, New York (2010)"},{"key":"16_CR4","unstructured":"Balzer, R.: Tolerating inconsistency. In: ICSE, pp. 158\u2013165 (1991)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18023-1_3","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"Z. Diskin","year":"2011","unstructured":"Diskin, Z.: Model synchronization: mappings, tile algebra, and categories. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol.\u00a06491, Springer, Heidelberg (2011)"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/s00766-006-0032-y","volume":"11","author":"M. Sabetzadeh","year":"2006","unstructured":"Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requir. Eng.\u00a011(3), 174\u2013193 (2006)","journal-title":"Requir. Eng."},{"key":"16_CR7","unstructured":"Diskin, Z.: Towards a formal semantics for consisterncy of heterogeneous multimodels. Technical Report 2010-07, The University of Waterloo (2011), http:\/\/gsd.uwaterloo.ca\/node\/330"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-03429-9_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2009","unstructured":"Mossakowski, T., Tarlecki, A.: Heterogeneous logical environments for distributed specifications. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 266\u2013289. Springer, Heidelberg (2009)"},{"key":"16_CR9","unstructured":"Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML \u2014 towards a system model for UML: The structural data model. Technical Report TUM-IO612, Techniche Universit\u00e4t M\u00fcnchen (2006)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult? In: ICSE, pp. 676\u2013683 (2003)","DOI":"10.1109\/ICSE.2003.1201254"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: ICSE, pp. 455\u2013464 (2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R. Straeten Van Der","year":"2003","unstructured":"Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 326\u2013340. Springer, Heidelberg (2003)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE, pp. 292\u2013301 (2007)","DOI":"10.1109\/ICSE.2007.38"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Easterbrook, S.M., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: ICSE, pp. 411\u2013420 (2001)","DOI":"10.1109\/ICSE.2001.919114"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/69.277770","volume":"6","author":"S. Spaccapietra","year":"1994","unstructured":"Spaccapietra, S., Parent, C.: View integration: A step forward in solving structural conflicts. IEEE Trans. Knowl. Data Eng.\u00a06(2), 258\u2013274 (1994)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Bernstein, P., Pottinger, R.: Merging models based on given correspondences. In: VLDB (2003)","DOI":"10.1016\/B978-012722442-8\/50081-1"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Cadish, B., Diskin, Z.: Heterogenious view integration via sketches and equations. In: ISMIS, pp. 603\u2013612 (1996)","DOI":"10.1007\/3-540-61286-6_184"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"G. Engels","year":"1997","unstructured":"Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A combined reference model- and view-based approach to system specification. Int. Journal of Software and Knowledge Engeneering\u00a07, 457\u2013477 (1997)","journal-title":"Int. Journal of Software and Knowledge Engeneering"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/11787044_26","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., Bouzitouna, S., Del Fabro, M.D., Gervais, M.-P., Jouault, F., Kolovos, D.S., Kurtev, I., Paige, R.F.: A canonical scheme for model composition. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 346\u2013360. Springer, Heidelberg (2006)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-13595-8_24","volume-title":"Modelling Foundations and Applications","author":"A. Vallecillo","year":"2010","unstructured":"Vallecillo, A.: On the combination of domain specific modeling languages. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 305\u2013320. Springer, Heidelberg (2010)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-540-24626-8_24","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"M. Wirsing","year":"2004","unstructured":"Wirsing, M., Knapp, A.: View consistency in software development. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 341\u2013357. Springer, Heidelberg (2004)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-03429-9_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What is a multi-modeling language? In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 71\u201387. Springer, Heidelberg (2009)"},{"key":"16_CR23","first-page":"163","volume-title":"EDOC","author":"J. Romero","year":"2009","unstructured":"Romero, J., Jaen, J., Vallecillo, A.: Realizing correspondences in multi-viewpoint specifications. In: EDOC, pp. 163\u2013172. IEEE Computer Society, Los Alamitos (2009)"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., Maibaum, T.S.E.: Interconnecting formalisms: Supporting modularity, reuse and incrementality. In: SIGSOFT FSE, pp. 72\u201380 (1995)","DOI":"10.1145\/222132.222141"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-540-87875-9_15","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Liang","year":"2008","unstructured":"Liang, H., Diskin, Z., Dingel, J., Posse, E.: A general approach for scenario integration. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 204\u2013218. Springer, Heidelberg (2008)"},{"key":"16_CR26","unstructured":"Bernstein, P.: Applying model management to classical metadata problems. In: Proc. CIDR 2003, pp. 209\u2013220 (2003)"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Mathematics of generic specifications for model management. In: Rivero, Doorn, Ferraggine (eds.): Encyclopedia of Database Technologies and Applications, pp. 351\u2013366. Idea Group, USA (2005)","DOI":"10.4018\/978-1-59140-560-3.ch061"},{"key":"16_CR28","unstructured":"Diskin, Z., Easterbrook, S., Miller, R.: Integrating schema integration frameworks, algebraically. Technical Report CSRG-583, University of Toronto (2008), http:\/\/ftp.cs.toronto.edu\/pub\/reports\/csrg\/583\/TR-583-schemaIntegr.pdf"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21210-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T14:35:57Z","timestamp":1741185357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21210-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212093","9783642212109"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21210-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}