A Model-Driven Based Environment for Automatic Model Coordination - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

A Model-Driven Based Environment for Automatic Model Coordination

Résumé

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.
Fichier principal
Vignette du fichier
models2015-bcool-demo.pdf (1.96 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01198744 , version 1 (14-09-2015)

Identifiants

  • HAL Id : hal-01198744 , version 1

Citer

Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Model-Driven Based Environment for Automatic Model Coordination. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. ⟨hal-01198744⟩
464 Consultations
276 Téléchargements

Partager

Gmail Facebook X LinkedIn More