{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:29:06Z","timestamp":1742992146562,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244841"},{"type":"electronic","value":"9783642244858"}],"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-24485-8_32","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"440-454","source":"Crossref","is-referenced-by-count":5,"title":["Constraint-Based Model Refactoring"],"prefix":"10.1007","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.: A search-based OCL constraint solver for model-based test data generation. In: Proc. of QSIC, pp. 41\u201350 (2011)","DOI":"10.1109\/QSIC.2011.17"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML\/OCL models using constraint programming. In: Proc. of ASE, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-540-30187-5_13","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"A.L. Correa","year":"2004","unstructured":"Correa, A.L., Werner, C.M.L.: Applying refactoring techniques to UML\/OCL models. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 173\u2013187. Springer, Heidelberg (2004)"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: Proc. of ICSE, pp. 292\u2013301 (2007)","DOI":"10.1109\/ICSE.2007.38"},{"key":"32_CR5","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Gheyi, R., Massoni, T., Borba, P.: A rigorous approach for proving model refactorings. In: Proc. of ASE, pp. 372\u2013375 (2005)","DOI":"10.1145\/1101908.1101973"},{"key":"32_CR7","unstructured":"WG Griswold Program Restructuring as an Aid to Software Maintenance (PhD Disserta-tion, University of Washington (1992)"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/978-3-642-04425-0_50","volume-title":"Model Driven Engineering Languages and Systems","author":"N. Moha","year":"2009","unstructured":"Moha, N., Mah\u00e9, V., Barais, O., J\u00e9z\u00e9quel, J.-M.: Generic model refactorings. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 628\u2013643. Springer, Heidelberg (2009)"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N. Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: Towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"key":"32_CR10","unstructured":"OMG Unified Modeling Language Superstructure Version 2.3 (May 2010), http:\/\/www.omg.org\/spec\/UML\/2.3\/Superstructure"},{"key":"32_CR11","unstructured":"Object Management Group Object Constraint Language Version 2.2, http:\/\/www.omg.org\/spec\/OCL\/2.2"},{"key":"32_CR12","volume-title":"Object-Oriented Type","author":"J. Palsberg","year":"1994","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-Oriented Type. Wiley, Chichester (1994)"},{"key":"32_CR13","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-94-017-2740-2_15","volume-title":"Practical Foundations of Business and System Specifications","author":"J. Philipps","year":"2003","unstructured":"Philipps, J., Rumpe, B.: Refactoring of programs and specifications. In: Practical Foundations of Business and System Specifications, pp. 281\u2013297. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-45221-8_16","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"I. Porres","year":"2003","unstructured":"Porres, I.: Model refactorings as rule-based update transformations. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 159\u2013174. Springer, Heidelberg (2003)"},{"issue":"4","key":"32_CR15","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s10270-006-0037-5","volume":"6","author":"A. Pretschner","year":"2007","unstructured":"Pretschner, A., Prenninger, W.: Computing refactorings of state machines. Software and System Modeling\u00a06(4), 381\u2013399 (2007)","journal-title":"Software and System Modeling"},{"key":"32_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-16129-2_7","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Reimann","year":"2010","unstructured":"Reimann, J., Seifert, M., A\u00dfmann, U.: Role-based generic model refactoring. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol.\u00a06395, pp. 78\u201392. Springer, Heidelberg (2010)"},{"key":"32_CR17","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvel, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Englewood Cliffs (2003)","edition":"2"},{"key":"32_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-642-03013-0_19","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"F. Steimann","year":"2009","unstructured":"Steimann, F., Thies, A.: From public to private to absent: Refactoring java programs under constrained accessibility. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 419\u2013443. Springer, Heidelberg (2009)"},{"key":"32_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-22655-7_13","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"F. Steimann","year":"2011","unstructured":"Steimann, F., Kollee, C., von Pilgrim, J.: A refactoring constraint language and its application to eiffel. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 255\u2013280. Springer, Heidelberg (2011)"},{"key":"32_CR20","unstructured":"Steimann, F., von Pilgrim, J.: Constraint-based refactoring with foresight (unpublished manuscript ), http:\/\/www.feu.de\/ps\/docs\/Foresight.pdf"},{"key":"32_CR21","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":"32_CR22","doi-asserted-by":"crossref","unstructured":"Tip, F., Kiezun, A., B\u00e4umer, D.: Refactoring for generalization using type constraints. In: Proc. of OOPSLA, pp. 13\u201326 (2003)","DOI":"10.1145\/949343.949308"},{"key":"32_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74061-2_1","volume-title":"Static Analysis","author":"F. Tip","year":"2007","unstructured":"Tip, F.: Refactoring using type constraints. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634, pp. 1\u201317. Springer, Heidelberg (2007)"},{"key":"32_CR24","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model incon-sistency fixing. In: Proc. of ESEC\/SIGSOFT FSE, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"}],"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-24485-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T04:31:59Z","timestamp":1560745919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}