Model execution tracing: a systematic mapping study

Hojaji, Fazilat; Mayerhofer, Tanja; Zamani, Bahman; Hamou-Lhadj, Abdelwahab; Bousse, Erwan

doi:10.1007/s10270-019-00724-1

Cited by 21 publications

(28 citation statements)

References 82 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Then, the traces are collected and used for offline analysis and debugging. Hojaji et al [44] surveys the existing work in the context of model execution tracing. Examples of existing work and MDD tools supporting trace analyses via code instrumentation include [34,38,43,48,49,83].…”

Section: Model-level Debugging On the Target Platformmentioning

confidence: 99%

Live modeling in the context of state machine models and code generation

et al. 2020

View full text Add to dashboard Cite

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.

show abstract

Section: Model-level Debugging On the Target Platformmentioning

confidence: 99%

Live modeling in the context of state machine models and code generation

et al. 2020

View full text Add to dashboard Cite

show abstract

“…6. Related Work [Hojaji et al 2019] presents a systematic mapping study regarding model execution trace. Model execution trace as defined in the study is a mechanism to capture enough relevant information related to the ExM during its execution for later analysis.…”

Section: Expected Contributionsmentioning

confidence: 99%

“…The first notable difference from our study is scope. While [Hojaji et al 2019] aims to characterize the use of model tracing for executable models, we are aiming for characterize the use of ExM for SoS architectural evaluation. The resulting contributions are different because the areas of interest are also different (model tracing and SoS architectural evaluation).…”

Section: Expected Contributionsmentioning

confidence: 99%

See 1 more Smart Citation

Obtaining a Set of Recommendations for Evolving Executable Languages towards Systems-of-Systems Architecture Design

Lebtag

Neto

2020

Anais Estendidos Do XI Congresso Brasileiro De Software: Teoria E Prática (CBSoft 2020)

View full text Add to dashboard Cite

Systems of Systems (SoS) are complex systems composed of managerially and operationally independent constituent systems (CS). Smart cities are examples of SoS. However, these types of systems impose challenges to traditional software architecture such as highly evolutionary architecture due to the evolution of individual CS and emergent behaviors that results from the interoperability of CS. Executable Models (ExM) are a class of models that can be executed and that can assist on architectural design of SoS. By using them, architects can predict the SoS structure and behavior by visualizing and simulating the SoS still at design-time. On the other hand, as any other emergent technologies, it suffers with absent scientific evidences of its benefits, mainly in industrial context. The main contribution of this master thesis project intends to be the presentation of evidences about the use of ExM to solve problems in the SoS software architecture design. For achieving such purpose, this project is structured in well-defined steps: (i) a systematic mapping study, (ii) elaboration of a conceptual map derived from the mapping study, (iii) a survey to obtain perceptions from software engineering professionals on the use of ExM in the context of engineering simple systems and (iv) a new survey expanding the previous study and to obtain perceptions from software engineering professionals on the use of ExM in the context of architectural design of SoS. Preliminary results reveal that ExM have been reported in diverse SoS domains, offering a dynamic and interactive view to the SoS. We also found that software engineering professionals see ExM as suitable solution for dealing with complex and critical systems as SoS.

show abstract

“…The practical relevance and importance of the research problem has been well demonstrated as being critical for design science research [24]. To ensure that our design objectives are consistent with prior research, we conducted a systematic mapping study in the field of model tracing, which has already been published in [25]. We aim to further disseminate the contributions of this effort in peer review scholarly publications.…”

Section: Introductionmentioning

confidence: 99%

Lossless compaction of model execution traces

Hojaji¹,

Zamani²,

Hamou-Lhadj³

et al. 2019

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

Dynamic Verification and Validation (V&V) techniques are used to verify and validate the behavior of software systems early in the development process. In the context of model-driven engineering, such behaviors are usually defined using Executable Domain-Specific Modeling Languages (xDSML). Many V&V techniques rely on execution traces to represent and analyze the behavior of executable models. Traces, however, tend to be overwhelmingly large, hindering effective and efficient analysis of their content. While there exist several trace metamodels to represent execution traces, most of them suffer from scalability problems. In this paper, we present a generic compact trace representation format called generic Compact Trace Metamodel (CTM) that enables the construction and manipulation of compact execution traces of executable models. CTM is generic in the sense that it supports a wide range of xDSMLs. We evaluate CTM on traces obtained from real-world fUML models. Compared to existing trace metamodels, the results show a significant reduction in memory and disk consumption. Moreover, CTM offers a common structure with the aim to facilitate interoperability between existing trace analysis tools.

show abstract

Model execution tracing: a systematic mapping study

Cited by 21 publications

References 82 publications

Live modeling in the context of state machine models and code generation

Live modeling in the context of state machine models and code generation

Obtaining a Set of Recommendations for Evolving Executable Languages towards Systems-of-Systems Architecture Design

Lossless compaction of model execution traces

Contact Info

Product

Resources

About