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, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
4 DiverSe - Diversity-centric Software Engineering
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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.
Liste complète des métadonnées

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01182773
Contributor : Team Kairos <>
Submitted on : Monday, August 3, 2015 - 2:28:32 PM
Last modification on : Friday, November 16, 2018 - 1:40:53 AM
Document(s) archivé(s) le : Wednesday, November 4, 2015 - 10:22:27 AM

File

models2015-bcool.pdf
Files produced by the author(s)

Identifiers

  • 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). International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462. ⟨hal-01182773⟩

Share

Metrics

Record views

1158

Files downloads

488