Débogage pour langages dédiés basé sur les protocoles

L’Ingénierie Dirigée par les Modèles considère les modèles comme des artefacts centraux, pouvant être utilisés pour de la génération de code, de l’analyse, etc. Ces modèles peuvent être écrits à l’aide de langages dédiés (DSLs), i. e. des langages simples adaptés à des préoccupations précises. En particulier, les modèles comportementaux dé- crivent les comportements possibles du sys- tème. Un outil précieux pour le développe- ment de modèles comportementaux est le dé- bogueur interactif, qui permet d’observer et de contrôler une exécution. Cependant, le développement d’un débogueur pour DSL est complexe : une large gamme de services doit être intégrée à la fois au DSL et à un environnement de développement (IDE) permettant d’accéder à ces services. À ce jour, il n’existe pas de débogueur réutilisable capable à la fois de fournir des opérations de débogage pertinentes pour des DSLs hétérogènes, et de s’intégrer facilement dans des IDEs. Dans cette thèse, nous démontrons d’abord par une analyse qualitative que deux protocoles existants (LSP et DAP) ne permettent pas d’intégrer de manière satisfaisante l’outillage d’un DSL dans un IDE. Nous proposons ensuite une nouvelle architecture de débogage pour DSLs, comprenant un débogueur réutilisable paramétré par le domaine. Il repose à la fois sur une extension de DAP pour l’intégration dans des IDEs existants, et sur un nouveau protocole pour la communication avec les implémentations de DSLs.