EMF model transformation based on graph transformation: Formal foundation and tool environment

Abstract

Model-driven software development is considered as a promising paradigm in software engineering [10]. Models are the central artifacts in model-driven development. Hence, inspecting and modifying models to reduce their complexity and improve their readability, maintainability and extensibility (i.e. by performing model refactoring [8]) are important issues of model development. Thus model transformation can be considered as one of the key activities in model-driven software development. © 2010 Springer-Verlag.