{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T19:48:58Z","timestamp":1780084138647,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548031","type":"print"},{"value":"9783642548048","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_5","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T05:59:16Z","timestamp":1395381556000},"page":"63-78","source":"Crossref","is-referenced-by-count":17,"title":["Sound Merging and Differencing for Class Diagrams"],"prefix":"10.1007","author":[{"given":"Uli","family":"Fahrenberg","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-41533-3_22","volume-title":"Model-Driven Engineering Languages and Systems","author":"M. Acher","year":"2013","unstructured":"Acher, M., Combemale, B., Collet, P., Barais, O., Lahire, P., France, R.B.: Composing your compositions of variability models. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol.\u00a08107, pp. 352\u2013369. Springer, Heidelberg (2013)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/978-3-642-31095-9_41","volume-title":"Advanced Information Systems Engineering","author":"M. Acher","year":"2012","unstructured":"Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P., Merle, P.: Feature model differences. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol.\u00a07328, pp. 629\u2013645. Springer, Heidelberg (2012)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Antonik, A., Huth, M., Larsen, K.G., Nyman, U., W\u0105sowski, A.: EXPTIME-complete decision problems for modal and mixed specifications. Electr. Notes Theor. Comput. Sci.\u00a0242(1), 19\u201333 (2009)","DOI":"10.1016\/j.entcs.2009.06.011"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.ic.2012.08.001","volume":"218","author":"N. Bene\u0161","year":"2012","unstructured":"Bene\u0161, N., K\u0159et\u00ednsk\u00fd, J., Larsen, K.G., Srba, J.: EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput.\u00a0218, 54\u201368 (2012)","journal-title":"Inf. Comput."},{"key":"5_CR6","unstructured":"Bibliography on comparison and versioning of software models, \n                    \n                      http:\/\/pi.informatik.uni-siegen.de\/CVSM"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa 2006, pp. 5\u201312. ACM (2006)","DOI":"10.1145\/1138304.1138307"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11813040_8","volume-title":"FM 2006: Formal Methods","author":"G. Brunet","year":"2006","unstructured":"Brunet, G., Chechik, M., Uchitel, S.: Properties of behavioural model merging. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 98\u2013114. Springer, Heidelberg (2006)"},{"key":"5_CR9","unstructured":"Euzenat, J., Shvaiko, P.: Ontology matching. Springer (2007)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Legay, A., W\u0105sowski, A.: Vision paper: Make a difference (semantically). In: Whittle, et al. (eds.) [24], pp. 490\u2013500","DOI":"10.1007\/978-3-642-24485-8_36"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"France, R.B., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing support for model composition in metamodels. In: EDOC, pp. 253\u2013266. IEEE (2007)","DOI":"10.1109\/EDOC.2007.55"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: ICSE 2011. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11880240_16","volume-title":"Model Driven Engineering Languages and Systems","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging models with the epsilon merging language (EML). In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: An analysis of approaches to support model differencing. In: CVSM\/ICSE, pp. 1\u20136. IEEE (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDiff: semantic differencing for activity diagrams. In: ESEC\/FSE, pp. 179\u2013189. ACM (2011)","DOI":"10.1145\/2025113.2025140"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-22655-7_12","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: Semantic differencing for class diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 230\u2013254. Springer, Heidelberg (2011)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-21210-9_19","volume-title":"Models in Software Engineering","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: A manifesto for semantic model differencing. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 194\u2013203. Springer, Heidelberg (2011)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Semantically configurable consistency analysis for class and object diagrams. In: Whittle, et al. (eds.) [24], pp. 153\u2013167","DOI":"10.1007\/978-3-642-24485-8_12"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: ICSE, pp. 54\u201364. IEEE (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for composing aspect-oriented design class models. In: Rashid, A., Ak\u015fit, M. (eds.) Transactions on AOSD I. LNCS, vol.\u00a03880, pp. 75\u2013105. Springer, Heidelberg (2006)","DOI":"10.1007\/11687061_3"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Rubin, J., Chechik, M.: Combining related products into product lines. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 285\u2013300. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28872-2_20"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Rubin, J., Chechik, M.: Quality of merge-refactorings for product lines. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol.\u00a07793, pp. 83\u201398. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-37057-1_7"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Easterbrook, S.M., Chechik, M.: Global consistency checking of distributed models with TReMer+. In: ICSE, pp. 815\u2013818 (2008)","DOI":"10.1145\/1368088.1368208"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Model Driven Engineering Languages and Systems","year":"2011","unstructured":"Whittle, J., Clark, T., K\u00fchne, T. (eds.): MODELS 2011. LNCS, vol.\u00a06981. Springer, Heidelberg (2011)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object-oriented design differencing. In: ASE, pp. 54\u201365. ACM (2005)","DOI":"10.1145\/1101908.1101919"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54804-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:25:13Z","timestamp":1558859113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}