A Generic Execution Framework for Models of Computation - CentraleSupélec Access content directly
Conference Papers Year : 2007

A Generic Execution Framework for Models of Computation

Dominique Marcadet
Frédéric Boulanger


The Model Driven Engineering approach has had an important impact on the methods used for the conception of systems. However, some important difficult points remain in this domain. In this paper, we focus on problems related to the heterogeneity of the computation models (and there fore of the modeling techniques) used for the different aspects of a system and to the validation and the execution of a model. We present here a language for describing computation models, coupled with a generic execution platform where different computation models as well as their composition can be interpreted. Our goal is to be able to describe precisely the semantics of the computation models underlying Domain Specific Languages, and to allow the interpretation of these models with in our platform. This provides for a non ambiguous definition of the be havior of heterogeneous models of a system, which is essentialf or validation, simulationand code generation.
No file

Dates and versions

hal-00256116 , version 1 (14-02-2008)


  • HAL Id : hal-00256116 , version 1


Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet. A Generic Execution Framework for Models of Computation. MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54. ⟨hal-00256116⟩
39 View
0 Download


Gmail Facebook X LinkedIn More