ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling - CentraleSupélec Access content directly
Book Sections Year : 2008

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

Frédéric Boulanger

Abstract

We present ModHel'X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the semantics of a modeling formalism, and (b) allowing the specification of the interactions between parts of a model described using different modeling formalisms. ModHel'X is based on the concept of Model of Computation and focuses on the execution of models, considered as the computation of one possible behavior of the model. The structural elements of a modeling language are described by specializing the meta-model of ModHel'X whereas its semantics, i.e. the corresponding model of computation, is described by specializing the predefined stages of a generic execution model. Using the same mechanisms, designers can specify the semantic adaptation that is suitable at each interface between heterogeneous parts of their model. Finally, ModHel'X comes with an execution engine which is able to interpret heterogeneous models for simulation.

Dates and versions

hal-00554780 , version 1 (11-01-2011)

Identifiers

Cite

Cécile Hardebolle, Frédéric Boulanger. ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. Models in Software Engineering, Springer, pp.247-258, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-69073-3_26⟩. ⟨hal-00554780⟩
33 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More