Model-Driven Software Refactoring

[en] In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of source code. Applying refactoring in a model-driven software engineering context raises many new challenges such as how to define, detect and improve model quality, how to preserve model behavior, and so on. Based on a concrete case study with a state-of-the-art model-driven software development tool, AndroMDA, we will explore some of these challenges in more detail. We propose to resolve some of the encountered problems by relying on well-understood techniques of meta-modeling, model transformation and graph transformation.

Disciplines :

Computer science
Electrical & electronics engineering

Author, co-author :

Mens, Tom ; Université de Mons > Faculté des Sciences > FS - Service du Doyen

Taentzer, Gabriele

Mueller, Dirk

Language :

English

Title :

Model-Driven Software Refactoring

Publication date :

01 January 2008

Main work title :

Model-Driven Software Development: Integrating Quality Assurance' co-edited by Joerg Rech and Christian Bunse

Publisher :

Idea Group Publishing

ISBN/EAN :

978-1605660066

Research unit :

S852 - Génie Logiciel

Available on ORBi UMONS :

since 10 July 2010

Statistics

Number of views

0 (0 by UMONS)

Number of downloads

0 (0 by UMONS)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

Astels, D. (2002). Refactoring with UML. In M. Marchesi, G. Succi (Eds.), Proceedings of 3rd International Conference eXtreme Programming and Flexible Processes in Software Engineering (pp. 67-70), Alghero, Italy.
Biermann, E., Ehrig, K., Köhler, C., Taentzer, G., & Weiss, E. (2006). Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. In O. Nierstrasz (Ed.), Proceedings of International Conference on Model Driven Engineering Languages and Systems (pp. 425-439), Lecture Notes in Computer Science 4199, Heidelberg: Springer.
Boger, M., Sturm, T., & Fragemann, P. (2002). Refactoring Browser for UML. In M. Marchesi, G. Succi (Eds.), Proceedings 3rd International Conference on eXtreme Programming and Flexible Processes in Software Engineering (pp. 77-81), Alghero, Italy.
Bottoni, P., Parisi-Presicce, F., Mason, G., & Taentzer, G. (2005). Specifying Coherent Refactoring of Software Artefacts with Distributed Graph Transformations. In P. van Bommel (Ed.), Handbook on Transformation of Knowledge, Information, and Data: Theory and Applications (pp. 95-125). Hershey, PA: Information Science Publishing.
Bouden, S. (2006). Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code. Unpublished masters dissertation, Université de Montréal, Canada.
Brooks, F. P. (1995). No Silver Bullet: Essence and accidents of software engineering. In The Mythical Man-Month: Essays on Software Engineering, 20th Anniversary Edition. Reading, MA: Addison-Wesley.
Brottier, E., Fleurey, F., & Le Traon, Y. (2006). Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. In Proceedings 17th International Symposium on Reliability Engineering (pp. 85-94), IEEE Computer Society.
Correa, A., & Werner, C. (2004). Applying Refactoring Techniques to UML/OCL Models. In Proceedings International Conference UML 2004 (pp. 173-187), Lecture Notes in Computer Science 3273, Heidelberg: Springer.
Demeyer, S., Ducasse, S., & Nierstrasz, O. (2000). Finding Refactorings Via Change Metrics. In Proceedings International Conference OOPSLA 2000 (pp. 166-177). ACM SIGPLAN Notices 35(10), ACM Press.
Du Bois, B. (2006). Quality-Oriented Refactoring. Unpublished doctoral dissertation, Universiteit Antwepen, Belgium.
Egyed, A. (2006). Instant consistency checking for the UML. In Proc. International Conference on Software Engineering (pp. 31-390), ACM.
Ehrig, H, Ehrig, K., Prange, U. & Taentzer, G. (2006). Fundamental Approach to Graph Transformation. EATCS Monographs, Heidelberg: Springer.
Ehrig, H., Tsioalikis, A. (2000). Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In ETAPS 2000 workshop on graph transformation systems (pp. 77-86).
Fenton, N., & Pfleeger, S. L. (1997). Software Metrics: A Rigorous and Practical Approach (2nd edition). London, UK: International Thomson Computer Press.
Fowler, M. (1999) Refactoring: Improving the Design of Existing Code. Addison-Wesley.
Gamma, E., Helm, R., Johnson, R., & Vlissides, J. (1994). Design Patterns: Elements of Reusable Object-Oriented Languages and Systems. Addison-Wesley.
Gheyi, R., Massoni, T., & Borba, P. (2005). A Rigorous Approach for Proving Model Refactorings. In Proceedings 20th IEEE/ACM International Conference Automated Software Engineering (pp. 372-375). IEEE Computer Society.
Gheyi, R., Massoni, T., & Borba, P. (2005). Typesafe Refactorings for Alloy. In Proceedings 8th Brazilian Symposium on Formal Methods (pp. 174-190). Porto Alegre, Brazil.
Goedicke, M., Meyer, T., & Taentzer, G. (1999). Viewpoint-oriented software development by distributed graph transformation: Towards a basis for living with inconsistencies. In Proceedings International Conference Requirements Engineering (pp. 92-99). IEEE Computer Society.
Grundy, J. C., Hosking, J.G., & Mugridge W. B. (1998). Inconsistency Management for MultipleView Software Development Environments, IEEE Transactions on Software Engineering, 24(11), 960-981.
Grunske, L., Geiger, L., Zündorf, A., Van Eetvelde, N., Van Gorp, P., & Varro, D. (2005). Using Graph Transformation for Practical Model Driven Software Engineering. In S. Beydeda, M. Book, & V. Gruhn (Eds.), Model-driven Software Development (pp. 91-118). Heidelberg: Springer.
Kamthan, P. (2004). A Framework for Addressing the Quality of UML Artifacts. Studies in Communication Sciences, 4(2), 85-114.
Kerievsky, J. (2004). Refactoring to Patterns. Addison-Wesley.
Königs, A. & Schürr, A. (2006). Tool Integration with Triple Graph Grammars - A Survey. In R. Heckel (Ed.), Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques (pp. 113-150). Electronic Notes in Theoretical Computer Science 148, Amsterdam: Elsevier.
Lehman, M. M., Ramil, J. F., Wernick, P. D., Perry D. E., & Turski, W. M. (1997). Metrics and laws of software evolution: The nineties view. In Proceedings of International Symposium on Software Metrics (pp. 20-32). IEEE Computer Society Press.
Liu, W., Easterbrook, S., & Mylopoulos, J. (2002). Rule-based detection of inconsistency in UML models. In Proceedings UML Workshop on Consistency Problems in UML-based Software Development (pp. 106-123). Blekinge Insitute of Technology.
Markovic, S., & Baar, T. (2005). Refactoring OCL Annotated UML Class Diagrams. In L. Briand, C. Williams (Eds.), Proceedings International Conference Model Driven Engineering Languages and Systems (pp. 280-294). Lecture Notes in Computer Science 3713, Heidelberg: Springer
Mens, T. (2006). On the use of graph transformations for model refactoring. In Generative and Transformational Techniques in Software Engineering (pp. 219-257). Lecture Notes in Computer Science 4143, Heidelberg: Springer.
Mens, T., & Tourwé, T. (2004). A Survey of Software Refactoring. IEEE Transactions on Software Engineering, 30(2), 126-162.
Mens, T., Van Eetvelde, N., Demeyer, S., & Janssens, D. (2005). Formalizing refactorings with graph transformations. Journal on Software Maintenance and Evolution, 17(4), 247-276.
Mens, T., Van Der Straeten, R., & D'Hondt, M. (2006). Detecting and resolving model inconsistencies using transformation dependency analysis, In O. Nierstrasz (Ed.), Proceedings International Conference on Model-Driven Engineering Languages and Systems (pp. 200-214). Lecture Notes in Computer Science 4199, Heidelberg: Springer.
Mens, T., Taentzer, G., & Runge, O. (2007). Analyzing Refactoring Dependencies Using Graph Transformation. Journal on Software and Systems Modeling, 6(3), 269-285.
Mottu, J.-M., Baudry, B., & Le Traon, Y. (2006). Mutation Analysis Testing for Model Transformations. In Proceedings 2nd European Conference on Model Driven Architecture - Foundations and Applications (pp. 376-390). Lecture Notes in Computer Science 4066, Heidelberg: Springer.
Parnas, D.L. (1994). Software Aging. In Proceedings of International Conference on Software Engineering (pp. 279-287). IEEE Computer Society Press.
Porres, I. (2003). Model refactorings as rulebased update transformations. In: P. Stevens, J. Whittle, G. Booch (Eds.), In Proceedings of 6 th International Conference UML 2003 - The Unified Modeling Language. Model Languages and Applications (pp. 159-174). Lecture Notes in Computer Science 2863, Heidelberg: Springer.
Pretschner, A., & Prenninger, A. (2007). Computing Refactorings of State Machines, Journal on Software and Systems Modeling. To appear.
Schürr, A. (1994). Specification of Graph Translators with Triple Graph Grammars. In: G. Tinhofer (Ed.), WG94 20th International Workshop on Graph-Theoretic Concepts in Computer Science (pp. 151-163). Lecture Notes in Computer Science 903, Heidelberg: Springer.
Spanoudakis, G., & Zisman, A. (2001). Inconsistency management in software engineering: Survey and open research issues. In Handbook of Software Engineering and Knowledge Engineering (pp. 329-80). World Scientific
Sunyé, G., Pollet, D., Le Traon, Y., & Jézéquel, J.-M. (2001). Refactoring UML models, In Proceedings International Conference Unified Modeling Language (pp. 134-138). Lecture Notes in Computer Science 2185, Heidelberg: Springer.
Tahvildari, L., & Kontogiannis, K. (2004). Improving Design Quality Using Meta-Pattern Transformations: A Metric-Based Approach, Journal of Software Maintenance and Evolution, 16(4-5), 331-361.
van Deursen, A., & Moonen, L. (2002). The Video Store Revisited: Thoughts on Refactoring and Testing, In M. Marchesi, G. Succi (Eds.), Proceedings 3rd International Conference on Extreme Programming and Flexible Processes in Software Engineering (pp. 71-76). Alghero, Italy.
van Deursen, A., Moonen, L., van den Bergh, A., & Kok, G. (2002). Refactoring Test Code, In G. Succi, M. Marchesi, D. Wells, & L. Williams (Eds.), Extreme Programming Perspectives (pp. 141-152). Addison-Wesley.
Van Der Straeten, R. (2005). Inconsistency Management in Model-driven Engineering: An Approach using Description Logics. Unpublished doctoral dissertation, Vrije Universiteit Brussel, Belgium.
Van Der Straeten, R., & D'Hondt, M. (2006). Model refactorings through rule-based inconsistency resolution. In Proceedings Symposium on Applied computing (pp. 1210-1217). New York: ACM Press
Van Der Straeten, R., Mens, T., Simmonds, J., & Jonckers, V. (2003). Using description logics to maintain consistency between UML models. In Proceedings International Conference on The Unified Modeling Language (pp. 326-340). Lecture Notes in Computer Science 2863, Heidelberg: Springer.
Van Der Straeten, R., Jonckers, V., & Mens, T. (2004). Supporting Model Refactorings through Behaviour Inheritance Consistencies. In T. Baar, A. Strohmeier, & A. Moreira (Eds.), Proceedings of International Conference on The Unified Modeling Language (pp. 305-319). Lecture Notes in Computer Science 3273, Heidelberg: Springer.
Van Gorp, P., Stenten, H., Mens, T., & Demeyer, S. (2003). Towards automating source-consistent UML refactorings. In P. Stevens & J. Whittle & G. Booch (Eds.), Proceedings International Conference on The Unified Modeling Language (pp. 144-158). Lecture Notes in Computer Science 2863, Heidelberg: Springer.
Van Kempen, M., Chaudron, M., Koudrie, D., & Boake, A. (2005). Towards Proving Preservation of Behaviour of Refactoring of UML Models. In Proceedings SAICSIT 2005 (pp. 111-118).
Zhang, J., Lin, Y., & Gray, J. (2005). Generic and Domain-Specific Model Refactoring using a Model Transformation Engine. In Model-driven Software Development - Research and Practice in Software Engineering. Springer.