A Generic Framework for Representing and Analysing Model Concurrency - Archive ouverte HAL Access content directly
Journal Articles Software and Systems Modeling Year : 2022

A Generic Framework for Representing and Analysing Model Concurrency

Abstract

Recent results in language engineering simplify the development of tool-supported executable domain-specific modelling languages (xDSMLs), including editing (e.g., completion and error checking) and execution analysis tools (e.g., debugging, monitoring and live modelling). However, such frameworks are currently limited to sequential execution traces, and cannot handle execution traces resulting from an execution semantics with a concurrency model supporting parallelism or interleaving. This prevents the development of concurrency analysis tools, like debuggers supporting the exploration of model executions resulting from different interleavings. In this paper, we present a generic framework to integrate execution semantics with either implicit or explicit concurrency models, to explore the possible execution traces of conforming models, and to define strategies for helping in the exploration of the possible executions. This framework is complemented with a protocol to interact with the resulting executions and hence to build advanced concurrency analysis tools. The approach has been implemented within the GEMOC Studio. We demonstrate how to integrate two representative concurrent meta-programming approaches (MoCCML/Java and Henshin), which use different paradigms and underlying foundations to define an xDSML's concurrency model. We also demonstrate the ability to define an advanced concurrent omniscient debugger with the proposed protocol. The paper, thus, contributes key abstractions and an associated protocol for integrating concurrent meta-pro\-gram\-ming approaches in a language workbench, and dynamically exploring the possible executions of a model in the modelling workbench.
Fichier principal
Vignette du fichier
Interactive_Exploration_of_Concurrency_Models.pdf (1.74 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03921704 , version 1 (04-01-2023)

Identifiers

  • HAL Id : hal-03921704 , version 1

Cite

Steffen Zschaler, Erwan Bousse, Julien Deantoni, Benoit Combemale. A Generic Framework for Representing and Analysing Model Concurrency. Software and Systems Modeling, inPress. ⟨hal-03921704⟩
49 View
10 Download

Share

Gmail Facebook Twitter LinkedIn More