{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T14:45:31Z","timestamp":1768488331792,"version":"3.49.0"},"reference-count":173,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,10,15]],"date-time":"2013-10-15T00:00:00Z","timestamp":1381795200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,10,15]],"date-time":"2013-10-15T00:00:00Z","timestamp":1381795200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10664-013-9283-7","type":"journal-article","created":{"date-parts":[[2013,10,14]],"date-time":"2013-10-14T10:27:08Z","timestamp":1381746428000},"page":"206-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":66,"title":["UML model refactoring: a systematic literature review"],"prefix":"10.1007","volume":"20","author":[{"given":"Mohammed","family":"Misbhauddin","sequence":"first","affiliation":[]},{"given":"Mohammad","family":"Alshayeb","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,10,15]]},"reference":[{"key":"9283_CR1","volume-title":"The attributed graph grammar system","author":"AGG","year":"2011","unstructured":"AGG (2011) The attributed graph grammar system. Technische Universit\u00e4t, Berlin"},{"key":"9283_CR2","unstructured":"Ahmed M (2011) Towards the development of integrated reuse environments for UML artifacts. In: The Sixth International Conference on Software Engineering Advances"},{"key":"9283_CR3","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-642-24485-8_33","volume-title":"Model driven engineering languages and systems, vol 6981. Lecture Notes in Computer Science","author":"M Akiyama","year":"2011","unstructured":"Akiyama M, Hayashi S, Kobayashi T, Saeki M (2011) Supporting design model refactoring for improving class responsibility assignment. In: Whittle J, Clark T, K\u00fchne T (eds) Model driven engineering languages and systems, vol 6981. Lecture Notes in Computer Science. Springer, Berlin, pp 455\u2013469. doi:10.1007\/978-3-642-24485-8_33"},{"issue":"12","key":"9283_CR4","doi-asserted-by":"publisher","first-page":"1346","DOI":"10.1016\/j.infsof.2010.08.006","volume":"52","author":"J Al Dallal","year":"2010","unstructured":"Al Dallal J, Briand LC (2010) An object-oriented high-level design-based class cohesion metric. Inf Softw Technol 52(12):1346\u20131361. doi:10.1016\/j.infsof.2010.08.006","journal-title":"Inf Softw Technol"},{"key":"9283_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511817533","volume-title":"The elements of UML 2.0 Style","author":"SW Ambler","year":"2005","unstructured":"Ambler SW (2005) The elements of UML 2.0 Style. Cambridge University Press, New York"},{"issue":"3","key":"9283_CR6","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1049\/iet-sen:20070076","volume":"2","author":"C Amelunxen","year":"2008","unstructured":"Amelunxen C, Sch\u00fcrr A (2008) Formalising model transformation rules for UML\/MOF 2. IET Softw 2(3):204\u2013222","journal-title":"IET Softw"},{"key":"9283_CR7","doi-asserted-by":"crossref","unstructured":"Arendt T, Taentzer G (2012) Integration of smells and refactorings within the Eclipse modeling framework. In: Proceedings of the Fifth Workshop on Refactoring Tools, Rapperswil, Switzerland","DOI":"10.1145\/2328876.2328878"},{"issue":"6","key":"9283_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1109\/TSE.2006.59","volume":"32","author":"E Arisholm","year":"2006","unstructured":"Arisholm E, Briand LC, Hove SE, Labiche Y (2006) The impact of UML documentation on software maintenance: an experimental evaluation. IEEE Trans Softw Eng 32(6):365\u2013381. doi:10.1109\/TSE.2006.59","journal-title":"IEEE Trans Softw Eng"},{"key":"9283_CR9","volume-title":"The description logic handbook: theory, implementation and applications","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2003) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge"},{"key":"9283_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-540-70881-0_9","volume-title":"Perspectives of systems informatics, vol 4378. Lecture Notes in Computer Science","author":"T Baar","year":"2007","unstructured":"Baar T, Markovi\u0107 S (2007) A graphical approach to prove the semantic preservation of UML\/OCL refactoring rules. In: Virbitskaite I, Voronkov A (eds) Perspectives of systems informatics, vol 4378. Lecture Notes in Computer Science. Springer, Berlin, pp 70\u201383. doi:10.1007\/978-3-540-70881-0_9"},{"issue":"1","key":"9283_CR11","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/32.979986","volume":"28","author":"J Bansiya","year":"2002","unstructured":"Bansiya J, Davis CG (2002) A hierarchical model for object-oriented design quality assessment. IEEE Trans Softw Eng 28(1):4\u201317","journal-title":"IEEE Trans Softw Eng"},{"key":"9283_CR12","doi-asserted-by":"crossref","unstructured":"Barbosa LS, Sun M (2008) UML model refactoring as refinement: a coalgebraic perspective. In: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","DOI":"10.1109\/SYNASC.2008.88"},{"issue":"SI","key":"9283_CR13","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/223427.211856","volume":"20","author":"JM Bieman","year":"1995","unstructured":"Bieman JM, Kang B-K (1995) Cohesion and reuse in an object-oriented system. SIGSOFT Softw Eng Notes 20(SI):259\u2013262. doi:10.1145\/223427.211856","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"9283_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-78743-3_26","volume-title":"Fundamental approaches to software engineering","author":"D Bisztray","year":"2008","unstructured":"Bisztray D, Heckel R, Ehrig H (2008) Verification of architectural refactorings by rule extraction. In: Fiadeiro J, Inverardi P (eds) Fundamental approaches to software engineering, vol 4961, Lecture Notes in Computer Science. Springer, Berlin, pp 347\u2013361. doi:10.1007\/978-3-540-78743-3_26"},{"key":"9283_CR15","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-10248-6_13","volume-title":"Architecting dependable systems VI, vol 5835. Lecture Notes in Computer Science","author":"D Bisztray","year":"2009","unstructured":"Bisztray D, Heckel R, Ehrig H (2009) Compositional verification of architectural refactorings. In: Lemos R, Fabre J-C, Gacek C, Gadducci F, Beek M (eds) Architecting dependable systems VI, vol 5835. Lecture Notes in Computer Science. Springer, Berlin, pp 308\u2013333. doi:10.1007\/978-3-642-10248-6_13"},{"key":"9283_CR16","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/3-540-36557-5_26","volume-title":"Objects, components, architectures, services, and applications for a networked world, vol 2591. Lecture Notes in Computer Science","author":"M Boger","year":"2003","unstructured":"Boger M, Sturm T, Fragemann P (2003) Refactoring browser for UML. In: Aksit M, Mezini M, Unland R (eds) Objects, components, architectures, services, and applications for a networked world, vol 2591. Lecture Notes in Computer Science. Springer, Berlin, pp 366\u2013377. doi:10.1007\/3-540-36557-5_26"},{"key":"9283_CR17","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-25959-6_16","volume-title":"Applications of graph transformations with industrial relevance, vol 3062. Lecture Notes in Computer Science","author":"P Bottoni","year":"2004","unstructured":"Bottoni P, Presicce F, Taentzer G (2004) Specifying integrated refactoring with distributed graph transformations. In: Pfaltz J, Nagl M, B\u00f6hlen B (eds) Applications of graph transformations with industrial relevance, vol 3062. Lecture Notes in Computer Science. Springer, Berlin, pp 220\u2013235. doi:10.1007\/978-3-540-25959-6_16"},{"key":"9283_CR18","volume-title":"Transformation of knowledge, information and data: theory and applications","author":"P Bottoni","year":"2005","unstructured":"Bottoni P, Parisi-Presicce F, Taentzer G (2005) Specifying coherent refactoring of software artefacts with distributed graph transformations. In: van Bommel P (ed) Transformation of knowledge, information and data: theory and applications. Information Science Publishing, Hershey"},{"issue":"3","key":"9283_CR19","doi-asserted-by":"publisher","first-page":"43","DOI":"10.5381\/jot.2009.8.3.c5","volume":"8","author":"C Bouhours","year":"2009","unstructured":"Bouhours C, Leblanc H, Percebois C (2009) Bad smells in design and design patterns. J Object Technol 8(3):43\u201363. doi:10.5381\/jot.2009.8.3.c5","journal-title":"J Object Technol"},{"key":"9283_CR20","doi-asserted-by":"crossref","unstructured":"Brambilla M, Cabot J, Wimmer M (2012) Model-driven software engineering in practice. Synthesis Lectures on Software Engineering. Morgan and Claypool","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"issue":"3","key":"9283_CR21","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes SD, Hoare CAR, Roscoe AW (1984) A theory of communicating sequential processes. J ACM 31(3):560\u2013599","journal-title":"J ACM"},{"key":"9283_CR22","volume-title":"AntiPatterns: refactoring software architectures and projects in crisis","author":"WJ Brown","year":"1998","unstructured":"Brown WJ, Malveau RC, Brown WH, McCormick HW III, Mowbray TJ (1998) AntiPatterns: refactoring software architectures and projects in crisis, 1st edn. John Wiley and Sons, Hoboken","edition":"1"},{"issue":"3","key":"9283_CR23","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10009-004-0155-8","volume":"6","author":"S Burmester","year":"2004","unstructured":"Burmester S, Giese H, Niere J, Tichy M, Wadsack JP, Wagner R, Wendehals L, Z\u00fcndorf A (2004) Tool integration at the meta-model level: the Fujaba approach. STTT 6(3):203\u2013218. doi:10.1007\/s10009-004-0155-8","journal-title":"STTT"},{"issue":"3","key":"9283_CR24","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/379377.375239","volume":"26","author":"G Butler","year":"2001","unstructured":"Butler G, Xu L (2001) Cascaded refactoring for framework. SIGSOFT Softw Eng Notes 26(3):51\u201357. doi:10.1145\/379377.375239","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"9283_CR25","doi-asserted-by":"publisher","unstructured":"Chen J, Wang Z, Chen B, Qian S (2009) Towards a model refactoring conflict resolution algorithm. 1st International Conference on Information Science and Engineering:5439\u20135442. doi:10.1109\/icise.2009.1316","DOI":"10.1109\/icise.2009.1316"},{"key":"9283_CR26","doi-asserted-by":"publisher","unstructured":"Christoph A (2005) Describing horizontal model transformations with graph rewriting rules. In: A\u00dfmann U, Aksit M, Rensink A (eds) Model Driven Architecture, vol 3599. Lecture Notes in Computer Science. Springer, Berlin, pp 901\u2013901. doi:10.1007\/11538097_7","DOI":"10.1007\/11538097_7"},{"key":"9283_CR27","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-540-30187-5_13","volume-title":"The unified modeling language. Modelling languages and applications, vol 3273. Lecture Notes in Computer Science","author":"A Correa","year":"2004","unstructured":"Correa A, Werner C (2004) Applying refactoring techniques to UML\/OCL models. In: Baar T, Strohmeier A, Moreira A, Mellor S (eds) The unified modeling language. Modelling languages and applications, vol 3273. Lecture Notes in Computer Science. Springer, Berlin, pp 173\u2013187. doi:10.1007\/978-3-540-30187-5_13"},{"issue":"2","key":"9283_CR28","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10270-006-0023-y","volume":"6","author":"A Correa","year":"2007","unstructured":"Correa A, Werner C (2007) Refactoring object constraint language specifications. Softw Syst Model 6(2):113\u2013138. doi:10.1007\/s10270-006-0023-y","journal-title":"Softw Syst Model"},{"key":"9283_CR29","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-75209-7_6","volume-title":"Model driven engineering languages and systems, vol 4735. Lecture Notes in Computer Science","author":"A Correa","year":"2007","unstructured":"Correa A, Werner C, Barros M (2007) An empirical study of the impact of OCL smells and refactorings on the understandability of OCL specifications. In: Engels G, Opdyke B, Schmidt D, Weil F (eds) Model driven engineering languages and systems, vol 4735. Lecture Notes in Computer Science. Springer, Berlin, pp 76\u201390. doi:10.1007\/978-3-540-75209-7_6"},{"issue":"2","key":"9283_CR30","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1049\/iet-sen.2008.0022","volume":"3","author":"A Correa","year":"2009","unstructured":"Correa A, Werner C, Barros M (2009) Refactoring to improve the understandability of specifications written in object constraint language. IET Softw 3(2):69\u201390. doi:10.1049\/iet-sen.2008.0022","journal-title":"IET Softw"},{"key":"9283_CR31","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/11568346_3","volume-title":"Perspectives in conceptual modeling, vol 3770. Lecture Notes in Computer Science","author":"J Cruz-Lemus","year":"2005","unstructured":"Cruz-Lemus J, Genero M, Piattini M, Toval A (2005) An empirical study of the nesting level of composite states within UML statechart diagrams. In: Akoka J, Liddle S, Song I-Y et al (eds) Perspectives in conceptual modeling, vol 3770. Lecture Notes in Computer Science. Springer, Berlin, pp 12\u201322. doi:10.1007\/11568346_3"},{"key":"9283_CR32","unstructured":"Czarnecki K, Helsen S (2003) Classification of model transformation approaches. In: Workshop on Generative Techniques in the Context of Model-Driven Architecture. Object Oriented Programming, Systems, Languages and Applications"},{"key":"9283_CR33","unstructured":"Dao M, Huchard M, Rouane Hacene M, Roume C, Valtchev P (2006) Towards practical tools for mining abstractions in UML models. In: 8th International Conference on Enterprise Information Systems, Paphos, Cyprus"},{"key":"9283_CR34","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-27813-9_45","volume-title":"Computer aided verification, vol 3114. Lecture Notes in Computer Science","author":"L de Moura","year":"2004","unstructured":"de Moura L, Owre S, Rue\u00df H, Rushby J, Shankar N, Sorea M, Tiwari A (2004) SAL 2. In: Alur R, Peled D (eds) Computer aided verification, vol 3114. Lecture Notes in Computer Science. Springer, Berlin, pp 251\u2013254. doi:10.1007\/978-3-540-27813-9_45"},{"key":"9283_CR35","unstructured":"Demirezen Z, Topaloglu NY (2006) A refactoring tool for design patterns with model transformations. In: Prinz A, Tveit MS (eds) Proceedings of the The 4th Nordic Workshop on UML and Software Modelling, Grimstad, Norway"},{"key":"9283_CR36","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/11784180_11","volume-title":"Algebraic methodology and software technology, vol 4019. Lecture Notes in Computer Science","author":"J Derrick","year":"2006","unstructured":"Derrick J, Wehrheim H (2006) Model transformations incorporating multiple views. In: Johnson M, Vene V (eds) Algebraic methodology and software technology, vol 4019. Lecture Notes in Computer Science. Springer, Berlin, pp 111\u2013126. doi:10.1007\/11784180_11"},{"issue":"3","key":"9283_CR37","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1016\/j.scico.2009.11.004","volume":"75","author":"J Derrick","year":"2010","unstructured":"Derrick J, Wehrheim H (2010) Model transformations across views. Sci Comput Program 75(3):192\u2013210","journal-title":"Sci Comput Program"},{"key":"9283_CR38","doi-asserted-by":"crossref","unstructured":"Dobrza\u0144ski \u0141, Ku\u017aniarz L (2006) An approach to refactoring of executable UML models. In: Proceedings of the 2006 ACM symposium on Applied computing, Dijon, France","DOI":"10.1145\/1141277.1141574"},{"issue":"4","key":"9283_CR39","first-page":"343","volume":"12","author":"\u0141 Dobrza\u0144ski","year":"2005","unstructured":"Dobrza\u0144ski \u0141, Ku\u017aniarz L (2005) Practical refactoring of executable UML models. Nord J Comput 12(4):343\u2013360","journal-title":"Nord J Comput"},{"issue":"9\u201310","key":"9283_CR40","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/j.infsof.2008.01.006","volume":"50","author":"T Dyb\u00e5","year":"2008","unstructured":"Dyb\u00e5 T, Dings\u00f8yr T (2008) Empirical studies of agile software development: a systematic review. Inf Softw Technol 50(9\u201310):833\u2013859. doi:10.1016\/j.infsof.2008.01.006","journal-title":"Inf Softw Technol"},{"issue":"3","key":"9283_CR41","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1109\/TSE.2008.15","volume":"34","author":"WJ Dzidek","year":"2008","unstructured":"Dzidek WJ, Arisholm E, Briand LC (2008) A realistic empirical evaluation of the costs and benefits of UML in software maintenance. IEEE Trans Softw Eng 34(3):407\u2013432. doi:10.1109\/TSE.2008.15","journal-title":"IEEE Trans Softw Eng"},{"key":"9283_CR42","unstructured":"e.Abreu FB, Melo W (1996) Evaluating the impact of object-oriented design on software quality. In: Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results"},{"key":"9283_CR43","doi-asserted-by":"crossref","unstructured":"Egyed A (2006) Instant consistency checking for the UML. In: Proceedings of the 28th international conference on Software engineering, Shanghai, China","DOI":"10.1145\/1134285.1134339"},{"key":"9283_CR44","doi-asserted-by":"crossref","unstructured":"Einarsson H\u00de, Neukirchen H (2012) An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations. In: Proceedings of the Fifth Workshop on Refactoring Tools, Rapperswil, Switzerland","DOI":"10.1145\/2328876.2328879"},{"issue":"2","key":"9283_CR45","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10270-009-0112-9","volume":"9","author":"M El-Attar","year":"2010","unstructured":"El-Attar M, Miller J (2010) Improving the quality of use case models using antipatterns. Softw Syst Model 9(2):141\u2013160. doi:10.1007\/s10270-009-0112-9","journal-title":"Softw Syst Model"},{"key":"9283_CR46","doi-asserted-by":"crossref","unstructured":"El-Sharqwi M, Mahdi H, El-Madah I (2010) Pattern-based model refactoring. In: International Conference on Computer Engineering and Systems (ICCES)","DOI":"10.1109\/ICCES.2010.5674873"},{"key":"9283_CR47","doi-asserted-by":"crossref","unstructured":"Enckevort TV (2009) Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries. In: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, Orlando, Florida, USA","DOI":"10.1145\/1639950.1639959"},{"key":"9283_CR48","unstructured":"Ermel C, Ehrig H, Ehrig K (2009) Refactoring of model transformations. In: Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques"},{"key":"9283_CR49","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.entcs.2008.06.015","volume":"214","author":"HC Estler","year":"2008","unstructured":"Estler HC, Wehrheim H (2008) Alloy as a refactoring checker? Electron Notes Theor Comput Sci 214:331\u2013357. doi:10.1016\/j.entcs.2008.06.015","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9283_CR50","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2006.08.041","volume":"187","author":"HC Estler","year":"2007","unstructured":"Estler HC, Ruhroth T, Wehrheim H (2007) Modelchecking correctness of refactorings\u2014some experiments. Electron Notes Theor Comput Sci 187:3\u201317. doi:10.1016\/j.entcs.2006.08.041","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9283_CR51","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-48480-6_26","volume-title":"The unified modeling language. \u00abUML\u00bb\u201998: beyond the notation, vol 1618. Lecture Notes in Computer Science","author":"A Evans","year":"1999","unstructured":"Evans A, France R, Lano K, Rumpe B (1999) The UML as a formal modeling notation. In: B\u00e9zivin J, Muller P-A (eds) The unified modeling language. \u00abUML\u00bb\u201998: beyond the notation, vol 1618. Lecture Notes in Computer Science. Springer, Berlin, pp 336\u2013348. doi:10.1007\/978-3-540-48480-6_26"},{"key":"9283_CR52","unstructured":"Favre L, Pereira C (2007) Improving MDA-based process quality through refactoring patterns. In: Proceedings of the 1st International Workshop on Software Patterns and Quality"},{"key":"9283_CR53","doi-asserted-by":"crossref","unstructured":"Favre L, Pereira C (2008) Formalizing MDA-based refactorings. In: 19th Australian Conference on Software Engineering","DOI":"10.1109\/ASWEC.2008.4483226"},{"issue":"7","key":"9283_CR54","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1016\/j.infsof.2012.12.006","volume":"55","author":"AM Fern\u00e1ndez-S\u00e1ez","year":"2013","unstructured":"Fern\u00e1ndez-S\u00e1ez AM, Genero M, Chaudron MRV (2013) Empirical studies concerning the maintenance of UML diagrams and their use in the maintenance of code: A systematic mapping study. Inf Softw Technol 55(7):1119\u20131142. doi:10.1016\/j.infsof.2012.12.006","journal-title":"Inf Softw Technol"},{"key":"9283_CR55","unstructured":"Folli A, Mens T (2007) Refactoring of UML models using AGG. In: Proceedings of the Third International ERCIM Symposium on Software Evolution"},{"key":"9283_CR56","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-21378-6_2","volume-title":"Computer and information science, vol 364. Studies in Computational Intelligence","author":"R Fourati","year":"2011","unstructured":"Fourati R, Bouassida N, Abdallah H (2011) A metric-based approach for anti-pattern detection in UML designs. In: Lee R (ed) Computer and information science, vol 364. Studies in Computational Intelligence. Springer, Berlin, pp 17\u201333. doi:10.1007\/978-3-642-21378-6_2"},{"key":"9283_CR57","unstructured":"Fowler M, Beck K, Brant J, Opdyke W (1999) Refactoring: improving the design of existing code. Addison-Wesley"},{"key":"9283_CR58","unstructured":"France RB, Bieman JM (2001) Multi-view software evolution: a UML-based framework for evolving object-oriented software. In: 17th IEEE International Conference on Software Maintenance (ICSM\u201901)"},{"key":"9283_CR59","volume-title":"A metamodeling approach to pattern-based model refactoring","author":"RB France","year":"2003","unstructured":"France RB, Ghosh S, Song E, Kim D-K (2003) A metamodeling approach to pattern-based model refactoring, vol 20. IEEE Software, Colorado Springs"},{"key":"9283_CR60","volume-title":"Fujaba tool suite","author":"Fujaba","year":"2011","unstructured":"Fujaba (2011) Fujaba tool suite, vol 5. University of Paderborn, Germany"},{"key":"9283_CR61","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E Gamma","year":"1994","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1994) Design patterns: elements of reusable object-oriented software. Professional Computing Series, Addison Wesley"},{"key":"9283_CR62","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-02351-4_10","volume-title":"Architectures for adaptive software systems, vol 5581. Lecture Notes in Computer Science","author":"J Garcia","year":"2009","unstructured":"Garcia J, Popescu D, Edwards G, Medvidovic N (2009) Toward a catalogue of architectural bad smells. In: Mirandola R, Gorton I, Hofmeister C (eds) Architectures for adaptive software systems, vol 5581. Lecture Notes in Computer Science. Springer, Berlin, pp 146\u2013162. doi:10.1007\/978-3-642-02351-4_10"},{"key":"9283_CR63","doi-asserted-by":"crossref","unstructured":"Genero M, Piattini M, Calero C (2002) Empirical validation of class diagram metrics. In: Proceedings. 2002 International Symposium in Empirical Software Engineering, pp 195\u2013203","DOI":"10.1109\/ISESE.2002.1166940"},{"key":"9283_CR64","doi-asserted-by":"crossref","unstructured":"Genero M, Miranda D, Piattini M (2003) Defining metrics for UML statechart diagrams in a methodological way. In: Conceptual Modeling for Novel Application Domains, vol 2814. Lecture Notes in Computer Science. Springer, Berlin, pp 118\u2013128","DOI":"10.1007\/978-3-540-39597-3_12"},{"issue":"3","key":"9283_CR65","doi-asserted-by":"publisher","first-page":"46","DOI":"10.4018\/jdm.2011070103","volume":"22","author":"M Genero","year":"2011","unstructured":"Genero M, Fern\u00e1ndez-S\u00e1ez AM, Nelson HJ, Poels G, Piattini M (2011) A systematic literature review on the quality of UML models. J Database Manag 22(3):46\u201370","journal-title":"J Database Manag"},{"key":"9283_CR66","unstructured":"Ghannem A, Kessentini M, El Boussaidi G (2011) Detecting model refactoring opportunities using heuristic search. In: Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research, Toronto, Ontario, Canada"},{"key":"9283_CR67","doi-asserted-by":"crossref","unstructured":"Gheyi R, Massoni T, Borba P (2005a) A rigorous approach for proving model refactorings. In: 20th IEEE\/ACM International Conference on Automated Software Engineering","DOI":"10.1145\/1101908.1101973"},{"key":"9283_CR68","unstructured":"Gheyi R, Massoni T, Borba P (2005b) Type-safe refactorings for alloy. In: Proceedings of the 8th Brazilian Symposium on Formal Methods, Porto Alegre, Brazil"},{"key":"9283_CR69","unstructured":"Gronback R (2004) Model validation: applying audits and metrics to UML models. http:\/\/conferences.embarcadero.com\/jp\/article\/32089. Accessed May 2012"},{"key":"9283_CR70","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-28554-7_5","volume-title":"Model-driven software development","author":"L Grunske","year":"2005","unstructured":"Grunske L, Geiger L, Z\u00fcndorf A, Eetvelde N, Gorp P, Varr\u00f3 D (2005) Using graph transformation for practical model-driven software engineering. In: Beydeda S, Book M, Gruhn V (eds) Model-driven software development. Springer, Berlin Heidelberg, pp 91\u2013117. doi:10.1007\/3-540-28554-7_5"},{"key":"9283_CR71","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-75912-6_13","volume-title":"Trends in enterprise application architecture, vol 4473. Lecture Notes in Computer Science","author":"C Heitz","year":"2007","unstructured":"Heitz C, Thiemann P, W\u00f6lfle T (2007) Integration of an action language via UML action semantics. In: Draheim D, Weber G (eds) Trends in enterprise application architecture, vol 4473. Lecture Notes in Computer Science. Springer, Berlin, pp 172\u2013186. doi:10.1007\/978-3-540-75912-6_13"},{"key":"9283_CR72","unstructured":"Hermann F, H\u00fclsbusch M, K\u00f6nig B (2010) Specification and verification of model transformations. In: International Colloquium on Graph and Model Transformation"},{"key":"9283_CR73","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-60406-5_11","volume-title":"Software engineering\u2014ESEC \u201995, vol 989. Lecture Notes in Computer Science","author":"M Hitz","year":"1995","unstructured":"Hitz M, Montazeri B (1995) Measuring product attributes of object-oriented systems. In: Sch\u00e4fer W, Botella P (eds) Software engineering\u2014ESEC \u201995, vol 989. Lecture Notes in Computer Science. Springer, Berlin, pp 124\u2013136. doi:10.1007\/3-540-60406-5_11"},{"key":"9283_CR74","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice Hall","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"9283_CR75","doi-asserted-by":"crossref","unstructured":"Hosseini S, Azgomi MA (2008) UML model refactoring with emphasis on behavior preservation. In: Proceedings of the 2008 2nd IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering","DOI":"10.1109\/TASE.2008.43"},{"issue":"3","key":"9283_CR76","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0950-5849(95)98926-7","volume":"37","author":"J Iivari","year":"1995","unstructured":"Iivari J (1995) Object-orientation as structural, functional and behavioural modelling: a comparison of six methods for object-oriented analysis. Inf Softw Technol 37(3):155\u2013163","journal-title":"Inf Softw Technol"},{"key":"9283_CR77","unstructured":"Issa A (2007) Utilising refactoring to restructure use-case models. In: Proceedings of International Conference of Information Engineering, London, UK. World Congress of Engineering, pp 523\u2013527"},{"issue":"5","key":"9283_CR78","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/503271.503219","volume":"26","author":"D Jackson","year":"2001","unstructured":"Jackson D, Shlyakhter I, Sridharan M (2001) A micromodularity mechanism. SIGSOFT Softw Eng Notes 26(5):62\u201373. doi:10.1145\/503271.503219","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"9283_CR79","doi-asserted-by":"crossref","unstructured":"Jalbani AA, Grabowski J, Neukirchen H, Zeiss B (2009) Towards an integrated quality assessment and improvement approach for UML models. In: Proceedings of the 14th International SDL Conference on Design for Motes and Mobiles, Bochum, Germany","DOI":"10.1007\/978-3-642-04554-7_5"},{"key":"9283_CR80","doi-asserted-by":"crossref","unstructured":"Jensen AC, Cheng BHC (2010) On the use of genetic programming for automated refactoring and the introduction of design patterns. In: Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation, Portland, Oregon, USA","DOI":"10.1145\/1830483.1830731"},{"key":"9283_CR81","unstructured":"Jouault F, Allilaire F, B\u00e9zivin J, Kurtev I, Valduriez P (2006) ATL: a QVT-like transformation language. In: Companion to the 21st ACM SIGPLAN Symposium on Object-Oriented Programming Systems, Languages, and Applications, Portland, Oregon, USA"},{"key":"9283_CR82","doi-asserted-by":"crossref","unstructured":"Judson SR, France RB, Carver DL (2004) Supporting rigorous evolution of UML models. In: Ninth IEEE International Conference on Engineering of Complex Computer Systems, pp 128\u2013137","DOI":"10.1109\/ICECCS.2004.1310911"},{"key":"9283_CR83","unstructured":"Junbing C, Zhijian W, Bo C, Si Q Towards (2009) A model refactoring conflict resolution algorithm. In: 1st International Conference on Information Science and Engineering (ICISE2009). IEEE, pp 5439\u20135442"},{"key":"9283_CR84","unstructured":"Kalleberg KT (2007) Abstractions for language-independent program Transformations. Doctoral thesis, University of Bergen, Bergen, Norway"},{"issue":"4","key":"9283_CR85","first-page":"855","volume":"E87-D","author":"H Kazato","year":"2004","unstructured":"Kazato H, Takaishi M, Kobayashi T, Saeki M (2004) Formalizing refactoring by using graph transformation. IEICE Trans Inf Syst E87-D(4):855\u2013867","journal-title":"IEICE Trans Inf Syst"},{"key":"9283_CR86","unstructured":"Kempen MV, Chaudron M, Kourie D, Boake A (2005) Towards proving preservation of behaviour of refactoring of UML models. In: Proceedings of the 2005 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, White River, South Africa"},{"key":"9283_CR87","volume-title":"Undertaking systematic review of research on effectiveness, CRD\u2019s guidance for those carrying out or commissioning reviews. NHS Centre for Reviews and Dissemination","author":"KS Khan","year":"2001","unstructured":"Khan KS, Ter Riet G, Glanville J, Sowden AJ, Kleijnen J (2001) Undertaking systematic review of research on effectiveness, CRD\u2019s guidance for those carrying out or commissioning reviews. NHS Centre for Reviews and Dissemination. University of York, York"},{"key":"9283_CR88","doi-asserted-by":"crossref","unstructured":"Kim D-K (2008) Software quality improvement via pattern-based model refactoring. In: 11th IEEE High Assurance Systems Engineering Symposium, pp 293\u2013302","DOI":"10.1109\/HASE.2008.10"},{"key":"9283_CR89","unstructured":"Kim H, Boldyreff C (2002) Developing software metrics applicable to UML models. In: 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering. 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering"},{"key":"9283_CR90","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-72035-5_9","volume-title":"Business information systems, vol 4439. Lecture Notes in Computer Science","author":"Y Kim","year":"2007","unstructured":"Kim Y, Doh K-G (2007) The service modeling process based on use case refactoring. In: Abramowicz W (ed) Business information systems, vol 4439. Lecture Notes in Computer Science. Springer, Berlin, pp 108\u2013120. doi:10.1007\/978-3-540-72035-5_9"},{"key":"9283_CR91","volume-title":"Guidelines for performing systematic literature reviews in software engineering ver. 2.3. vol EBSE technical report","author":"BA Kitchenham","year":"2007","unstructured":"Kitchenham BA (2007) Guidelines for performing systematic literature reviews in software engineering ver. 2.3. vol EBSE technical report. Keele University and University of Durham, UK"},{"key":"9283_CR92","unstructured":"Kohler C, Lewin H, Taentzer G (2007) Ensuring containment constraints in graph-based model transformation approaches. In: Margaria T, Padberg J, Taentzer G (eds) Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques. Electronic Communications of the EASST"},{"key":"9283_CR93","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/3-540-46102-7_24","volume-title":"Object-oriented information systems, vol 2425. Lecture Notes in Computer Science","author":"J Kovse","year":"2002","unstructured":"Kovse J, H\u00e4rder T (2002) Generic XMI-based UML model transformations. In: Bellahs\u00e8ne Z, Patel D, Rolland C (eds) Object-oriented information systems, vol 2425. Lecture Notes in Computer Science. Springer, Berlin, pp 183\u2013190. doi:10.1007\/3-540-46102-7_24"},{"key":"9283_CR94","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2004.02.056","volume":"109","author":"JM K\u00fcster","year":"2004","unstructured":"K\u00fcster JM (2004) Towards inconsistency handling of object-oriented behavioral models. Electron Notes Theor Comput Sci 109:57\u201369. doi:10.1016\/j.entcs.2004.02.056","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"1","key":"9283_CR95","first-page":"10","volume":"29","author":"L Kuzniarz","year":"2007","unstructured":"Kuzniarz L, Staron M (2007) Two techniques for UML model transformations. Int J Comput Appl 29(1):10\u201317","journal-title":"Int J Comput Appl"},{"key":"9283_CR96","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-69489-2_26","volume-title":"Models in software engineering, vol 4364. Lecture Notes in Computer Science","author":"C Lange","year":"2007","unstructured":"Lange C (2007) Model size matters. In: K\u00fchne T (ed) Models in software engineering, vol 4364. Lecture Notes in Computer Science. Springer, Berlin, pp 211\u2013216. doi:10.1007\/978-3-540-69489-2_26"},{"key":"9283_CR97","doi-asserted-by":"crossref","unstructured":"Lange CFJ, Chaudron (2005) MRV managing model quality in UML-based software development. In: 13th IEEE International Workshop on Software Technology and Engineering Practice, IEEE Computer Society, pp 7\u201316","DOI":"10.1109\/STEP.2005.16"},{"key":"9283_CR98","doi-asserted-by":"crossref","unstructured":"Lano K, Clark D (2008) Model transformation specification and verification. In: The Eighth International Conference on Quality Software, pp 45\u201354","DOI":"10.1109\/QSIC.2008.38"},{"key":"9283_CR99","doi-asserted-by":"crossref","unstructured":"Liu H, Ma Z, Zhang L, Shao W (2006) Detecting duplications in sequence diagrams based on suffix trees. In: 13th Asia Pacific Software Engineering Conference, Kanpur, India","DOI":"10.1109\/APSEC.2006.32"},{"key":"9283_CR100","doi-asserted-by":"crossref","unstructured":"Llano MT, Pooley R (2009) UML specification and correction of object-oriented anti-patterns. In: Fourth International Conference on Software Engineering Advances, pp 39\u201344","DOI":"10.1109\/ICSEA.2009.15"},{"key":"9283_CR101","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas FJ, Molina F, Toval A (2009) A systematic review of UML model consistency management. Inf Softw Technol 51:1631\u20131645","journal-title":"Inf Softw Technol"},{"key":"9283_CR102","doi-asserted-by":"crossref","unstructured":"Lugang X, Butler G (2006) Cascaded refactoring for framework development and evolution. In: Proceedigns of the Australian Software Engineering Conference","DOI":"10.1109\/ASWEC.2006.19"},{"key":"9283_CR103","doi-asserted-by":"crossref","unstructured":"Maneerat N, Muenchaisri P (2011) Bad-smell prediction from software design model using machine learning techniques. In: Eighth International Joint Conference on Computer Science and Software Engineering","DOI":"10.1109\/JCSSE.2011.5930143"},{"key":"9283_CR104","unstructured":"Marinescu R (2001) Detecting design flaws via metrics in object-oriented systems. In: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS \u201939), Washington, DC, USA"},{"key":"9283_CR105","unstructured":"Markovic S, Baar T (2007) Synchronizing refactored UML class diagrams and OCL constraints. In: 1st Workshop on Refactoring Tools, ECOOP07 Conference Workshop"},{"issue":"1","key":"9283_CR106","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10270-007-0056-x","volume":"7","author":"S Markovic","year":"2008","unstructured":"Markovic S, Baar T (2008) Refactoring OCL annotated UML class diagrams. Softw Syst Model 7(1):25\u201347","journal-title":"Softw Syst Model"},{"key":"9283_CR107","doi-asserted-by":"crossref","unstructured":"Massoni T, Gheyi R, Borba P (2005) Formal refactoring for UML class diagrams. In: 19th Brazilian Symposium on Software Engineering (SBES)","DOI":"10.5753\/sbes.2005.23817"},{"key":"9283_CR108","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-78743-3_27","volume-title":"Fundamental approaches to software engineering, vol 4961. Lecture Notes in Computer Science","author":"T Massoni","year":"2008","unstructured":"Massoni T, Gheyi R, Borba P (2008) Formal model-driven program refactoring. In: Fiadeiro J, Inverardi P (eds) Fundamental approaches to software engineering, vol 4961. Lecture Notes in Computer Science. Springer, Berlin, pp 362\u2013376. doi:10.1007\/978-3-540-78743-3_27"},{"key":"9283_CR109","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-19829-8_7","volume-title":"Formal methods: foundations and applications, vol 6527. Lecture Notes in Computer Science","author":"T Massoni","year":"2011","unstructured":"Massoni T, Gheyi R, Borba P (2011) Synchronizing model and program refactoring. In: Davies J, Silva L, Simao A (eds) Formal methods: foundations and applications, vol 6527. Lecture Notes in Computer Science. Springer, Berlin, pp 96\u2013111. doi:10.1007\/978-3-642-19829-8_7"},{"key":"9283_CR110","doi-asserted-by":"crossref","unstructured":"Meng S, Barbosa LS (2008) A coalgebraic semantic framework for reasoning about UML sequence diagrams. In: The Eighth International Conference on Quality Software","DOI":"10.1109\/QSIC.2008.13"},{"key":"9283_CR111","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11877028_7","volume-title":"Generative and transformational techniques in software engineering, vol 4143. Lecture Notes in Computer Science","author":"T Mens","year":"2006","unstructured":"Mens T (2006) On the use of graph transformations for model refactoring. In: L\u00e4mmel R, Saraiva J, Visser J (eds) Generative and transformational techniques in software engineering, vol 4143. Lecture Notes in Computer Science. Springer, Berlin, pp 219\u2013257. doi:10.1007\/11877028_7"},{"issue":"2","key":"9283_CR112","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T Mens","year":"2004","unstructured":"Mens T, Tourwe T (2004) A survey of software refactoring. IEEE Trans Softw Eng 30(2):126\u2013139","journal-title":"IEEE Trans Softw Eng"},{"key":"9283_CR113","unstructured":"Mens T, Van Deursen A (2003) Refactoring: emerging trends and open problems. In: Proceedings First International Workshop on REFactoring: Achievements, Challenges, Effects (REFACE)"},{"key":"9283_CR114","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens T, Van Gorp P (2006) A taxonomy of model transformation. Electron Notes Theor Comput Sci 152:125\u2013142. doi:10.1016\/j.entcs.2005.10.021","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9283_CR115","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-45832-8_22","volume-title":"Graph transformation, vol 2505. Lecture Notes in Computer Science","author":"T Mens","year":"2002","unstructured":"Mens T, Demeyer S, Janssens D (2002) Formalising behaviour preserving program transformations. In: Corradini A, Ehrig H, Kreowski H-J, Rozenberg G (eds) Graph transformation, vol 2505. Lecture Notes in Computer Science. Springer, Berlin, pp 286\u2013301. doi:10.1007\/3-540-45832-8_22"},{"key":"9283_CR116","unstructured":"Mens T, Taentzer G, M\u00fcller D (2007a) Challenges in model refactoring. in: international workshop on object-oriented reengineering, Berlin, Germany"},{"issue":"3","key":"9283_CR117","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10270-006-0044-6","volume":"6","author":"T Mens","year":"2007","unstructured":"Mens T, Taentzer G, Runge O (2007b) Analysing refactoring dependencies using graph transformation. Softw Syst Model 6(3):269\u2013285. doi:10.1007\/s10270-006-0044-6","journal-title":"Softw Syst Model"},{"key":"9283_CR118","doi-asserted-by":"crossref","unstructured":"Mens T, Taentzer G, M\u00fcller D (2008) Model-driven software refactoring. In: Model-driven software development: integrating quality assurance. IDEA Group Publishing","DOI":"10.4018\/978-1-60566-006-6.ch008"},{"key":"9283_CR119","unstructured":"Mihancea PF, Marinescu R (2005) Towards the optimization of automatic detection of design flaws in object-oriented software systems. In: Ninth European Conference on Software Maintenance and Reengineering"},{"key":"9283_CR120","unstructured":"Millan T, Sabatier L, Le Thi T-T, Bazex P, Percebois C (2009) An OCL extension for checking and transforming UML models. In: Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems,Cambridge, UK"},{"key":"9283_CR121","unstructured":"Miller J, Mukerji J (2003) MDA Guide Version 1.0.1. 1.0.1 edn"},{"key":"9283_CR122","unstructured":"Misbhauddin M (2012) Towards an integrated metamodel based approach to software refactoring. King Fahd University of Petroleum and Minerals, Saudi Arabia. http:\/\/dl.acm.org\/citation.cfm?id=2520700&coll=DL&dl=GUIDE&CFID=367426661&CFTOKEN=40741339"},{"key":"9283_CR123","doi-asserted-by":"publisher","unstructured":"Misbhauddin M, Alshayeb M (2013) Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange. Softw Syst Model:1\u201326. doi:10.1007\/s10270-013-0333-9","DOI":"10.1007\/s10270-013-0333-9"},{"key":"9283_CR124","unstructured":"Moeini A, Rafe V, Mahdian F (2010) An approach to refactoring legacy systems. In: 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE)"},{"key":"9283_CR125","doi-asserted-by":"crossref","unstructured":"Moghadam IH, Cinn\u00e9ide MO (2012) Automated refactoring using design differencing. In: 16th European Conference on Software Maintenance and Reengineering","DOI":"10.1109\/CSMR.2012.15"},{"key":"9283_CR126","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/978-3-642-04425-0_50","volume-title":"Model driven engineering languages and systems, vol 5795. Lecture Notes in Computer Science","author":"N Moha","year":"2009","unstructured":"Moha N, Mah\u00e9 V, Barais O, J\u00e9z\u00e9quel J-M (2009) Generic model refactorings. In: Sch\u00fcrr A, Selic B (eds) Model driven engineering languages and systems, vol 5795. Lecture Notes in Computer Science. Springer, Berlin, pp 628\u2013643. doi:10.1007\/978-3-642-04425-0_50"},{"issue":"1","key":"9283_CR127","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/TSE.2009.50","volume":"36","author":"N Moha","year":"2010","unstructured":"Moha N, Gueheneuc YG, Duchien L, Le Meur AF (2010) DECOR: a method for the specification and detection of code and design smells. IEEE Trans Softw Eng 36(1):20\u201336","journal-title":"IEEE Trans Softw Eng"},{"issue":"6","key":"9283_CR128","doi-asserted-by":"publisher","first-page":"121","DOI":"10.5381\/jot.2009.8.6.a3","volume":"8","author":"M Mohamed","year":"2009","unstructured":"Mohamed M, Romdhani M, Ghedira K (2009) Classification of model refactoring approaches. J Object Technol 8(6):121\u2013126. doi:10.5381\/jot.2009.8.6.a3","journal-title":"J Object Technol"},{"issue":"4","key":"9283_CR129","first-page":"117","volume":"1","author":"M Mohamed","year":"2011","unstructured":"Mohamed M, Romdhani M, Ghedira K (2011) M-REFACTOR: a new approach and tool for model refactoring ARPN. J Syst Softw 1(4):117\u2013122","journal-title":"J Syst Softw"},{"key":"9283_CR130","doi-asserted-by":"crossref","unstructured":"Muskens J, Chaudron M, Lange C (2004) Investigations in applying metrics to multi-view architecture models. In: Proceedings of the 30th EUROMICRO Conference","DOI":"10.1109\/EURMIC.2004.1333392"},{"key":"9283_CR131","doi-asserted-by":"crossref","unstructured":"Nugroho A, Chaudron MRV (2008) A survey into the rigor of UML use and its perceived impact on quality and productivity. In: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, Kaiserslautern, Germany","DOI":"10.1145\/1414004.1414020"},{"key":"9283_CR132","unstructured":"OMG (2001) Review of the response to OMG RFP as\/98-11-01 action semantics for the UML"},{"key":"9283_CR133","unstructured":"OMG (2003) UML 2.0 OCL Specification. Object Management Group"},{"key":"9283_CR134","unstructured":"OMG (2004) Meta object faacility (MOF) 2.0 query\/view\/transformation specification. vol ad\/04-10-11."},{"key":"9283_CR135","unstructured":"OMG (2007) XML Metadata Interchange Specification 2.1.1. vol formal\/2007-12-01. Object Management Group"},{"key":"9283_CR136","unstructured":"OMG (2011) Unified modeling language: superstructure. Version: 2.4.1, vol formal\/2011-08-06. Object Management Group"},{"key":"9283_CR137","unstructured":"Opdyke W (1992) Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana Champaign"},{"key":"9283_CR138","unstructured":"openArchitectureware.org openArchitectureWare (oAW). http:\/\/www.openarchitectureware.org\/. Accessed March 2012"},{"key":"9283_CR139","doi-asserted-by":"crossref","unstructured":"Petre M (2013) UML in practice. In: 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA","DOI":"10.1109\/ICSE.2013.6606618"},{"key":"9283_CR140","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, vol 2863. Lecture Notes in Computer Science","author":"I Porres","year":"2003","unstructured":"Porres I (2003) Model refactorings as rule-based update transformations. In: Stevens P, Whittle J, Booch G (eds) \u00abUML\u00bb 2003 - The unified modeling language. Modeling languages and applications, vol 2863. Lecture Notes in Computer Science. Springer, Berlin, pp 159\u2013174. doi:10.1007\/978-3-540-45221-8_16"},{"issue":"4","key":"9283_CR141","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/s10270-005-0088-z","volume":"4","author":"I Porres","year":"2005","unstructured":"Porres I (2005) Rule-based update transformations and their application to model refactorings. Softw Syst Model 4(4):368\u2013385. doi:10.1007\/s10270-005-0088-z","journal-title":"Softw Syst Model"},{"key":"9283_CR142","doi-asserted-by":"crossref","unstructured":"Pretorius R, Budgen D (2008) A mapping study on empirical evidence related to the models and forms used in the UML. In: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, Kaiserslautern, Germany","DOI":"10.1145\/1414004.1414076"},{"key":"9283_CR143","doi-asserted-by":"crossref","unstructured":"Qayum F, Heckel R (2009) Analysing refactoring dependencies using unfolding of graph transformation systems. In: Proceedings of the 7th International Conference on Frontiers of Information Technology, Abbottabad, Pakistan","DOI":"10.1145\/1838002.1838019"},{"key":"9283_CR144","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-87405-8_17","volume-title":"Graph transformations, vol 5214. Lecture Notes in Computer Science","author":"G Rangel","year":"2008","unstructured":"Rangel G, Lambers L, K\u00f6nig B, Ehrig H, Baldan P (2008) Behavior preservation in model refactoring using DPO transformations with borrowed contexts. In: Ehrig H, Heckel R, Rozenberg G, Taentzer G (eds) Graph transformations, vol 5214. Lecture Notes in Computer Science. Springer, Berlin, pp 242\u2013256. doi:10.1007\/978-3-540-87405-8_17"},{"key":"9283_CR145","unstructured":"Regnell B (1999) Requirements engineering with use cases\u2014a basis for software development. Lund University"},{"key":"9283_CR146","unstructured":"Ren S, Butler G, Rui K, Xu J, Yu W, Luo R (2004) A prototype tool for use case refactoring. In: Proceedings of the 6th International Conference on Enterprise Information Systems"},{"key":"9283_CR147","doi-asserted-by":"crossref","unstructured":"Repond J, Dugerdil P, Descombes P (2011) Use-case and scenario metamodeling for automated processing in a reverse engineering tool. In: 4th India Software Engineering Conference, New York","DOI":"10.1145\/1953355.1953375"},{"key":"9283_CR148","unstructured":"Roscoe AW (1997) The theory and practice of concurrency. Prentice Hall"},{"key":"9283_CR149","doi-asserted-by":"publisher","unstructured":"Ruhroth T, Voigt H, Wehrheim H (2009) Measure, diagnose, refactor: a formal quality cycle for software models. Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications:360\u2013367. doi:10.1109\/seaa.2009.39","DOI":"10.1109\/seaa.2009.39"},{"key":"9283_CR150","unstructured":"Rui K, Butler G (2003) Refactoring use case models: the Metamodel. In: Proceedings of the 25th Australasian Computer Society Conference"},{"key":"9283_CR151","doi-asserted-by":"crossref","unstructured":"Saadeh E, Kourie D (2008) Model refactorings as logic-based fine-grain transformations. In: Proceedings of the 9th African Conference on Research in Computer Science and Applied Mathematics","DOI":"10.1145\/1632149.1632154"},{"key":"9283_CR152","doi-asserted-by":"crossref","unstructured":"Saadeh E, Kourie D, Boake A (2009) Fine-grain transformations to refactor UML models. In: Proceedings of the Warm Up Workshop for ACM\/IEEE ICSE 2010, Cape Town, South Africa","DOI":"10.1145\/1527033.1527048"},{"key":"9283_CR153","unstructured":"Saeki M, Kaiya H (2006) Model metrics and metrics of model transformation. In: ACM\/IEEE 9th International Conference on Model Driven Engineering Languages and Systems"},{"key":"9283_CR154","unstructured":"Simon F, Steinbr\u00fcckner F, Lewerentz C (2001) Metrics based refactoring. In: Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, Washington, DC, USA"},{"key":"9283_CR155","doi-asserted-by":"crossref","unstructured":"Smith G (2000) The object-Z specification language. Kluwer Academic Publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"9283_CR156","unstructured":"Song E, France RB, Kim D-K, Ghosh S (2002) Using roles for pattern-based model refactoring. In: Proceedings of Workshop on Critical Systems Development (CSDUML) with UML"},{"key":"9283_CR157","doi-asserted-by":"publisher","unstructured":"Steimann F (2013) From well-formedness to meaning preservation: model refactoring for almost free. Softw Syst Model:1\u201314. doi:10.1007\/s10270-013-0314-z","DOI":"10.1007\/s10270-013-0314-z"},{"key":"9283_CR158","doi-asserted-by":"crossref","unstructured":"Stolc M, Polasek I (2010) A visual based framework for the model refactoring techniques. In: IEEE 8th International Symposium on Applied Machine Intelligence and Informatics","DOI":"10.1109\/SAMI.2010.5423766"},{"key":"9283_CR159","doi-asserted-by":"crossref","unstructured":"Suny\u00e9 G, Pollet D, Le Traon Y, J\u00e9z\u00e9quel J-M (2001) Refactoring UML Models. In: \u00abUML\u00bb 2001\u2014the unified modeling language. Modeling languages, concepts, and tools, vol 2185. Lecture Notes In Computer Science. Springer-Verlag, Berlin, pp 134\u2013148","DOI":"10.1007\/3-540-45441-1_11"},{"key":"9283_CR160","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of graph transformations with industrial relevance","author":"G Taentzer","year":"2004","unstructured":"Taentzer G (2004) AGG: a graph transformation environment for modeling and validation of software. In: Pfaltz J, Nagl M, B\u00f6hlen B (eds) Applications of graph transformations with industrial relevance, vol 3062, Lecture Notes in Computer Science. Springer, Berlin Heidelberg, pp 446\u2013453. doi:10.1007\/978-3-540-25959-6_35"},{"key":"9283_CR161","doi-asserted-by":"crossref","unstructured":"Tsantalis N, Chatzigeorgiou A (2011) Ranking refactoring suggestions based on historical volatility. In: Software Maintenance and Reengineering (CSMR), 2011 15th European Conference on, 1\u20134 March 2011, pp 25\u201334","DOI":"10.1109\/CSMR.2011.7"},{"key":"9283_CR162","doi-asserted-by":"crossref","unstructured":"Van Der Straeten R, D\u2019Hondt M (2006) Model refactorings through rule-based inconsistency resolution. In: Proceedings of the 2006 ACM Symposium on Applied Computing, Dijon, France","DOI":"10.1145\/1141277.1141564"},{"key":"9283_CR163","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-30187-5_22","volume-title":"<<UML>\u2009>\u20092004 - The unified modeling language. Modelling languages and applications, vol 3273. Lecture Notes in Computer Science","author":"R Van Der Straeten","year":"2004","unstructured":"Van Der Straeten R, Jonckers V, Mens T (2004) Supporting model refactorings through behaviour inheritance consistencies. In: Baar T, Strohmeier A, Moreira A, Mellor S (eds) <<UML>\u2009>\u20092004 - The unified modeling language. Modelling languages and applications, vol 3273. Lecture Notes in Computer Science. Springer, Berlin, pp 305\u2013319. doi:10.1007\/978-3-540-30187-5_22"},{"issue":"2","key":"9283_CR164","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10270-006-0025-9","volume":"6","author":"R Van Der Straeten","year":"2007","unstructured":"Van Der Straeten R, Jonckers V, Mens T (2007) A formal approach to model refactoring and model refinement. Softw Syst Model 6(2):139\u2013162. doi:10.1007\/s10270-006-0025-9","journal-title":"Softw Syst Model"},{"key":"9283_CR165","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-45221-8_15","volume-title":"\u00abUML\u00bb 2003 - The unified modeling language. Modeling languages and applications, vol 2863. Lecture Notes in Computer Science","author":"P Van Gorp","year":"2003","unstructured":"Van Gorp P, Stenten H, Mens T, Demeyer S (2003) Towards automating source-consistent UML refactorings. In: Stevens P, Whittle J, Booch G (eds) \u00abUML\u00bb 2003 - The unified modeling language. Modeling languages and applications, vol 2863. Lecture Notes in Computer Science. Springer, Berlin, pp 144\u2013158. doi:10.1007\/978-3-540-45221-8_15"},{"key":"9283_CR166","unstructured":"W3C (2007) XSL Transformations (XSLT) Version 2.0. http:\/\/www.w3.org\/TR\/xslt20\/. Accessed May 2012"},{"key":"9283_CR167","unstructured":"W3C (2008) Extensible Markup Language (XML) Version 1.0. http:\/\/www.w3.org\/TR\/REC-xml\/. Accessed May 2012"},{"key":"9283_CR168","unstructured":"Xu J, Yu W, Rui K, Butler G (2004) Use case refactoring: a tool and a case study. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference, Washington, DC, USA"},{"key":"9283_CR169","unstructured":"Xue-Bin W, Quan-Yuan W, Huai-Min W, Dian-Xi S (2007) Research and implementation of design pattern-oriented model transformation. In: International Multi-Conference on Computing in the Global Information Technology, p 24"},{"key":"9283_CR170","unstructured":"Yu W, Li J, Butler G (2004) Refactoring use case models on episodes. In: 19th IEEE International Conference on Automated Software Engineering (ASE\u201904)"},{"key":"9283_CR171","volume-title":"A framework for measuring quality of models: experiences from a series of controlled experiments","author":"T Yue","year":"2010","unstructured":"Yue T, Ali S, Elaasar M (2010) A framework for measuring quality of models: experiences from a series of controlled experiments. Simula Research Laboratory, Oslo, Norway"},{"key":"9283_CR172","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-28554-7_9","volume-title":"Model-driven software development","author":"J Zhang","year":"2005","unstructured":"Zhang J, Lin Y, Gray J (2005) Generic and domain-specific model refactoring using a model transformation engine. In: Beydeda S, Book M, Gruhn V (eds) Model-driven software development. Springer, Berlin Heidelberg, pp 199\u2013217. doi:10.1007\/3-540-28554-7_9"},{"key":"9283_CR173","volume-title":"Zotero. Roy rosenzweig center for history and new media","author":"Zotero","year":"2013","unstructured":"Zotero (2013) Zotero. Roy rosenzweig center for history and new media. George Mason University, Virginia"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-013-9283-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10664-013-9283-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-013-9283-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-013-9283-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T09:32:35Z","timestamp":1688549555000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10664-013-9283-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,15]]},"references-count":173,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["9283"],"URL":"https:\/\/doi.org\/10.1007\/s10664-013-9283-7","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,15]]},"assertion":[{"value":"15 October 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}