On the use of graph transformations for model refactoring

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4143 LNCS, Issue , 2006, Pages 219-257

  Mens, Tom ^a  

^a UNIVERSITY OF MONS   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; DATA STRUCTURES; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS;

DEPENDENCIES; GRAPH TRANSFORMATIONS; MODEL REFACTORINGS; ROUND TRIP ENGINEERING;

SOFTWARE ENGINEERING;

EID: 33750084999     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11877028_7     Document Type: Conference Paper

References (52)

1. Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Software 20(5) (2003) 42-45 Special Issue on Model-Driven Software Development.
2. Bézivin, J.: Model driven engineering: Principles, scope, deployment and applicability. In: Proc. Summer School on Generative and Transformation Techniques in Software Engineering (GTTSE 2005), Springer (2006)
3. Sprinkle, J., Agrawal, A., Levendovszky, T., Shi. P., Karsai, G.: Domain model translation using graph transformations. In: Proc. Int'l Conf. Engineering of Computer-Based Systems, IEEE Computer Society (2003) 159-168
4. Kalnins, A., Barzdins, J., Celms, E.: Model transformation language MOLA. In: Proc. Model-Driven Architecture: Foundations and Applications. (2004) 14-28
5. Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA - visual automated transformations for formal verification and validation of UML models. In: Proc. Int'l Conf. Automated Software Engineering, IEEE Computer Society (2002) 267-270
6. Opdyke, W.F.: Refactoring: A Program Restructuring Aid in Designing Object-Oriented Application Frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)
7. Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)
8. G. Sunyé, Pollet, D., LeTraon, Y., J.-M. Jézéquel: Refactoring UML models. In: Proc. UML 2001. Volume 2185 of Lecture Notes in Computer Science., Springer-Verlag (2001) 134-138
9. Boger, M., Sturm, T., Fragemann, P.: Refactoring browser for UML. In: Proc. Int'l Conf. on eXtreme Programming and Flexible Processes in Software Engineering. (2002) 77-81
10. 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 - The Unified Modeling Language. Volume 2863 of Lecture Notes in Computer Science., Springer-Verlag (2003) 144-158
11. Van Der Straeten, R., Jonckers, V., Mens. T.: Supporting model refactorings through behaviour inheritance consistencies. In Thomas Baar, Alfred Strohmeier, A.M., ed.: UML 2004 - The Unified Modeling Language. Volume 3273 of Lecture Notes in Computer Science., Springer-Verlag (2004) 305-319
12. Markovic, S., Baar, T.: Refactoring ocl annotated uml class diagrams. In: Proc. Int'l Conf. Model Driven Engineering Languages and Systems (MoDELS 2005). Volume 3713 of Lecture Notes in Computer Science., Springer (2005) 280-294
13. Zhang, J., Lin, Y., Gray, J.: Generic and domain-specific model refactoring using a model transformation engine. In: Model-driven Software Development - Research and Practice in Software Engineering. Springer Verlag (2005)
14. Van Kempen, M., Chaudron, M., Koudrie, D., Boake, A.: Towards proving preservation of behaviour of refactoring of UML models. In: Proc. SAICSIT 2005. (2005) 111-118
15. Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: Proc. Int'l Workshop on Graph and Model Transformation (GraMoT 2005). Electronic Notes in Theoretical Computer Science, Elsevier (2006)
16. Mens, T., Van Gorp, P., Varró, D., Karsai, G.: Applying a model transformation taxonomy to graph transformation technology. In: Proc. Int'l Workshop on Graph and Model Transformation (GraMoT 2005). Electronic Notes in Theoretical Computer Science, Elsevier (2006)
17. Geiger, L., Zündorf, A.: Statechart modeling with Fujaba. In: Proc. Int'l Workshop Graph-Based Tools (GraBaTs). Electronic Notes in Theoretical Computer Science, Elsevier (2004)
18. Alexandre Correa, C.W.: Applying refactoring techniques to UML/OCL models. In Thomas Baar, Alfred Strohmeier, A.M., ed.: UML 2004 - The Unified Modeling Language. Volume 3273 of Lecture Notes in Computer Science., Springer-Verlag (2004) 173-187
19. Porres, I.: Model refactorings as rule-based update transformations. In Stevens, P., Whittle, J., Booch, G., eds.: UML 2003 - The Unified Modeling Language. Volume 2863 of Lecture Notes in Computer Science., Springer-Verlag (2003) 159-174
20. Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Handbook of Software Engineering and Knowledge Engineering. World scientific (2001) 329-380
21. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logics to maintain consistency between UML models. In Stevens, P., Whittle, J., Booch, G., eds.: UML 2003 - The Unified Modeling Language. Volume 2863 of Lecture Notes in Computer Science., Springer-Verlag (2003) 326-340
22. D'Hondt, T., De Volder, K., Mens, K., Wuyts, R.: Co-evolution of object-oriented design and implementation. In: Proc. Int'l Symp. Software Architectures and Component Technology: The State of the Art in Research and Practice, Enschede, The Netherlands, Kluwer Academic Publishers (2000)
23. Wuyts, R.: A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation. PhD thesis, Department of Computer Science, Vrije Universiteit Brussel (2001)
24. Corradini, A.,.Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3 and 4) (1996) 241-265
25. Taentzer, G.: AGG: A tool environment for algebraic graph transformation. In: Proc. AGTIVE 99. Volume 1779 of Lecture Notes in Computer Science., Springer-Verlag (1999) 481-488
26. Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Proc. ACTIVE 2003. Volume 3062 of Lecture Notes in Computer Science., Springer-Verlag (2004) 446-453
27. Demeyer, S., Janssens, D., Mens, T.: Simulation of a LAN. Electronic Notes in Theoretical Computer Science 72(4) (2002)
28. Demeyer, S., Van Rysselberghe, F., Gîrba, T., Ratzinger, J., Marinescu, R., Mens, T., Du Bois, B., Janssens, D., Ducasse, S., Lanza, M., Rieger, M., Gall, H., El-Ramly, M.: The LAN simulation: A refactoring teaching example. In: Proc. Int'l Workshop on Principles of Software Evolution (IWPSE 2005). (2005)
29. Object Management Group: Unified Modeling Language specification version 1.5. formal/2003-03-01 (2003)
30. Niere, J., Zündorf, A.: Using Fujaba for the development of production control systems. In Nagl, M., Schürr, A., Münch, M., eds.: Proc. Int. Workshop Agtive 99. Volume 1779 of Lecture Notes in Computer Science. Springer-Verlag (2000) 181-191
31. Taentzer, G., Rensink, A.: Ensuring structural constraints in graph-based models with type inheritance. In: Proc. Int'l Conf. Fundamental Approaches to Software Engineering. Volume 3442 of Lecture Notes in Computer Science., Springer-Verlag (2005) 64-79
32. Ehrig, H., Löwe, M.: Parallel and distributed derivations in the single-pushout approach. Theoretical Computer Science 109 (1993) 123-143
33. Ehrig, H., Habel, A.: Graph grammars with application conditions. In Rozenberg, G., Salomaa, A., eds.: The Book of L, Springer-Verlag (1986) 87-100
34. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3,4) (1996) 287-313
35. Schürr, A., Winter, A., Zündorf, A.: PROGRES: Language and Environment. In: Handbook of Graph Grammars and Graph Transformation. World scientific (1999) 487-550
36. Heckel, R., Jochen Malte Küster, Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Proc. 1st Int'l Conf. Graph Transformation. Volume 2505 of Lecture Notes in Computer Science., Springer-Verlag (2002) 161-176
37. Lambers, L., Ehrig, H., Orejas, F.: Efficient detection of conflicts in graph-based model transformation. In: Proc. Int'l Workshop on Graph and Model Transformation (GraMoT 2005). Electronic Notes in Theoretical Computer Science, Elsevier (2006)
38. Mens, T., Taentzer, G., Runge, O.: Analyzing refactoring dependencies using graph transformation. Software and System Modeling (2006) To appear.
39. Van Gorp, P., Van Eetvelde, N., Janssens, D.: Implementing refactorings as graph rewrite rules on a platform independent metamodel. In: Proc. Fujaba Days. (2003)
40. Schippers, H., Van Gorp, P., Janssens, D.: Leveraging UML profiles to generate plugins from visual model transformations. In: Proc. Int'l Workshop Software Evolution through Transformations (SETra). Volume 127 of Electronic Notes in Theoretical Computer Science., Elsevier (2005) 5-16
41. Schippers, H., Van Gorp, P.: Standardizing story-driven modeling for model transformations. In: Proc. Int'l Fujaba Days. (2004)
42. Mens, T., Demeyer, S., Janssens, D.: Formalising behaviour preserving program transformations. In: Proc. 1st Int'l Conf. Graph Transformation. Volume 2505 of Lecture Notes in Computer Science., Springer-Verlag (2002) 286-301
43. Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. Int'l Journal on Software Maintenance and Evolution 17(4) (2005) 247-276
44. Van Eetvelde, N., Janssens, D.: Extending graph rewriting for refactoring. In: Proc. Int'l Conf. Graph Transformation. Volume 3526 of Lecture Notes in Computer Science., Springer-Verlag (2004) 399-415
45. Roberts, D.B.: Practical Analysis for Refactoring. PhD thesis, University of Illinois at Urbana- Champaign (1999)
46. Ó Cinnéide, M., Nixon, P.: Composite refactorings for Java programs. Technical report, Department of Computer Science, University College Dublin (2000)
47. Kniesel, G., Koch, H.: Static composition of refactorings. Science of Computer Programming 52(1-3) (2004) 9-51
48. Heckel, R.: Algebraic graph transformations with application conditions. Master's thesis, Technische Universität Berlin (1995)
49. Bottoni, P., Parisi Presicce, F., Taentzer, G.: Specifying integrated refactoring with distributed graph transformations. Lecture Notes in Computer Science 3062 (2003) 220-235
50. Königs, A., Schürr, A.: Tool integration with triple graph grammars - a survey. Electronic Notes in Theoretical Computer Science (2005)
51. Visser, E.: A language for program transformation based on rewriting strategies. In Middeldorp, A., ed.: Rewriting Techniques and Applications. Volume 2051 of Lecture Notes in Computer Science., Springer-Verlag (2001) 357-
52. van den Brand, M., Klint, P., Vinju, J.: Term rewriting with traversal functions. Transactions on Software Engineering and Methodology 12 (2003) 152-190