ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling

Frédéric Boulanger

Résumé

We present an approach to multi-formalism modeling which addresses two important issues in this field: to provide support for the specification of the semantics of a modeling formalism, and to allow the specification of the interactions between parts of a model described using different modeling formalisms. ModHel'X focuses on the execution of models, which we consider as the computation of one possible behavior of the model. This includes simulation, code generation or real-time execution. Based on the concept of Model of Computation, ModHel'X includes a UML meta-model which defines a component-oriented and hierarchical abstract syntax for describing the structural elements of a modeling language. The semantics of a modeling language, i.e. the corresponding model of computation, is expressed in an imperative style and addresses three aspects: control, data and time. The semantic adaptation between the heterogeneous levels found in the hierarchy of a model is described using the same imperative syntax. Finally, an execution engine has been developed for ModHel'X, which is able to interpret multi-formalism models for simulation purposes.
Fichier non déposé

Dates et versions

hal-00256338 , version 1 (15-02-2008)

Identifiants

  • HAL Id : hal-00256338 , version 1

Citer

Cécile Hardebolle, Frédéric Boulanger. ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling. IEEE/ACM MPM 2007 - MODELS 2007, Oct 2007, Nashville, United States. pp.49-60. ⟨hal-00256338⟩
32 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More