Adresse :
Monsieur Jolan Philippe du département DAPI et du laboratoire LS2N, présentera ses travaux de recherche sur le sujet :
"Multi-Paradigm Distribution for Model Management Operations"
Résumé : L'espace de conception pour définir un moteur de transformation de modèle distribué est un large spectre de possibilités et d'opportunités pour améliorer les performances en termes de temps de calcul et de consommation mémoire. Selon les décisions adoptées, l'utilisation d'un moteur de transformation peut être complètement différente (par exemple, une solution incrémentale pour un modèle souvent modifié contre un moteur formellement spécifié pour le raisonnement, non performant). Les solutions déjà existantes proposent des moteurs avec différents objectifs basés sur plusieurs approches, notamment la distribution, la paresse, l'incrémentalité et l'exactitude. Cependant, comparer les solutions n'est pas anodin, et n'a pas forcément de sens. C'est pourquoi nous avons mis en place un nouveau moteur, intégrant la variabilité, qui permet une analyse de son espace de conception. À partir d'un langage doté de spécifications formelles, nous avons créé SparkTE, un moteur de transformation paramétrable et distribué au-dessus de Spark. Dans cette thèse, nous cherchons à analyser l'impact des choix à différents niveaux : les modèles de programmation utilisés pour définir les expressions ; les différentes sémantiques utilisées pour définir le calcul d'une transformation ; et l'impact des choix d'ingénierie.
Organisateur(s)
Dans le cadre de la co-accréditation de thèse d’IMT Atlantique au sein de l'école doctorale MATHSTIC
Mots-clés: Spark, Model Transformation, Model Queries, Correction, Caractérisation