An approach to refactoring of executable UML models

ABSTRACT

Design erosion is one of the unavoidable effects of software evolution. This destructive phenomenon occurs also in the context of executable UML models, which are primary artefacts in Agile MDA software development methodology. Model refactorings are model transformations that can be applied with the aim of counteracting design erosion of UML models. In this paper, we present a systematic approach to specification of both executable UML model refactorings as well as associated bad smells in models. The application of this method is illustrated on an exemplary refactoring and a related bad smell. Moreover, we show how this transformation and detection of the bad smell can be implemented in Telelogic TAU, a state-of-the art UML CASE tool.

REFERENCES

• 1: Conrad Bock, UML without Pictures, IEEE Software, v.20 n.5, p.33-35, September 2003 [doi>10.1109/MS.2003.1231148]
• 2: Marko Boger , Thorsten Sturm , Per Fragemann, Refactoring Browser for UML, Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World, p.366-377, October 07-10, 2002
• 3: Ned Chapin , Joanne E. Hale , Khaled Md. Kham , Juan F. Ramil , Wui-Gee Tan, Types of software evolution and software maintenance, Journal of Software Maintenance: Research and Practice, v.13 n.1, p.3-30, Jan. 2001
• 4: Dobrzański, L. (2005) 'UML Model Refactoring - Support for Maintenance of Executable UML Models', MSc thesis, Department of Systems and Software Engineering, Blekinge Institute of Technology, available from Internet <http://www.bth.se/fou/cuppsats.nsf>.
• 5: Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 6: Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software, Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01), p.386, November 07-09, 2001
• 7: A Quantitative Evaluation of Maintainability Enhancement by Refactoring, Proceedings of the International Conference on Software Maintenance (ICSM'02), p.576, October 03-06, 2002
• 8: Kazato, H., Takaishi, M., Kobayashi, T. and Saeki. M. (2004) 'Formalizing Refactoring by Using Graph Transformation', IEICE Transactions on Information and Systems, E87-D(4), 89--92.
• 9: Kobryn, C. (2004) 'UML 3.0 and the future of modeling', Software and System Modeling, 3(1), 4--8.
• 10: Lehman, M. M. (1980) 'On understanding laws, evolution and conservation in the large program life cycle', Journal of Systems and Software, 1(3), 213--221.
• 11: Stephen J. Mellor , Scott Kendall , Axel Uhl , Dirk Weise, MDA Distilled, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2004
• 12: Tom Mens , Tom Tourwé, A Survey of Software Refactoring, IEEE Transactions on Software Engineering, v.30 n.2, p.126-139, February 2004 [doi>10.1109/TSE.2004.1265817]
• 13: OMG (2004) UML 2.0 Superstructure Revised Final Adopted specification (convenience document), Object Management Group, available from Internet <http://www.omg.org/cgi-bin/apps/doc?ptc/04-10-02.pdf>.
• 14: Tom Pender, UML Bible, John Wiley & Sons, Inc., New York, NY, 2003
• 15: Pollet, D., Vojtisek, D. and Jézéquel, J.-M. (2002) 'OCL as a Core UML Transformation Language', WITUML Position Paper at 16th European Conference on Object-Oriented Programming, Málaga, 10--14 June 2002.
• 16: Porres, I. (2003) 'Model Refactorings as Rule-Based Update Transformations', Technical Report Series No. 525, Turku Center for Computer Science, Finland.
• 17: Rumpe, B. (2002) 'Executable modelling with UML: a vision or a nightmare?', Issues and Trends of Information Technology Management in Contemporary Organizations. 2002 Information Resources Management Association International Conference, 1(1), 697--701.
• 18: Selic, B. V. (2004) 'On the Semantic Foundations of Standard UML 2.0', Lecture Notes in Computer Science, 3185, 181--199.
• 19: Shane Sendall , Wojtek Kozaczynski, Model Transformation: The Heart and Soul of Model-Driven Software Development, IEEE Software, v.20 n.5, p.42-45, September 2003 [doi>10.1109/MS.2003.1231150]
• 20: Staroń, M. and Kuźniarz, L. (2004) 'Implementing UML Model Transformations for MDA', 11th Nordic Workshop on Programming and Software Development and Tools, Turku, Finland.
• 21: Gerson Sunyé , Alain Le Guennec , Jean-Marc Jézéquel, Using UML Action Semantics for model execution and transformation, Information Systems, v.27 n.6, p.445-457, September 2002 [doi>10.1016/S0306-4379(02)00014-5]
• 22: Gerson Sunyé , Damien Pollet , Yves Le Traon , Jean-Marc Jézéquel, Refactoring UML Models, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, p.134-148, October 01-05, 2001
• 23: Van Gorp, P., Stenten, P., Mens, T. and Demeyer, S. (2003) 'Towards automating source-consistent UML refactorings', in Proceedings of the 6th International Conference on UML - The Unified Modeling Language, San Francisco, 20--24 October 2003.
• 24: Jilles van Gurp , Jan Bosch, Design erosion: problems and causes, Journal of Systems and Software, v.61 n.2, p.105-119, March 2002 [doi>10.1016/S0164-1212(01)00152-2]
• 25: William C. Wake, Refactoring Workbook, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003
• 26: Zhang, J., Lin, Y. and Gray, J. (2004) 'Generic and Domain-Specific Model Refactoring using a Model Transformation Engine', Model-driven Software Development - Research and Practice in Software Engineering, accepted for publication in 2005.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Restructuring, reverse engineering, and reengineering

General Terms:
Algorithms, Design, Languages

Keywords:
executable UML, model refactoring