Search-Based Model Transformations with MOMoT

@inproceedings{Fleck2016SearchBasedMT,
  title={Search-Based Model Transformations with MOMoT},
  author={Martin Fleck and Javier Troya and Manuel Wimmer},
  booktitle={ICMT},
  year={2016}
}
Many scenarios require flexible model transformations as their execution should of course produce models with the best possible quality. At the same time, transformation problems often span a very large search space with respect to possible transformation results. Thus, guidance for transformation executions to find good solutions without enumerating the complete search space is a must. This paper presents MOMoT, a tool combining the power of model transformation engines and meta-heuristics… 
A local and global tour on MOMoT
TLDR
This paper presents an extension to MOMoT, which is a search-based model transformation tool, for supporting not only global searchers for model transformation orchestrations, but also local ones, which leads to a model transformation framework that allows as the first of its kind multi-objective local and global search.
Model Transformation Modularization as a Many-Objective Optimization Problem
TLDR
This study proposes an automated search-based approach to modularize model transformations based on higher-order transformations and shows that ATL transformations can be modularized automatically, efficiently, and effectively by this approach.
MoTUO: An Approach for Optimizing Usability Within Model Transformations
TLDR
This research work defines model transformation as a usability optimization problem and allows the search of the optimal alternative transformation from a large search space taking into account an agreed usability model and using a metaheuristic search algorithm.
Spectrum-Based Fault Localization in Model Transformations
TLDR
Evaluation results revealed that the best techniques, namely Kulcynski2, Mountford, Ochiai, and Zoltar, lead the debugger to inspect a maximum of three rules to locate the bug in around 74% of the cases.
Henshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in MDEOptimiser
TLDR
This tutorial presents Henshin, a versatile model transformation language increasingly used in academic and industrial applications, and specifies evolutionary operators for MDEOptimiser, a novel search-based model optimisation tool.
Tolerant consistency management in model-driven engineering
TLDR
This short paper provides a roadmap for possible approaches to address the problem of handling inconsistencies with help of bidirectional transformation (bx) tools and uses Triple Graph Grammars (TGGs) as an underlying formalism to express the consistency relation between source and target models.
Search‐based model transformations
TLDR
This work focuses on model transformations, a discipline which facilitates the abstraction of relevant information of a system as models and the application of transformations is realized either by following the apply‐as‐long‐as-possible strategy or by the provision of explicit rule orchestrations.
Generating E cient Mutation Operators for Search-Based Model-Driven Engineering
TLDR
FitnessStudio is proposed, a technique for generating problem-tailored mutation operators automatically based on a two-tier framework using the Henshin transformation language and evaluated it in a benchmark case, where the generated mutation operators enabled an improvement to the state of the art in terms of result quality, without sacri cing performance.
Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility
TLDR
Generic strategies such as the ones presented in this work could lead to the emergence of more complex fitness functions for searches in models or even new applications for the search metaheuristics in model-related problems.
Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering
TLDR
FitnessStudio is proposed, a technique for generating efficient problem-tailored mutation operators automatically based on a two-tier framework using the Henshin transformation language and evaluated it in a benchmark case, where the generated mutation operators enabled an improvement to the state of the art in terms of result quality, without sacrificing performance.
...
...

References

SHOWING 1-10 OF 18 REFERENCES
Marrying Search-based Optimization and Model Transformation Technology
TLDR
A novel framework which builds on the non-intrusive integration of optimization and model transformation technology allows for search-based exploration of rule applications and to make the goals of transformations explicit.
Search-Based Model Optimization Using Model Transformations
TLDR
It is demonstrated that multiple SBO techniques are easily incorporated into Model-Driven Engineering, and how this approach can be applied, how it enables simple switching between different SBO approaches, and integrates domain knowledge, all within the modeling paradigm.
Searching models, modeling search: On the synergies of SBSE and MDE
TLDR
This paper reports on the experiences in applying search-based algorithms for model engineering problems and proposes a model-driven approach to ease the adoption of search- based algorithms for the area of model engineering.
Multi-objective optimization in rule-based design space exploration
TLDR
This paper proposes to integrate multi-objective optimization techniques by using Non-dominated Sorting Genetic Algorithms (NSGA) to drive rule-based design space exploration using Eclipse framework, preserving both domain independence and a high-level of abstraction.
Model-Driven Software Engineering in Practice
TLDR
This book is to provide an agile and flexible tool to introduce you to the MDSE world, thus allowing you to quickly understand its basic principles and techniques and to choose the right set of MDSE instruments for your needs so that you can start to benefit from MDSE right away.
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms
TLDR
The results suggest that the MOGA can help correct suboptimal class responsibility assignment decisions and perform far better than simpler alternative heuristics such as hill climbing and a single-objective GA.
The Current State and Future of Search Based Software Engineering
  • M. Harman
  • Computer Science
    Future of Software Engineering (FOSE '07)
  • 2007
TLDR
The paper briefly reviews widely used optimization techniques and the key ingredients required for their successful application to software engineering, providing an overview of existing results in eight software engineering application domains.
An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints
TLDR
A reference-point-based many-objective evolutionary algorithm that emphasizes population members that are nondominated, yet close to a set of supplied reference points is suggested that is found to produce satisfactory results on all problems considered in this paper.
A clustering-based model for class responsibility assignment problem in object-oriented analysis
Towards a Quick Computation of Well-Spread Pareto-Optimal Solutions
TLDR
A clustered NSGA-II is suggested which uses an identical clustering technique to that used in SPEA for obtaining a better distribution and a steady-state MOEA based on e-dominance concept and efficient parent and archive update strategies is proposed.
...
...