Searching models, modeling search: On the synergies of SBSE and MDE

In the past years, several researchers applied search-based optimization algorithms successfully in the software engineering domain to obtain automatically near-optimal solutions to complex problems posing huge solution spaces. More recently, such algorithms have also been proven useful for solving problems in model engineering. However, applying search-based optimization algorithms to problems in model engineering efficiently and effectively is a challenging endeavor demanding for expertize in both, search-based algorithms as well as model engineering formalisms and techniques. In this paper, we report on our experiences in applying such search-based algorithms for model engineering problems and propose a model-driven approach to ease the adoption of search-based algorithms for the area of model engineering.

[1]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[2]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[3]  Mark Harman,et al.  Search-based software engineering , 2001, Inf. Softw. Technol..

[4]  Jean-Marc Jézéquel,et al.  Automatic test case optimization using a bacteriological adaptation model: application to .NET components , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[5]  Mark Harman,et al.  Finding Building Blocks for Software Clustering , 2003, GECCO.

[6]  R. Eberhart,et al.  Particle Swarm Optimization-Neural Networks, 1995. Proceedings., IEEE International Conference on , 2004 .

[7]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[8]  Richard F. Paige,et al.  Model comparison: a foundation for model composition and model transformation testing , 2006, GaMMa '06.

[9]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[10]  Mark Harman,et al.  Pareto optimal search based refactoring at the design level , 2007, GECCO '07.

[11]  Mark Kent O'Keeffe,et al.  Search-based refactoring for software maintenance , 2008, J. Syst. Softw..

[12]  H. Sahraoui,et al.  Model Transformation as an Optimization Problem , 2008, MoDELS.

[13]  Lionel C. Briand,et al.  A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms , 2008, MoDELS.

[14]  Houari A. Sahraoui,et al.  Example-based model-transformation testing , 2011, Automated Software Engineering.

[15]  Houari A. Sahraoui,et al.  Search-based model transformation by example , 2010, Software & Systems Modeling.

[16]  Houari A. Sahraoui,et al.  Maintainability defects detection and correction: a multi-objective approach , 2013, Automated Software Engineering.

[17]  Xin Yao,et al.  Software Module Clustering as a Multi-Objective Search Problem , 2011, IEEE Transactions on Software Engineering.

[18]  Marouane Kessentini,et al.  Search-based detection of high-level model changes , 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

[19]  Yuanyuan Zhang,et al.  Search-based software engineering: Trends, techniques and applications , 2012, CSUR.