Framework for Heterogeneous Modeling and Composition - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Framework for Heterogeneous Modeling and Composition


Embedded and cyber-physical systems are becoming more and more complex. They are often split into subsystems and each subsystem can be addressed by a Domain Specific Modeling Language (DSML). A DSML efficiently specifies the domain concepts as well as their behavioral semantics. For a single system, several models conforming to different DSMLs are then developed and the system specification is consequently heterogeneous, \textit{i.e.}, it is specified by using heterogeneous languages. The behaviors of these models have to be coordinated to provide simulation and/or verification of the overall system. This thesis studies this coordination problem with the objective of enabling the execution and the verification of the heterogeneous systems, by relying on the behavioral composition of DSMLs. We are currently proposing a language named B-COoL (Behavioral Composition Operator Language) to specify the composition of DSMLs behavior. The aim of B-COoL is two-fold: to capitalize the coordination at the language level, and to enable the automatic generation of the coordination between models conforming to composed DSMLs.
Fichier principal
Vignette du fichier
ciel2014.pdf (148.26 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01073202 , version 1 (09-10-2014)


  • HAL Id : hal-01073202 , version 1


Matias Ezequiel Vara Larsen, Julien Deantoni, Frédéric Mallet. Framework for Heterogeneous Modeling and Composition. Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81. ⟨hal-01073202⟩
423 View
249 Download


Gmail Facebook Twitter LinkedIn More