ModHel'X, un outil expérimental pour la modélisation multi-paradigmes

National audienceLa modélisation multi-paradigmes vise à permettre la modélisation d’un système en utilisant pour chacune de ses sous-parties le formalisme (ou paradigme) de modélisation le plus adapté. Nous nous intéressons plus spécifiquement à la modélisation du comportement de systèmes : dans ce cadre, il est nécessaire de pouvoir combiner la sémantique des différents formalismes utilisés dans un modèle de sorte à déterminer le comportement global du système modélisé. Nous avons conç̧u un outil appelé ModHel’X qui permet a) de décrire les formalismes de modélisation utilisés grâce au concept de modèle de calcul, b) de décrire l’adaptation sémantique à la frontière entre deux formalismes, c) de construire des modèles faisant appel à plusieurs de ces formalismes et d) de simuler le comportement de tels modèles