A Generic Execution Framework for Models of Computation

Abstract : 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.
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00256116
Contributor : Evelyne Faivre <>
Submitted on : Thursday, February 14, 2008 - 4:51:23 PM
Last modification on : Friday, October 12, 2018 - 1:30:02 PM

Identifiers

  • HAL Id : hal-00256116, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

106