Search-Based Model Optimization Using Model Transformations

Design-Space Exploration (DSE) and optimization look for a suitable and optimal candidate solution to a problem, with respect to a set of quality criteria, by searching through a space of possible solution designs. Search-Based Optimization (SBO) is a well-known technique for design-space exploration and optimization. Model-Driven Engineering (MDE) offers many benefits for creating a general approach to SBO, through a suitable problem representation. In MDE, model transformation is the preferred technique to manipulate models. The challenge thus lies in adapting model transformations to perform SBO tasks. In this paper, we demonstrate that multiple SBO techniques are easily incorporated into MDE. Through a non-trivial example of electrical circuit generation, we show how this approach can be applied, how it enables simple switching between different SBO approaches, and integrates domain knowledge, all within the modeling paradigm.

[1]  Ákos Horváth,et al.  A model-driven framework for guided design space exploration , 2011, ASE.

[2]  Marouane Kessentini,et al.  Searching models, modeling search: On the synergies of SBSE and MDE , 2013, 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE).

[3]  L. Nagel,et al.  SPICE (Simulation Program with Integrated Circuit Emphasis) , 1973 .

[4]  Frank R. Burton,et al.  Complementing metaheuristic search with higher abstraction techniques , 2013, 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE).

[5]  Richard F. Paige,et al.  Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels , 2011, SSBSE.

[6]  Hans Vangheluwe,et al.  Scope in model transformations , 2016, Software & Systems Modeling.

[7]  Ethan K. Jackson,et al.  Components, platforms and possibilities: towards generic automation for MDA , 2010, EMSOFT '10.

[8]  Iain Bate,et al.  Minimising Task Migration and Priority Changes in Mode Transitions , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

[9]  Carlo Ghezzi,et al.  QVTR2: A Rational and Performance-Aware Extension to the Relations Language , 2010, MoDELS.

[10]  Hans Vangheluwe,et al.  FTG+PM: An Integrated Framework for Investigating Model Transformation Chains , 2013, SDL Forum.

[11]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[12]  Hans Vangheluwe,et al.  Towards Domain-specific Model Editors with Automatic Model Completion , 2010, Simul..

[13]  Hans Vangheluwe,et al.  The FTG+PM framework for multi-paradigm modelling: an automotive case study , 2012, MPM '12.

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

[15]  István Ráth,et al.  Incremental pattern matching in the viatra model transformation system , 2008, GRaMoT '08.

[16]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[17]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[18]  Mario Vento,et al.  A (sub)graph isomorphism algorithm for matching large graphs , 2004, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[19]  Bernhard Schätz,et al.  Design-Space Exploration through Constraint-Based Model-Transformation , 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

[20]  Giuliano Antoniol,et al.  Search-Based Techniques for Optimizing Software Project Resource Allocation , 2004, GECCO.

[21]  A. Land,et al.  An Automatic Method for Solving Discrete Programming Problems , 1960, 50 Years of Integer Programming.

[22]  Gabor Karsai,et al.  MDE-based approach for generalizing design space exploration , 2010, MODELS'10.

[23]  Arend Rensink,et al.  Repotting the Geraniums: On Nested Graph Transformation Rules , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[24]  Wilhelm Hasselbring,et al.  Search-based genetic optimization for deployment and reconfiguration of software in the cloud , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[25]  Ákos Horváth,et al.  Generic Search Plans for Matching Advanced Graph Patterns , 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[26]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[27]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[28]  Mark Harman,et al.  1st International workshop on combining modelling and search-based software engineering (CMSBSE 2013) , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[29]  Richard F. Paige,et al.  Solving Acquisition Problems Using Model-Driven Engineering , 2012, ECMFA.

[30]  Twan Basten,et al.  Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset , 2010, ISoLA.

[31]  Hans Vangheluwe,et al.  T-Core: a framework for custom-built model transformation engines , 2013, Software & Systems Modeling.

[32]  Antonio Cicchetti,et al.  Automatic Deployment Space Exploration Using Refinement Transformations , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

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

[34]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[35]  Haibo Zeng,et al.  Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[36]  Hans Vangheluwe,et al.  Model-Driven Engineering Approaches to Design Space Exploration , 2013 .

[37]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[38]  Gabor Karsai,et al.  Constraint-Based Design-Space Exploration and Model Synthesis , 2003, EMSOFT.

[39]  Houari A. Sahraoui,et al.  Generating transformation rules from examples for behavioral models , 2010, BM-FA '10.

[40]  Wei Zheng,et al.  Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems , 2007, RTSS 2007.