A Generic Execution Framework for Models of Computation

Authors:
Cecile Hardebolle;Frederic Boulanger;Dominique Marcadet;Guy Vidal-Naquet
Affiliations:
Supelec - Computer Science Department, Cedex, France;Supelec - Computer Science Department, Cedex, France;Supelec - Computer Science Department, Cedex, France;Supelec - Computer Science Department, Cedex, France
Venue:
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Year:
2007

Citing 0
Cited 5

42: programmable models of computation for a component-based approach to heterogeneous embedded systems

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling

Models in Software Engineering
NAOMI --- An Experimental Platform for Multi---modeling

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Supporting multidisciplinary software composition for interactive applications

SC'08 Proceedings of the 7th international conference on Software composition
Metamodel dependencies for executable models

TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns

Quantified Score

Hi-index	0.00

Visualization

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 therefore 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 within our platform. This provides for a non ambiguous definition of the behavior of heterogeneous models of a system, which is essential for validation, simulation and code generation.