Live Modeling in the Context of State Machine Models and Code Generation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2020

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
163 Consultations
550 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More