Coupling solvers with model transformations to generate explorable model sets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2021

Coupling solvers with model transformations to generate explorable model sets

Théo Le Calvar
Fabien Chhel
Frédéric Jouault
Frédéric Saubion

Résumé

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.
Fichier principal
Vignette du fichier
sosym-2021-coupling-solvers.pdf (555.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03594336 , version 1 (09-06-2022)

Identifiants

Citer

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, 2021, 20 (5), pp.1633-1652. ⟨10.1007/s10270-021-00867-0⟩. ⟨hal-03594336⟩
30 Consultations
42 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More