Towards Declarative and Incremental Model Transformation.
Hamid Gholizadeh · 2013
Abstract. Model Driven Engineering (MDE) has proven to be a promising approach in software engineering. Model management and maintenance stands at the core of the MDE approach, while it still needs more theoretical and technical support for the realization of its expected functionalities, like model transformation, refactoring, migration and synchronization. In this thesis proposal, I introduce a declarative Model Transformation definition in the meta-model layer, as the foundation for model transformation. I motivate the declarative method by discussing its usefulness for incremental model transformation. This PhD proposal’s objectives are the implementation of the declarative method, developing the necessary semantics for the incremental model transformation, and applying the incrementality to some MDE scenarios.