Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
Fri 15 Oct 2021 10:50 - 11:10 at Room 1 - Model management and model transformations II Chair(s): Eugene Syriani

With the growing popularity of the MDE paradigm, model transformations are becoming more and more complex. ATL transformations, in particular, are error-prone due to the declarative nature of the language and the dependency towards the involved metamodels. To alleviate the burden of developers, we propose, in this paper, an approach for fixing semantic errors in ATL transformation rules without predefined patch templates for specific error types. In a first step, our approach determines the rules that are likely to contain errors starting from the discrepancy between the expected and produced outputs of test cases. Then, a second step allows to generate candidate patches for these errors using a multiobjective optimization algorithm, guided by the same test cases. In a preliminary evaluation, we show that our approach can fix most of the errors for transformations with a single error. For those with multiple errors, more iterations are necessary to fix part of the errors.

Fri 15 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

10:30 - 11:30
Model management and model transformations IITechnical Papers at Room 1
Chair(s): Eugene Syriani Université de Montréal
10:30
20m
Full-paper
Repository Mining for Changes in Simulink ModelsP&I
Technical Papers
Monika Jaskolka , Vera Pantelic , Alan Wassyng McMaster University, Canada, Mark Lawford McMaster University, Richard Paige McMaster University
10:50
20m
Full-paper
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT
Technical Papers
Zahra Varaminybahnemiry , Jessie Galasso-Carbonnel Université de Montréal, Khalid Belharbi , Houari Sahraoui Université de Montréal
11:10
20m
Talk
Live Modeling in the Context of State Machine Models and Code GenerationJ1ST
Technical Papers
Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Benoit Combemale University of Rennes; Inria; IRISA, Juergen Dingel Queen's University, Kingston, Ontario