Fazilat Hojaji Najafabadi

Feb
19

Model execution tracing: a systematic mapping study

Model-Driven Engineering is a development paradigm that uses models instead of code as primary development artifacts. In this paper, we focus on executable models, which are used to abstract the behavior of systems for the purpose of verifying and validating (V&V) a system’s properties. Model execution tracing (i.e., obtaining and analyzing traces of model executions) is an important enabler for many V&V techniques including testing, model checking, and system comprehension. This may explain the increase in the number of proposed approaches on tracing model executions in the last years. Despite the increased attention, there is currently no clear understanding of the state of the art in this research field, making it difficult to identify research gaps and opportunities. The goal of this paper is to survey and classify existing work on model execution tracing, and identify promising future research directions. To achieve this, we conducted a systematic mapping study where we examined 64 primary studies out of 645 found publications. We found that the majority of model execution tracing approaches has been developed for the purpose of testing and dynamic analysis. Furthermore, most approaches target specific modeling languages and rely on custom trace representation formats, hindering the synergy among tools and exchange of data. This study also revealed that most existing approaches were not validated empirically, raising doubts as to their effectiveness in practice. Our results suggest that future research should focus on developing a common trace exchange format for traces, designing scalable trace representations, as well as conducting empirical studies to assess the effectiveness of proposed approaches.

By MDSERG Admin | Papers in English
DETAIL
Feb
05

Acceptance of Ms. Fazilat Hojaji’s paper in SoSyM Journal

Our paper entitled “Model Execution Tracing: A Systematic Mapping Study” was accepted in the Software and Systems Modeling (SoSyM) journal.

By MDSERG Admin | Acceptance Paper . News
DETAIL
Dec
15

The Research Seminar on Executable Model

Slides: Executable Model Pictures:

By MDSERG Admin | News . Workshop
DETAIL
Dec
15

The Workshop on Business model Canvas

Slides: Business model Canvas Pictures:

By MDSERG Admin | News . Workshop
DETAIL
Jun
28

Towards a tracing framework for model-driven software systems

Understanding software behavior by analyzing its execution traces is an important enabler for many software engineering tasks. In Model-Driven Development (MDD), dynamic analysis methods are often used to analyze executable models to enable the understanding of software behavior in early stages of the development process. An execution trace of a model can provide information to help reason about executable models. However, understanding an execution trace is not an easy task due to the size and complexity of typical traces. In this work, we aim at tackling this problem by proposing a model tracing framework, comprising compaction techniques to simplify the analysis of large traces at a higher level of abstraction, and a model tracing language, to capture run-time behavior of the executed model adequately.

By MDSERG Admin | Papers in English
DETAIL
Feb
22

Acceptance of Dr. Zamani and Ms. Hojaji’s proposal on “lossless compaction of model execution traces” as one of the research projects in Impulse Iran-Austria scientific collaboration.

The proposed research project presented by Dr. Bahman Zamani, a faculty member of the Computer Engineering Department of the University of Isfahan, was selected as one of the research projects in Impulse Iran-Austria scientific collaboration by the Office of Scientific Cooperation of the Ministry of Science, Research and Technology. This research project will be implemented […]

By MDSERG Admin | Honors . News
DETAIL

Workshop on Introducing Practical Tools in MDSE

Time: Wednesday, 8 February, 2-5 PM Location: Computer Lab (Class 18) Workshop Schedule: Program Goal Presenter Predicted Time Hours 1 Plugin Development Plugin creation in eclipse and lanching Mohammadreza Sharbaf 15 min 2-2:15 PM 2 Xtend Language Introducing Xtend Language Fazilat Hojaji 60 min 2:15-3:15 PM 3 Eclipse EMF Programming 4 Executing Model Introducing Executing […]

By MDSERG Admin | News . Workshop
DETAIL
Jun
23

Acceptance of Ms. Fazilat Hojaji for Sabbatical at Technical University of Vienna

Ms. Fazilat Hojaji will start her sabbatical in Technical University of Vienna on July 5th.

By MDSERG Admin | News
DETAIL

Contact

Email: Zamani[AT]eng.ui.ac.ir
Tel: +98-31-37934537
Address: Department of Software Engineering, Faculty of Computer Engineering, University of Isfahan, Hezar Jarib Ave.

Statistics

  • 0
  • 2
  • 12
  • 8,974
  • 335
  • 30
  • 0
  • April 16, 2019
TOP