fr | en

Séparés par des virgules

Soutenance de thèse de Monsieur Théo LE CALVAR

Télécharger le fichier «AVIS SOUTENANCE DE THESE_LE CALVAR.pdf» (38.3 KB)10h00 | ESEO | 10, bd Jeanneteau | ANGERS

Sujet : Exploration d’ensembles de modèles

Directeur de thèse : Monsieur Frédéric SAUBION

RÉSUMÉ

La transformation de modèles a prouvé qu'elle était un moyen efficace pour produire des modèles cibles à partir de modèles sources le tout en raisonnant en terme de métamodèle. La majorité des techniques de transformation de modèles se concentrent sur la génération d'un modèle cible pour une source donnée. Cependant, il existe des situations dans lesquelles il est préférable de considérer une transformation générant un ensemble de modèles cibles.Un tel ensemble pourra ensuite être exploré par l'utilisateur afin de sélectionner un modèle ayant des propriétés spécifiques. Dans cette thèse, nous présentons une solution alliant transformation de modèles et programmation par contraintes pour permettre l'expression et l'exploration de ces ensembles de modèles. Nous proposons deux implémentations fonctionnelles de cette approche ainsi que plusieurs cas d'étude créés avec ces deux implémentations.

Télécharger l'avis de soutenance de thèse

Scroll