Author: MDSERG Admin

Mar
20
Mar
20
Mar
12
Mar
07

M.Sc. Thesis Defense By Ms. Sorour Jahanbin

Congratulations to Ms. Sorour Jahanbin for successfully defending her M.Sc. thesis entitled “Presenting a new approach for generating test models in model transformation testing” and receiving the outstanding mark.

By MDSERG Admin | News . Thesis Defense
DETAIL

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
14

Acceptance of Ms. Leila Samimi’s paper in Journal of Computer Languages

Our paper entitled “Leveraging product line engineering for the development of domain-specific metamodeling languages” was accepted in the Journal of Computer Languages.

By MDSERG Admin | Acceptance Paper . News
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
Jan
27

36th Group Meeting

var htmlDiv = document.getElementById("rs-plugin-settings-inline-css"); var htmlDivCss=""; if(htmlDiv) { htmlDiv.innerHTML = htmlDiv.innerHTML + htmlDivCss; }else{ var htmlDiv = document.createElement("div"); htmlDiv.innerHTML = "" + htmlDivCss + ""; document.getElementsByTagName("head")[0].appendChild(htmlDiv.childNodes[0]); } var htmlDiv = document.getElementById("rs-plugin-settings-inline-css"); var htmlDivCss=""; if(htmlDiv) { htmlDiv.innerHTML = htmlDiv.innerHTML + htmlDivCss; }else{ var htmlDiv = document.createElement("div"); htmlDiv.innerHTML = "" + htmlDivCss + ""; document.getElementsByTagName("head")[0].appendChild(htmlDiv.childNodes[0]); } setREVStartSize({c: [...]
By MDSERG Admin | Group Meetings . News
DETAIL

Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO

This paper presents a solution for the Quality-based Software-Selection and Hardware-Mapping problem using the ACO algorithm. ACO is one of the most successful swarm intelligence algorithms for solving discrete optimization problems. The evaluation results show that the proposed approach generates correct results for all evaluated test cases.
Also, better results in terms of performance and scalability are given in comparison with the ILP and EMFeR approaches.

By MDSERG Admin | Papers in English
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
  • 0
  • 17
  • 8,636
  • 343
  • 30
  • 0
  • March 21, 2019
TOP