hal-00593425, version 1
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
Benoit Combemale
1Laure Gonnord
2Vlad Rusu
a, 3
Seventh European Conference on Modelling Foundations and Applications 6698 (2011) 35-51
Résumé : The increasing complexity of software development requires rigorously defined domain specific modeling languages (DSML). Model-driven engineering (\mde) allows users to define a DSML's syntax in terms of metamodels. The behaviour of a language can also be described, either operationally, or via transformations to other languages (e.g., by code generation). If the first approach requires to redefine analysis tools for each DSML (simulator, model-checker...), the second approach allows to reuse existing tools in the targeted language. However, the second approach (also called translational semantics) imply that the results (e.g., a program crash log, or a counterexample returned by a model checker) may not be straightforward to interpret by the users of a DSML. We propose in this paper a generic tool for formally tracing such analysis/execution results back to the original DSML's syntax and operational semantics, and we illustrate it on xSPEM, a timed process modeling language.
- a – INRIA
- 1 : TRISKELL (INRIA - IRISA)
- CNRS : UMR6074 – INRIA – INSA Rennes – Université de Rennes 1
- 2 : Laboratoire d'Informatique Fondamentale de Lille (LIFL)
- CNRS : UMR8022 – INRIA – IRCICA – Université des Sciences et Technologies de Lille - Lille I
- 3 : DART (INRIA Lille - Nord Europe)
- INRIA – CNRS : UMR8022 – Université des Sciences et Technologies de Lille - Lille I
- Collaboration : ITEA2 OPEES
- Domaine : Informatique/Génie logiciel
- hal-00593425, version 1
- http://hal.archives-ouvertes.fr/hal-00593425
- oai:hal.archives-ouvertes.fr:hal-00593425
- Contributeur : Benoit Combemale
- Soumis le : Dimanche 15 Mai 2011, 19:35:38
- Dernière modification le : Mardi 5 Juillet 2011, 10:15:53






Documents associés
Exporter