A Behavioral Coordination Operator Language (BCOoL)

Matias Ezequiel Vara Larsen 1, 2 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 : The design of complex systems involves various, possibly heterogeneous, structural and behavioral models. In model-driven engineering, the coordination of behavioral models to produce a single integrated model is necessary to provide support for validation and verification. Indeed, it allows system designers to understand and validate the global and emerging behavior of the system. However, the manual coordination of models is tedious and error-prone, and current approaches to automate the coordination are bound to a fixed set of coordination patterns. In this paper, we propose a Behavioral Coordination Operator Language (B-COOL) to reify coordination patterns between specific domains by using coordination operators between the Domain-Specific Modeling Languages used in these domains. Those operators are then used to automate the coordination of models conforming to these languages. We illustrate the use of B-COOL with the definition of coordination operators between timed finite state machines and activity diagrams.
Type de document :
Communication dans un congrès
Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. ACM; IEEE, 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) pp.462, 2015, <http://cruise.eecs.uottawa.ca/models2015/>
Liste complète des métadonnées


https://hal.inria.fr/hal-01182773
Contributeur : Team Aoste <>
Soumis le : lundi 3 août 2015 - 14:28:32
Dernière modification le : samedi 18 février 2017 - 01:20:37
Document(s) archivé(s) le : mercredi 4 novembre 2015 - 10:22:27

Fichier

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

Identifiants

  • HAL Id : hal-01182773, version 1

Citation

Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Behavioral Coordination Operator Language (BCOoL). Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. ACM; IEEE, 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) pp.462, 2015, <http://cruise.eecs.uottawa.ca/models2015/>. <hal-01182773>

Partager

Métriques

Consultations de
la notice

795

Téléchargements du document

343