Skip to Main content Skip to Navigation
Journal articles

Coupling solvers with model transformations to generate explorable model sets

Abstract : Model transformation is an effective technique to produce target models from source models. Most transformation approaches focus on generating a single target model from a given source model. However, there are situations where a collection of possible target models is preferred over a single one. Such situations arise when some choices cannot be encoded in the transformation. Then, search techniques can be used to help find a target model having specific properties. In this paper, we present an approach that combines model transformation and constraint programming to generate explorable sets of models. We extend previous work by adding support for multiple solvers, as well as extending ATL, a declarative transformation language used to write such transformations. We evaluate our approach and language on a task scheduling case study including both scheduling constraints and schedule visualization.
Document type :
Journal articles
Complete list of metadata
Contributor : Anne-Flore Jarry Connect in order to contact the contributor
Submitted on : Thursday, June 9, 2022 - 3:20:54 PM
Last modification on : Thursday, June 16, 2022 - 3:39:34 AM


Files produced by the author(s)



Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Coupling solvers with model transformations to generate explorable model sets. Software and Systems Modeling, Springer Verlag, 2021, 20 (5), pp.1633-1652. ⟨10.1007/s10270-021-00867-0⟩. ⟨hal-03594336⟩



Record views


Files downloads