A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models

Abstract : In the software and systems modeling community, research on domain-specific modeling languages (DSMLs) is focused on providing technologies for developing languages and tools that allow domain experts to develop system solutions efficiently. Unfortunately, the current lack of support for explicitly relating concepts expressed in different DSMLs makes it very difficult for software and system engineers to reason about information spread across models describing different system aspects [4]. As a particular challenge, we investigate in this paper relationships between, possibly heterogeneous, behavioral models to support their concurrent execution. This is achieved by following a modular executable metamodeling approach for behavioral semantics understanding, reuse, variability and composability [5]. This approach supports an explicit model of concurrency (MoCC) [6] and domain-specific actions (DSA) [10] with a well-defined protocol between them (incl., mapping, feedback and callback) reified through explicit domain-specific events (DSE) [12]. The protocol is then used to infer a relevant behavioral language interface for specifying coordination patterns to be applied on conforming executable models [17]. All the tooling of the approach is gathered in the GEMOC studio, and outlined in the next section. Currently, the approach is experienced on a systems engineering language provided by Thales, named Capella 7. The goal and current state of the case study are exposed in this paper. 7 Cf. https://www.polarsys.org/capella/
Type de document :
Communication dans un congrès
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France. 2016, <www.erts2016.org>
Liste complète des métadonnées

https://hal.inria.fr/hal-01258358
Contributeur : Benoit Combemale <>
Soumis le : mardi 19 janvier 2016 - 12:49:14
Dernière modification le : samedi 18 février 2017 - 01:20:40
Document(s) archivé(s) le : vendredi 11 novembre 2016 - 10:33:34

Fichier

erts16-gemoc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01258358, version 1

Citation

Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, et al.. A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France. 2016, <www.erts2016.org>. <hal-01258358>

Partager

Métriques

Consultations de
la notice

689

Téléchargements du document

298