Framework for Heterogeneous Modeling and Composition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Framework for Heterogeneous Modeling and Composition

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01073202 , version 1

Citer

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⟩
429 Consultations
269 Téléchargements

Partager

Gmail Facebook X LinkedIn More