Live Modeling in the Context of State Machine Models and Code Generation - Archive ouverte HAL Access content directly
Journal Articles Software and Systems Modeling Year : 2020

Live Modeling in the Context of State Machine Models and Code Generation

(1) , (1) , (2, 3) , (1)
1
2
3

Abstract

Live modeling has been recognized as an important technique to edit behavioral models while being executed and helps in better understanding the impact of a design choice. In the context of Model-driven Development (MDD) models can be executed by interpretation or by the translation of models into existing programming languages, often by code generation. This work is concerned with the support of live modeling in the context of state machine models when they are executed by code generation. To this end, we propose an approach that is completely independent of any live programming support offered by the target language. This independence is achieved with the help of a model transformation which equips the model with support for features which are required for live modeling. A subsequent code generation then produces a self-reflective program that allows changes to the model elements at runtime (through synchronization of design and runtime models). We have applied the approach in the context of UML-RT and created a prototype (Live-UMLRT) that provides a full set of services for live modeling of UML-RT state machines such as re-execution, adding/removing states and transitions, and adding/removing action code. We have evaluated the prototype on several use-cases. The evaluation shows that (1) generation of a self-reflective and model instrumentation can be carried out with reasonable performance, and (2) our approach can apply model changes to the running execution faster than the standard approach that depends on the live programming support of the target language.
Fichier principal
Vignette du fichier
Live_Modelling_SoSym_revision--preprint.pdf (2.04 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02942374 , version 1 (17-09-2020)

Identifiers

Cite

Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel. Live Modeling in the Context of State Machine Models and Code Generation. Software and Systems Modeling, 2020, pp.1-44. ⟨10.1007/s10270-020-00829-y⟩. ⟨hal-02942374⟩
122 View
406 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More