HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Toward a Declarative Language to Generate Explorable Sets of Models

Abstract : Model transformation has proven to be 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 exists situations where a collection of target models is preferred over a single one. Such situations arise when some choices cannot be encoded in the transformation. In this paper, we introduce an approach that combines model transformation and constraints programming to generate explorable sets of target models from source models. Our approach is built around the notion of the bridge variable that binds target model properties to decision variables. To help users apply the approach, we also introduce a declarative language to write such transformations. We evaluate our approach and language on a case study for diagram visualization.
Document type :
Conference papers
Complete list of metadata

Contributor : Nathalie Renois Connect in order to contact the contributor
Submitted on : Friday, December 7, 2018 - 1:45:00 PM
Last modification on : Wednesday, March 2, 2022 - 3:52:04 PM


  • HAL Id : hal-01948080, version 1



Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Toward a Declarative Language to Generate Explorable Sets of Models. 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), Apr 2019, Limassol, Cyprus. ⟨hal-01948080⟩



Record views