Abstract:Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and adapting existing transformation rules to new metamodels version. Thus, modular design is a desirable property for model transformations as it can significantly improve their evolution, comprehensibility, maintainability, reusability, and thus, their overall quality. Although language support for modularization of model transformations is emerging, model transformations are created as monolithic artifacts containing a huge number of rules. To the best of our knowledge, the problem of automatically modularizing model transformation programs was not addressed before in the current literature. These programs written in transformation languages, such as ATL, are implemented as one main module including a huge number of rules. To tackle this problem and improve the quality and maintainability of model transformation programs, we propose an automated search-based approach to modularize model transformations based on higher-order transformations. Their application and execution is guided by our search framework which combines an in-place transformation engine and a search-based algorithm framework. We demonstrate the feasibility of our approach by using ATL as concrete transformation language and NSGA-III as search algorithm to find a trade-off between different well-known conflicting design metrics for the fitness functions to evaluate the generated modularized solutions. To validate our approach, we apply it to a comprehensive dataset of model transformations. As the study shows, ATL transformations can be modularized automatically, efficiently, and effectively by our approach. We found that, on average, the majority of recommended modules, for all the ATL programs, by NSGA-III are considered correct with more than 84 percent of precision and 86 percent of recall when compared to manual solutions provided by active developers. The statistical analysis of our experiments over several runs shows that NSGA-III performed significantly better than multi-objective algorithms and random search. We were not able to compare with existing model transformations modularization approaches since our study is the first to address this problem. The software developers considered in our experiments confirm the relevance of the recommended modularization solutions for several maintenance activities based on different scenarios and interviews.

Template-based model generation

Randomized Approach to Software Model Generation

Randomized Model Generation for Performance Testing of Model Transformations.

An MDE Performance Testing Framework Based on Random Model Generation

Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations.

TM-generation model: a template-based method for automatically solving mathematical word problems

Towards Generating Executable Metamorphic Relations Using Large Language Models

Command Pattern-based MOF Design and Testing

Testing bidirectional model transformation using metamorphic testing.

An approach for performance requirements verification and test environments generation

An Automatic Generation Method of Executable Test Case Using Model-Driven Architecture

A MDE Based Approach for Bridging Formal Models

Efficient Multi-Objective Simulation Metamodeling for Researchers

Model Transformation Modularization as a Many-Objective Optimization Problem

CasModaTest: A Cascaded and Model-agnostic Self-directed Framework for Unit Test Generation

Automatic Test Data Generation Method for Complex Structure Based on Memory Modeling

Petri Net Based Test Case Generation for Evolved Specification

A Model-Driven Approach for Model Transformations

Automated Generation of the Computer-Aided Design Model from the System Structure for Mechanical Systems Based on Systems Modeling Language

MR-Scout : Automated Synthesis of Metamorphic Relations from Existing Test Cases

MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases