A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics

Benoit Combemale 1 Laure Gonnord 2 Vlad Rusu 3
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Type de document :
Communication dans un congrès
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp.35-51, 2011, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00593425
Contributeur : Benoit Combemale <>
Soumis le : dimanche 15 mai 2011 - 19:35:38
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : samedi 3 décembre 2016 - 15:55:25

Fichier

ecmfa11-tracematching-camera.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00593425, version 1

Citation

Benoit Combemale, Laure Gonnord, Vlad Rusu. A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp.35-51, 2011, Lecture Notes in Computer Science. 〈hal-00593425〉

Partager

Métriques

Consultations de la notice

598

Téléchargements de fichiers

283