Skip to Main content Skip to Navigation
Conference papers

Simulation of Multi-Formalism Models with ModHel'X

Abstract : A step in the validation of a system is to check its behavior by simulation. Simulation is also used to validate the behavior of the model of the system against test patterns. For complex systems, models are made of parts which use different modeling formalisms. The main issues in the simulation of such systems are the specification of the semantics of each modeling formalism, and of the interactions between heterogeneous parts of a model. ModHel'X relies on component based modeling and models of computation to address these problems and focuses on the computation of one possible behavior of a model. This includes simulation and code generation. ModHel'X defines a MOF meta-model for describing the structural elements of a modeling language. The semantics of modeling languages is expressed in an imperative style and addresses three aspects: control, data and time. ModHel'X is supported by a simulator of multi-formalism models.
Complete list of metadatas
Contributor : Evelyne Faivre <>
Submitted on : Thursday, June 19, 2008 - 5:00:18 PM
Last modification on : Tuesday, January 12, 2021 - 10:42:04 AM


  • HAL Id : hal-00289188, version 1



Frédéric Boulanger, Cécile Hardebolle. Simulation of Multi-Formalism Models with ModHel'X. International Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. pp.318-327. ⟨hal-00289188⟩



Record views