Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics

Vlad Rusu 1 Laure Gonnord 2, 1 Benoît Combemale 3
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The increasing complexity of software development requires rigorously defined domain specific modelling languages (DSML). Model-driven engineering (MDE) allows users to define their language's syntax in terms of metamodels. Several approaches for defining operational semantics of DSML have also been proposed. These approaches allow, in principle, for model execution and for formal analyses of the DSML. However, most of the time, the executions/analyses are performed via transformations to other languages: code generation, resp. translation to the input language of a model checker. The consequence is 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. In this research report, we propose a formal and operational framework for tracing such results back to the original DSML's syntax and operational semantics.
Document type :
Reports
Liste complète des métadonnées

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00526561
Contributor : Laure Gonnord <>
Submitted on : Friday, October 15, 2010 - 8:54:56 AM
Last modification on : Sunday, March 17, 2019 - 8:58:02 AM
Document(s) archivé(s) le : Thursday, October 25, 2012 - 5:20:16 PM

File

RR-7423.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00526561, version 1

Citation

Vlad Rusu, Laure Gonnord, Benoît Combemale. Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics. [Research Report] RR-7423, INRIA. 2010. 〈inria-00526561〉

Share

Metrics

Record views

480

Files downloads

220