Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation

Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software development based on the code generation framework AndroMDA. Considering the UML profile for AndroMDA, we come up with a number of domain-specific model refactorings. In its most recent version, the AndroMDA code generation can be based on the Eclipse Modeling Framework (EMF) which has evolved towards the de facto standard technology to specify UML models. We show how domain-specific refactorings can be specified by EMF transformation incorporating graph transformation concepts. This opens up the possibility to reason about domain-specific refactorings in a formal way.

• Type: Conference
• Year: 2007
• Where: AGTIVE
• Authors: Gabriele Taentzer, Dirk Müller 0002, Tom Mens
• Keywords: AGTIVE 2007, Domain-specific Refactorings, Formal Methods, Generation Framework Andromda, Model-driven Software