Skip to Main content Skip to Navigation
Conference papers

Génération d’ensembles de modèles explorables par couplage de contraintes et de transformation de modèles

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03594386
Contributor : Anne-Flore Jarry Connect in order to contact the contributor
Submitted on : Wednesday, March 2, 2022 - 3:55:03 PM
Last modification on : Thursday, March 3, 2022 - 3:26:06 AM

Identifiers

  • HAL Id : hal-03594386, version 1

Collections

Citation

Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Eugene Syriani. Génération d’ensembles de modèles explorables par couplage de contraintes et de transformation de modèles. Journée Francophones de Programmation par Contraintes (JFPC) 2021, Jun 2021, Virtual, France. ⟨hal-03594386⟩

Share

Metrics

Record views

6