Tue 27 Oct 2015 13:30 - 14:00 at Grand Station 2 - Model Execution and Verification Chair(s): Davide Di Ruscio

The emergence of modern concurrent systems (e.g., Cyber- Physical Systems or the Internet of Things) and highly-parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling Languages (DSMLs) where concurrency is of paramount importance. Such DSMLs are intended to propose constructs with rich concurrency semantics, which allow system designers to precisely define and analyze system behaviors. However, specifying and implementing the execution semantics of such DSMLs can be a difficult, costly and error-prone task. Most of the time the concurrency model remains implicit and ad-hoc, embedded in the underlying execution environment. The lack of an explicit concurrency model prevents: the precise definition, the variation and the complete understanding of the semantics of the DSML, the effective usage of concurrency-aware analysis techniques, and the exploitation of the concurrency model during the system refinement (e.g., during its allocation on a specific platform). In this paper, we introduce a concurrent executable metamodeling approach, which supports a modular definition of the execution semantics, including the concurrency model, the semantic rules, and a well-defined and expressive communication protocol between them. Our approach comes with a dedicated metalanguage to specify the communication protocol, and with an execution environment to simulate executable models. We illustrate and validate our approach with an implementation of fUML, and discuss the modularity and applicability of our approach.

Presentation slides (presentation.pdf)4.25MiB

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
13:30
30m
Talk
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
Florent Latombe University of Toulouse, France, Xavier Crégut University of Toulouse, France, Benoit Combemale INRIA, France, Julien DeAntoni , Marc Pantel University of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00
30m
Talk
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Erwan Bousse IRISA, France, Jonathan Corley University of Alabama, USA, Benoit Combemale INRIA, France, Jeff Gray University of Alabama, USA, Benoit Baudry INRIA, France
Link to publication DOI File Attached
14:30
30m
Talk
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
Lina Ochoa University of Los Andes, Colombia, Oscar González-Rojas University of Los Andes, Colombia, Thomas Thüm TU Braunschweig, Germany
DOI