Génération d’ensembles de modèles explorables par couplage de contraintes et de transformation de modèles - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

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.
Fichier non déposé

Dates et versions

hal-03594386 , version 1 (02-03-2022)

Identifiants

  • HAL Id : hal-03594386 , version 1

Citer

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⟩
54 Consultations
0 Téléchargements

Partager

More