The correctness of model transformation is an import research field in model-driven architecture. Syntactic correctness and semantic consistency are hot topics in the field of model transformation. Syntactic correctness has many mature solutions. However the validation of semantic consistency has some problems. Therefore, how to validate semantic consistency of model transformation is a major p...

Model-Driven Engineering (MDE) is a software engineering approach that treats models as the primary development artefacts. Models are manipulated, using model management operations (MMO), in order to perform engineering tasks such as comparison, validation, and code generation. We propose that many of the challenges faced in MDE could be addressed using Search-Based Software Engineering (SBSE) ...

Model-driven development is a well-known practice in modern software engineering. Many tools exist which allow developers to build software in a model-driven way. Unfortunately, these tools do not provide dedicated support for the specific needs in software product line processes. Only recently some approaches tried to combine feature modeling and model-driven development. In this paper we pres...