{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T23:28:17Z","timestamp":1707521297656},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,4,14]],"date-time":"2013-04-14T00:00:00Z","timestamp":1365897600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10270-013-0314-z","type":"journal-article","created":{"date-parts":[[2013,4,13]],"date-time":"2013-04-13T01:23:37Z","timestamp":1365816217000},"page":"307-320","source":"Crossref","is-referenced-by-count":10,"title":["From well-formedness to meaning preservation: model refactoring for almost free"],"prefix":"10.1007","volume":"14","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,14]]},"reference":[{"key":"314_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: Proceedings of QSIC, pp. 41\u201350 (2011)","DOI":"10.1109\/QSIC.2011.17"},{"key":"314_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: Proceedings of ASE, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"314_CR3","doi-asserted-by":"crossref","unstructured":"Correa, A.L., Werner, C.M.L.: Applying refactoring techniques to UML\/OCL models. In: Proceedings of UML, pp. 173\u2013187 (2004)","DOI":"10.1007\/978-3-540-30187-5_13"},{"key":"314_CR4","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: Proceedings of ICSE, pp. 292\u2013301 (2007)","DOI":"10.1109\/ICSE.2007.38"},{"key":"314_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, New York (1999)"},{"key":"314_CR6","doi-asserted-by":"crossref","unstructured":"Gheyi, R., Massoni, T., Borba, P.: A rigorous approach for proving model refactorings. In: Proceedings of ASE, pp. 372\u2013375 (2005)","DOI":"10.1145\/1101908.1101973"},{"key":"314_CR7","unstructured":"Griswold, W.G.: Program restructuring as an aid to software maintenance. PhD Dissertation, University of Washington (1992)"},{"key":"314_CR8","doi-asserted-by":"crossref","unstructured":"Moha, N., Mah\u00e9, V., Barais, O., J\u00e9z\u00e9quel, J.M.: Generic model refactorings. In: Proceedings of MoDELS, pp. 628\u2013643 (2009)","DOI":"10.1007\/978-3-642-04425-0_50"},{"key":"314_CR9","unstructured":"OMG Unified Modeling Language Superstructure Version 2.3. www.omg.org\/spec\/UML\/2.3\/Superstructure . May 2010"},{"key":"314_CR10","unstructured":"Object Management Group Object Constraint Language Version 2.2. http:\/\/www.omg.org\/spec\/OCL\/2.2"},{"key":"314_CR11","volume-title":"Object-Oriented Type Systems","author":"J Palsberg","year":"1994","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-Oriented Type Systems. Wiley, New York (1994)"},{"key":"314_CR12","doi-asserted-by":"crossref","unstructured":"Philipps, J., Rumpe, B.: Refactoring of programs and specifications. In: Practical Foundations of Business and System Specifications, pp. 281\u2013297. Kluwer, Dordrecht (2003)","DOI":"10.1007\/978-94-017-2740-2_15"},{"key":"314_CR13","doi-asserted-by":"crossref","unstructured":"Porres, I.: Model refactorings as rule-based update transformations. In: Proceedings of UML, pp. 159\u2013174 (2003)","DOI":"10.1007\/978-3-540-45221-8_16"},{"issue":"4","key":"314_CR14","doi-asserted-by":"crossref","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. Softw. Syst. Model. 6(4), 381\u2013399 (2007)","journal-title":"Softw. Syst. Model."},{"key":"314_CR15","doi-asserted-by":"crossref","unstructured":"Reimann, J., Seifert, M., A\u00dfmann, U.: Role-based generic model refactoring. In: Proceedings of MoDELS, vol. 2, pp. 78\u201392 (2010)","DOI":"10.1007\/978-3-642-16129-2_7"},{"key":"314_CR16","unstructured":"Russell, S., Norvel, P.: Norvel Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall (2003)"},{"key":"314_CR17","unstructured":"Sch\u00e4fer, M.: Specification, implementation and verification of refactorings. PhD Thesis, Oxford University Computing Laboratory (2010)"},{"key":"314_CR18","doi-asserted-by":"crossref","unstructured":"Steimann, F., Thies, A.: From public to private to absent: refactoring Java programs under constrained accessibility. In: Proceedings of ECOOP, pp. 419\u2013443 (2009)","DOI":"10.1007\/978-3-642-03013-0_19"},{"key":"314_CR19","doi-asserted-by":"crossref","unstructured":"Steimann, F., Kollee, C., von Pilgrim, J.: A refactoring constraint language and its application to Eiffel. In: Proceedings of ECOOP, pp. 255\u2013280 (2011)","DOI":"10.1007\/978-3-642-22655-7_13"},{"key":"314_CR20","doi-asserted-by":"crossref","unstructured":"Steimann, F.: Contraint-based model refactoring. In: Proceedings of MoDELS, pp. 440\u2013454 (2011)","DOI":"10.1007\/978-3-642-24485-8_32"},{"key":"314_CR21","doi-asserted-by":"crossref","unstructured":"Steimann, F., von Pilgrim, J.: Constraint-based refactoring with foresight. In: Proceedings of ECOOP, pp. 535\u2013559 (2012)","DOI":"10.1007\/978-3-642-31057-7_24"},{"key":"314_CR22","doi-asserted-by":"crossref","unstructured":"Steimann, F., von Pilgrim, J.: Refactorings without names. In: Proceedings of ASE, pp. 290\u2013293 (2012)","DOI":"10.1145\/2351676.2351726"},{"key":"314_CR23","doi-asserted-by":"crossref","unstructured":"Suny\u00e9, G., Pollet, D., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: Refactoring UML Models. In: Proceedings of UML, pp. 134\u2013148 (2001)","DOI":"10.1007\/3-540-45441-1_11"},{"key":"314_CR24","doi-asserted-by":"crossref","unstructured":"Tip, F., Kiezun, A., B\u00e4umer, D.: Refactoring for generalization using type constraints. In: Proceedings of OOPSLA, pp. 13\u201326 (2003)","DOI":"10.1145\/949343.949308"},{"key":"314_CR25","doi-asserted-by":"crossref","unstructured":"Tip, F., Fuhrer, R.M., Kiezun, A., Ernst, M.D., Balaban, I., De Sutter, B.: Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33(3), 9 (2011)","DOI":"10.1145\/1961204.1961205"},{"key":"314_CR26","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: Proceedings of ESEC\/SIGSOFT FSE, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0314-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0314-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0314-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T13:39:21Z","timestamp":1562938761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0314-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,14]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["314"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0314-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,14]]}}}