{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T11:28:05Z","timestamp":1746012485665},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_18","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"287-303","source":"Crossref","is-referenced-by-count":4,"title":["Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Demuth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto E.","family":"Lopez-Herrejon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: Model-driven engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"18_CR2","unstructured":"Manders, E.-J., Biswas, G., Mahadevan, N., Karsai, G.: Component-oriented modeling of hybrid dynamic systems using the generic modeling environment. In: MOMPES 2012, pp. 159\u2013168 (2006)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Ossher, H., Bellamy, R.K.E., Simmonds, I., Amid, D., Anaby-Tavor, A., Callery, M., Desmond, M., de Vries, J., Fisher, A., Krasikov, S.: Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges. In: OOPSLA, pp. 848\u2013864 (2010)","DOI":"10.1145\/1932682.1869529"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-03013-0_4","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"M. Herrmannsdoerfer","year":"2009","unstructured":"Herrmannsdoerfer, M., Benz, S., Juergens, E.: COPE - automating coupled evolution of metamodels and models. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 52\u201376. Springer, Heidelberg (2009)"},{"key":"18_CR5","unstructured":"Object Management Group. Unified Modeling Language (UML), \n                    \n                      http:\/\/www.uml.org\/"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-642-16145-2_28","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Pardillo","year":"2010","unstructured":"Pardillo, J.: A systematic review on the definition of UML profiles. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 407\u2013422. Springer, Heidelberg (2010)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Gr\u00fcnbacher, P., Egyed, A., Rabiser, R., Heider, W.: Flexible and scalable consistency checking on product line variability models. In: ASE, pp. 63\u201372 (2010)","DOI":"10.1145\/1858996.1859009"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Model\/analyzer: a tool for detecting, visualizing and fixing design errors in UML. In: ASE, pp. 347\u2013348 (2010)","DOI":"10.1145\/1858996.1859069"},{"key":"18_CR9","unstructured":"Object Management Group. Object Constraint Language (OCL), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Automatically generating and adapting model constraints to support co-evolution of design models. In: ASE, pp. 302\u2013305 (2012)","DOI":"10.1145\/2351676.2351730"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Cross-layer modeler: A tool for flexible multilevel modeling with consistency checking. In: ESEC\/SIGSOFT FSE, pp. 452\u2013455 (2011), \n                    \n                      http:\/\/www.sea.jku.at\/tools\/xlm","DOI":"10.1145\/2025113.2025189"},{"key":"18_CR12","unstructured":"Eclipse Foundation. Eclipse Modeling Framework (EMF), \n                    \n                      http:\/\/eclipse.org\/modeling\/emf\/"},{"key":"18_CR13","unstructured":"B\u00fcttner, F., Bauerdick, H., Gogolla, M.: Towards transformation of integrity constraints and database states. In: DEXA Workshops, pp. 823\u2013828 (2005)"},{"key":"18_CR14","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":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-02144-2_8","volume-title":"Advanced Information Systems Engineering","author":"X. Blanc","year":"2009","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental detection of model inconsistencies based on model operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 32\u201346. Springer, Heidelberg (2009)"},{"issue":"2","key":"18_CR16","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A. Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Software Eng.\u00a037(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: EDOC, pp. 222\u2013231 (2008)","DOI":"10.1109\/EDOC.2008.44"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Hassam, K., Sadou, S., Gloahec, V.L., Fleurquin, R.: Assistance system for OCL constraints adaptation during metamodel evolution. In: CSMR, pp. 151\u2013160 (2011)","DOI":"10.1109\/CSMR.2011.21"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11557432_21","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Markovi\u0107","year":"2005","unstructured":"Markovi\u0107, S., Baar, T.: Refactoring OCL annotated UML class diagrams. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 280\u2013294. Springer, Heidelberg (2005)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-45441-1_11","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pollet, D., Le Traon, Y., J\u00e9z\u00e9quel, J.-M.: Refactoring UML models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 134\u2013148. Springer, Heidelberg (2001)"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-73589-2_28","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"G. Wachsmuth","year":"2007","unstructured":"Wachsmuth, G.: Metamodel adaptation and model co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 600\u2013624. Springer, Heidelberg (2007)"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-12029-9_15","volume-title":"Fundamental Approaches to Software Engineering","author":"I. Groher","year":"2010","unstructured":"Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 203\u2013217. Springer, Heidelberg (2010)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-30476-7_17","volume-title":"Theory and Practice of Model Transformations","author":"A. Demuth","year":"2012","unstructured":"Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Constraint-driven modeling through transformation. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol.\u00a07307, pp. 248\u2013263. Springer, Heidelberg (2012)"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: ASE, pp. 99\u2013108 (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: ASE, pp. 220\u2013229 (2012)","DOI":"10.1145\/2351676.2351707"},{"key":"18_CR26","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":"18_CR27","unstructured":"Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., Jazayeri, M.: Challenges in software evolution. In: IWPSE, pp. 13\u201322 (2005)"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ruscio, D.D., Pierantonio, A.: Managing dependent changes in coupled evolution. In: ICMT, pp. 35\u201351 (2009)","DOI":"10.1007\/978-3-642-02408-5_4"},{"key":"18_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/978-3-540-87875-9_45","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Herrmannsdoerfer","year":"2008","unstructured":"Herrmannsdoerfer, M., Benz, S., Juergens, E.: Automatability of coupled evolution of metamodels and models in practice. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 645\u2013659. Springer, Heidelberg (2008)"},{"key":"18_CR30","unstructured":"Wimmer, M., Kusel, A., Sch\u00f6nb\u00f6ck, J., Retschitzegger, W., Schwinger, W., Kappel, G.: On using inplace transformations for model co-evolution. In: MtATL. INRIA & Ecole des Mines de Nantes (2010)"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodeling. In: UML 2001, pp. 19\u201333 (2001)","DOI":"10.1007\/3-540-45441-1_3"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:58:50Z","timestamp":1558079930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}