A Model-Driven Based Environment for Automatic Model Coordination

Matias Ezequiel Vara Larsen 1, 2, 3 Julien Deantoni 1, 2, 3 Benoit Combemale 4 Frédéric Mallet 1, 2, 3
2 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
4 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We present the integration of the Behavioral Coordination Operator Language (B-COOL) into the GEMOC Studio. B-COOL enables the system designer to automate the coordination of models by specifying Operators between Domain-Specific Modeling Languages. In this demonstration, we present how B-COOL is used to coordinate the heterogeneous model of a video surveillance system. To this propose, we define operators between timed finite state machines and activity diagrams. These operators are used to generate an explicit model of coordination that can be executed and verified. This demonstration comes as a support for the paper accepted into the main conference.
Type de document :
Communication dans un congrès
CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters
Liste complète des métadonnées


https://hal.inria.fr/hal-01198744
Contributeur : Team Aoste <>
Soumis le : lundi 14 septembre 2015 - 12:04:59
Dernière modification le : samedi 18 février 2017 - 01:20:40
Document(s) archivé(s) le : mardi 29 décembre 2015 - 01:35:02

Fichier

models2015-bcool-demo.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01198744, version 1

Citation

Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Model-Driven Based Environment for Automatic Model Coordination. CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters. <hal-01198744>

Partager

Métriques

Consultations de
la notice

390

Téléchargements du document

165