Combinaison de la modélisation live et exploratoire – CLEM

Les modèles comportementaux doivent généralement être conçus, implémentés et exécutés avant d'observer les résultats. Chaque changement de modèle nécessite de déclencher ce pipeline pour en voir les effets. La modélisation live vise à modifier ce paradigme en passant (presque) librement de la conception du modèle à son exécution afin de recevoir un retour d'information immédiat (IF). La modélisation exploratoire permet la manipulation directe (DM) de l'état et des données d'entrée d'un modèle en cours d'exécution, ce qui permet de comparer des alternatives de l'espace de conception.
Bien qu'elles aient déjà fait l'objet d'études préliminaires, il n'existe pas d'approche systématique pour concevoir de nouveaux langages de modélisation prenant en charge ces fonctions. À notre connaissance, il n'existe aucun travail sur la combinaison saine des modélisations en direct et exploratoire.
Ce projet produira une méthodologie soutenue par des outils pour la modélisation en direct et exploratoire (LEM). En particulier, des scénarios tels que l'utilisation interactive de la modélisation en direct dans le contexte de l'exploration et la comparaison efficace de plusieurs modèles alternatifs seront étudiés pour la première fois. Cette combinaison judicieuse de LEM fournira un support pour l'exploration de l'espace de conception, l'analyse des compromis et la prise de décision.

L'IF et la DM nécessitent la combinaison de plusieurs techniques de modélisation avancées pour rejouer efficacement l'interaction des modèles (pour l'IF) et la synthèse des modèles (pour la DM). Nous allons créer une nouvelle architecture de moteur d'exécution de modèle qui offre une exécution de modèle interactive. Cette architecture supportera également les interfaces d'outils nécessaires et le protocole de langage correspondant qui permet l'intégration d'outils d'exploration de modèles interactifs. En outre, nous établirons les principes nécessaires pour soutenir le LEM agnostique au niveau du langage.