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/
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01258358
Contributor : Benoit Combemale <>
Submitted on : Tuesday, January 19, 2016 - 12:49:14 PM
Last modification on : Friday, April 12, 2019 - 4:23:02 PM
Document(s) archivé(s) le : Friday, November 11, 2016 - 10:33:34 AM

File

erts16-gemoc.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01258358⟩

Share

Metrics

Record views

1470

Files downloads

617