Domain-Level Debugging for Compiled DSLs with the GEMOC Studio (Tool Demo)

Abstract : Executable Domain-Specific Languages (DSLs) are commonly defined with either operational semantics (i.e., interpretation) or translational semantics (i.e., compilation). An interpreted DSL relies on domain concepts to specify the possible execution states and steps of conforming models, which facilitates the observation and control of the execution using the very same domain concepts. In contrast, a compiled DSL relies on a transformation to an arbitrarily different executable target language, which creates a conceptual and technical gap between the considered domain and the target domain. In this tool demonstration paper, we present the implementation of our approach to supplement a compiled DSL with a feedback manager, which during execution translates execution steps and states of the target model back to the source domain. This enables the development and use of tools such as an omniscient debugger and a trace constructor for debugging compiled models. Our implementation was achieved for the GEMOC Studio, a language and modeling workbench that provides generic model debugging tools for interpreted DSLs. With our approach, these debugging tools can be also used for compiled DSLs. Our demonstration features the definition of a feedback manager for a subset of fUML that compiles to Petri nets.
Type de document :
Communication dans un congrès
1rst International Workshop on Debugging in Model-Driven Engineering (MDEbug 2017), Sep 2017, Austin, United States
Liste complète des métadonnées

https://hal.inria.fr/hal-01614561
Contributeur : Erwan Bousse <>
Soumis le : mercredi 11 octobre 2017 - 10:30:50
Dernière modification le : mercredi 30 mai 2018 - 09:26:04
Document(s) archivé(s) le : vendredi 12 janvier 2018 - 13:13:27

Fichier

mdebug-bousse-compiledDSLs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01614561, version 1

Citation

Erwan Bousse, Tanja Mayerhofer, Manuel Wimmer. Domain-Level Debugging for Compiled DSLs with the GEMOC Studio (Tool Demo). 1rst International Workshop on Debugging in Model-Driven Engineering (MDEbug 2017), Sep 2017, Austin, United States. 〈hal-01614561〉

Partager

Métriques

Consultations de la notice

25

Téléchargements de fichiers

15