{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:25Z","timestamp":1761597025840},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T00:00:00Z","timestamp":1179187200000},"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":[[2007,11,21]]},"DOI":"10.1007\/s10270-007-0056-x","type":"journal-article","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T10:35:48Z","timestamp":1179138948000},"page":"25-47","source":"Crossref","is-referenced-by-count":33,"title":["Refactoring OCL annotated UML class diagrams"],"prefix":"10.1007","volume":"7","author":[{"given":"Slavi\u0161a","family":"Markovi\u0107","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Baar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,5,15]]},"reference":[{"issue":"1","key":"56_CR1","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","volume":"4","author":"W. Ahrendt","year":"2005","unstructured":"Ahrendt W., Baar T., Beckert B., Bubel R., Giese M., H\u00e4hnle R., Menzel W., Mostowski W., Roth A., Schlager S., Schmitt P.H. (2005). The KeY tool. Softw. Syst. Model. 4(1): 32\u201354","journal-title":"Softw. Syst. Model."},{"key":"56_CR2","unstructured":"Astels, D.: Refactoring with UML. In: Proceedings of 3rd International Conference on eXtreme Programming and Flexible Processes in Software Engineering, pp. 67\u201370 (2002)"},{"key":"56_CR3","doi-asserted-by":"crossref","unstructured":"Baar, T.: The definition of transitive closure with OCL\u2014 limitations and applications. In: Broy, M., Zamulin, A.V. (ed.) Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, 9-12 July 2003, Revised Papers, volume 2890 of LNCS, pp. 358\u2013365. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-39866-0_36"},{"key":"56_CR4","doi-asserted-by":"crossref","unstructured":"Baar, T., Markovi\u0107, S.: A graphical approach to prove the semantic preservation of UML\/OCL refactoring rules. In: Virbitskaite, I., Voronkov, A. (eds.) Proceedings, 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Akademgorodok near Novosibirsk, Russia, vol 4378 of LNCS, pp. 70\u201383. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-70881-0_9"},{"key":"56_CR5","doi-asserted-by":"crossref","unstructured":"Baar, T., Whittle, J.: On the usage of concrete syntax in model transformation rules. In: Virbitskaite, I., Voronkov, A. (eds.) Proceedings, 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Akademgorodok near Novosibirsk, Russia, vol. 4378 of LNCS, pp. 84\u201397. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-70881-0_10"},{"key":"56_CR6","unstructured":"Beck, K.: Extreme programming explained: embrace change. Addison-Wesley, Reading (2000)"},{"key":"56_CR7","doi-asserted-by":"crossref","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H.: (eds.) Verification of Object-Oriented Software: The KeY Approach. LNAI 4334. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-69061-0"},{"key":"56_CR8","unstructured":"Boger, M., Sturm, T., Fragemann, P.: Refactoring browser for UML. In: Proceedings of 3rd International Conference on extreme Programming and Flexible Processes in Software Engineering, pp. 77\u201381 (2002)"},{"key":"56_CR9","unstructured":"Borland: Together technologies. http:\/\/www.borland.com\/together\/ (2007)"},{"key":"56_CR10","doi-asserted-by":"crossref","unstructured":"Cabot, J., Teniente, E.: Computing the relevant instances that may violate an OCL constraint. In: Pastor, O., Falc\u00e3o e Cunha, J. (eds.) 17th International Conference on Advanced Information Systems Engineering, CAiSE 2005, Porto, vol. 3520 of LNCS, pp. 48\u201362. Springer, Heidelberg (2005)","DOI":"10.1007\/11431855_5"},{"key":"56_CR11","doi-asserted-by":"crossref","unstructured":"Cabot, J., Teniente, E.: Incremental evaluation of OCL constraints. In: Dubois, E., Pohl, K. (eds.) Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, Proceedings, vol. 4001 of LNCS, 5\u20139 June 2006, pp. 81\u201395. Springer, Heidelberg (2006)","DOI":"10.1007\/11767138_7"},{"key":"56_CR12","doi-asserted-by":"crossref","unstructured":"Correa, A., Werner, C.: Applying refactoring techniques to UML\/OCL. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004\u2014the Unified Modeling Language. Model Languages and Applications, Lisbon, Portugal, vol. 3273 of LNCS, pp. 173\u2013187. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30187-5_13"},{"key":"56_CR13","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison-Wesley, Reading (1999)"},{"key":"56_CR14","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Reading (1995)"},{"key":"56_CR15","doi-asserted-by":"crossref","unstructured":"Van Gorp, P., Stenten, H., Mens, T., Demeyer, S.: Towards automating source-consistent UML refactorings. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003\u2014The Unified Modeling Language, Modeling Languages and Applications, San Francisco, CA, USA, vol. 2863 of LNCS, pp. 144\u2013158. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45221-8_15"},{"key":"56_CR16","doi-asserted-by":"crossref","unstructured":"Kerievsky, J.: Refactoring to Patterns. Addison-Wesley, Reading (2004)","DOI":"10.1007\/978-3-540-27777-4_54"},{"key":"56_CR17","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction. Addison-Wesley, Reading (2004)"},{"key":"56_CR18","doi-asserted-by":"crossref","unstructured":"Markovi\u0107, S., Baar, T.: Refactoring OCL annotated UML class diagrams. In: Briand, L., Williams, C. (eds.) Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, 2\u20137 October 2005, Proceedings, vol. 3713 of LNCS, pp. 280\u2013294. Springer, Heidelberg (2005)","DOI":"10.1007\/11557432_21"},{"key":"56_CR19","unstructured":"Markovi\u0107, S., Baar, T.: Documentation of UML\/OCL refactoring rules. http:\/\/www.roclet.org\/publications\/SoSymSpecialIssueModels05\/, 2007"},{"issue":"2","key":"56_CR20","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens T., Tourw\u00e9 T. (2004). A survey of software refactoring. IEEE Trans. Softw. Eng. 30(2): 126\u2013139","journal-title":"IEEE Trans. Softw. Eng."},{"key":"56_CR21","unstructured":"O\u2019Cinneide, M.: Automated application of design patterns: a refactoring approach. Ph.D. Thesis, University of Dublin, Trinity College (2001)"},{"key":"56_CR22","unstructured":"OMG: UML 1.5 Specification. OMG Document formal\/03-03-01 (2003)"},{"key":"56_CR23","unstructured":"OMG: UML 2.0 Infrastructure Specification. OMG Document ptc\/03-09-15 (2003)"},{"key":"56_CR24","unstructured":"OMG: UML 2.0 OCL specification\u2014OMG final adopted specification. OMG Document ptc\/03-10-14 (2003)"},{"key":"56_CR25","unstructured":"OMG: Revised submission for MOF 2.0, query\/views\/transformations, version 1.8. OMG document ad\/04-10-11 (2004)"},{"key":"56_CR26","unstructured":"OMG: Meta object facility (MOF) 2.0 query\/view\/transformation specification. OMG document ptc\/05-11-01, Nov 2005"},{"key":"56_CR27","unstructured":"OMG: Object constraint language\u2014OMG available specification, version 2.0. OMG document formal\/06-05-01 (2006)"},{"key":"56_CR28","unstructured":"Opdyke, W.F.: Refactoring: A program restructuring aid in designing object-oriented application frameworks. Ph.D. Thesis, University of Illinois at Urbana-Champaign (1992)"},{"key":"56_CR29","doi-asserted-by":"crossref","unstructured":"Porres, I.: Model refactorings as rule-based update transformations. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003\u2014The Unified Modeling Language, Modeling Languages and Applications, San Francisco, CA, USA, vol. 2863 of LNCS, pp. 159\u2013174. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45221-8_16"},{"key":"56_CR30","unstructured":"Refactoring community: refactoring homepage. http:\/\/www.refactoring.com (2007)"},{"key":"56_CR31","doi-asserted-by":"crossref","unstructured":"Rumpe, B.: Agile Modellierung mit UML. Springer, Heidelberg (2005) In German","DOI":"10.1007\/978-3-642-18733-9"},{"issue":"5","key":"56_CR32","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall S., Kozaczynski W. (2003). Model transformation: the heart and soul of model-driven software development. IEEE Softw 20(5): 42\u201345","journal-title":"IEEE Softw"},{"key":"56_CR33","doi-asserted-by":"crossref","unstructured":"Suny\u00e9, G., Pennaneac\u2019h, F., Ho, W.-M., Guennec, A.L., J\u00e9z\u00e9quel, J.-M.: Using UML action semantics for executable modeling and beyond. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, Proceedings, vol. 2068 of LNCS, 4\u20138 June 2001, pp. 433\u2013447. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45341-5_29"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-007-0056-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-007-0056-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-007-0056-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:33:15Z","timestamp":1587515595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-007-0056-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,15]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,11,21]]}},"alternative-id":["56"],"URL":"https:\/\/doi.org\/10.1007\/s10270-007-0056-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,15]]}}}