Skip to Main content Skip to Navigation
Journal articles

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

Mojtaba Bagherzadeh 1 Karim Jahed 1 Benoit Combemale 2, 3 Juergen Dingel 1
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 IRIT-SM@RT - Smart Modeling for softw@re Research and Technology
IRIT - Institut de recherche en informatique de Toulouse
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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [93 references]  Display  Hide  Download

https://hal.inria.fr/hal-02942374
Contributor : Benoit Combemale <>
Submitted on : Thursday, September 17, 2020 - 5:50:08 PM
Last modification on : Wednesday, October 14, 2020 - 4:09:47 AM

File

Live_Modelling_SoSym_revision-...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02942374, version 1

Citation

Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel. Live Modeling in the Context of State Machine Models and Code Generation. Software and Systems Modeling, Springer Verlag, 2020, pp.44. ⟨hal-02942374⟩

Share

Metrics

Record views

47

Files downloads

96