Framework for Heterogeneous Modeling and Composition

Matias Ezequiel Vara Larsen 1, 2, * Julien Deantoni 1, 2 Frédéric Mallet 1
* Auteur correspondant
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Type de document :
Communication dans un congrès
Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81, 2014
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01073202
Contributeur : Team Aoste <>
Soumis le : jeudi 9 octobre 2014 - 11:09:44
Dernière modification le : mardi 22 mars 2016 - 01:27:02
Document(s) archivé(s) le : samedi 10 janvier 2015 - 10:20:45

Fichier

ciel2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01073202, version 1

Collections

Citation

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, 2014. <hal-01073202>

Partager

Métriques

Consultations de
la notice

518

Téléchargements du document

250