Génération d’ensembles de modèles explorables par couplage de contraintes et de transformation de modèles
Résumé
Cet article présente les travaux réalisés durant les projets COMOG et Optimodon. Ces travaux s’inscrivent dans les thématiques de l’ingénierie dirigée par les modèles (IDM) et y intègrent des notions de programmation par contraintes. Ces travaux se sont concrétisés par le développement d’ATLc, une extension d’ATL, un langage de transformation de modèles, intégrant des contraintes. ATLc repose sur la notion d’exploration d’ensembles de modèles. L’exploration d’ensemble de modèles permet à l’utilisateur, grâce à l’utilisation d’ATLc, de générer un ensemble de modèles valides défini en intention par des contraintes. Dans cet article nous présentons les changements apportés à ATLc au travers de plusieurs cas d’études. Ces changements se concentrent sur deux axes majeurs. Ajouts de sucres syntaxiques au langage pour faciliter l’utilisation. Ajout d’une seconde cible d’exécution, les navigateurs web, par l’utilisation de SVG et de JavaScript. Cette seconde plateforme d’exécution ajoute de
nombreuses petites améliorations et est spécialisée dans les diagrammes interactifs.