Leila Samimi-Dehkordi

Apr
27

Educational seminar: How to write a good rebuttal letter?

Slides: How to Write a Rebuttal Letter? Sample rebuttal letters: Samimi-rebuttal Pictures:

By MDSERG Admin | News . Workshop
DETAIL
Apr
16

‍Ph.D. Thesis Defense By Ms. Leila Samimi

Congratulations to Ms. Leila Samimi for successfully defending her Ph.D. thesis entitled “Model-Driven Development of Bidirectional Model Transformations” and receiving outstanding mark.

By MDSERG Admin | News . Thesis Defense
DETAIL
Apr
10

Leveraging product line engineering for the development of domain-specific metamodeling languages

A domain-specific metamodeling language (DSM2L) enables language engineers to define a family of similar metamodel-based languages. In recent years, several DSM2Ls have been developed for various domains, e.g., traceability, variability management, process modeling, and metamodeling feature models. However, there is no consensus on an engineering approach for constructing a DSM2L. To address this problem, we consider a DSM2L as a software product line (SPL), in which the software products are the family of languages. Based on this assumption, we propose a roadmap to develop a DSM2L using an SPL engineering framework. To investigate the pros and cons of the roadmap, the MoDEBiTE metamodeling language is engineered in the domain of bidirectional transformations. In order to validate the proposal of engineering a DSM2L, an experiment with six transformation cases is performed on MoDEBiTE. The results of the experiment show the applicability, usefulness, and validity of MoDEBiTE, demonstrating the validity of the proposal.

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

ارائه‌ی روشی جديد برای تبديل مدل دوسويه‌ بر اساس چارچوب اپسيلون و تکنیک‌های ردیابی‌پذیری

توسعه مدل رانده روش نوینی در تولید نرم‌افزار است که در آن، از روی مدل و با به‌کارگیری مجموعه روش‌هایی تحت عنوان تبدیل مدل، کد پیاده‌سازی به‌صورت خودکار/ نیمه‌خودکار تولید می‌شود. کلیه فعالیت‌های ممکن در روش‌های مدل رانده با استفاده از تبدیل‌ها انجام می‌گیرد. یکی از این فعالیت‌ها، تبدیل مدل‌به‌مدل است که در ساده‌ترین حالت، ارتباطی تک‌سویه را بین مدل مبدأ و مقصد تعریف می‌کند. در این حالت، فقط می‌توان مدل مقصد را از روی مدل مبدأ به دست آورد. اما در حالت کلی‌تر، مدل‌های مبدأ و مقصد مستقلاً تغییر می‌یابند. درنتیجه، برای سازگاری به تبدیل‌های پیشرفته‌تری به‌نام تبدیل دوسویه نیاز است. روش‌های تبدیل دوسویه دارای چالش‌هایی مانند ابهام در زبان تبدیل، نمادسازی خاص و صوری‌سازی گران هستند. جهت رفع این چالش‌ها، در این مقاله، روش جدیدی برای تبدیل دوسویه برمبنای چارچوب مدل رانده اپسیلون و تکنیک‌های ردیابی‌پذیری پیشنهاد می‌شود. در این روش، روابط بین مدل‌های مبدأ و مقصد صوری‌سازی شده، سپس روی محکی شناخته‌شده پیاده‌سازی می‌شود. این روش بر اساس 10 معیار با سه روش تبدیل دوسویه مقایسه می‌گردد. نتیجه مقایسه‌ها برتری‌های روش پیشنهادی از قبیل قابلیت حمل، نگه‌داری، مصالحه و پشتیبانی عملگری را نشان می‌دهد.

By MDSERG Admin | Papers in Persian
DETAIL
Jul
13

تبديل مدل دوسويه بر اساس چارچوب اپسيلون

Available online link: http://csj.isi.org.ir/abstract/4-1.aspx Download file: PDF

By MDSERG Admin | Papers in Persian
DETAIL
Jun
29

EVL‎+ ‎Strace‎: ‎a novel bidirectional model transformation approach

Context: Model transformation, as one of the cornerstones of Model-Driven Engineering (MDE) paradigm, produces target models from source models. In most of the practical cases, both source and target models are changed independently and it is essential to preserve the consistency between them. Bidirectional transformation (Bx) provides a mechanism to re-establish this inter-model consistency. Bx approaches suffer from several limitations, such as lack of a comprehensive implementation, low learnability, and mismanagement of update conflicts.
Objective: To alleviate the aforementioned drawbacks, we propose a novel Bx approach, called EVL+Strace, which is built using the Epsilon Validation Language (EVL) on a domain-specific trace metamodel (Strace). Furthermore, an Eclipse-based toolkit, called MoDEBiTE, is developed to automatically produce the EVL+Strace artifacts including the specific trace metamodel and transformation code.
Method: EVL+Strace exploits the ability of EVL to transform user updates on models from source to target and vice versa, simultaneously. The applied trace metamodel should be specific to the domains of source and target metamodels that prevents illegitimate trace elements. Additionally, it enables developers to specify the transformation concepts more precisely. A running example is applied to explain the components of EVL+Strace and application of MoDEBiTE.
Result: EVL+Strace is the first practical interactive approach that can provide important bidirectional features, such as preservation and propagation. A feature model of Bx approaches is applied to compare EVL+Strace with the well-known Bx languages. To show the superiority of EVL+Strace and applicability of MoDEBiTE, a comprehensive evaluation on six case studies is performed.
Conclusion: EVL+Strace provides an interactive transformation system to manage update conflicts. It uses the EVL language for defining Bx transformation that has an easy-to-learn syntax. It is developed based on Epsilon, which is a comprehensive and actively updated framework.

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
  • 14
  • 22
  • 10,307
  • 355
  • 30
  • 0
  • June 27, 2019
TOP